Сидредин
Тут сверху сказали, contrl + стрелка влево могёт, я пока не пробовал, можно посмотреть
Я пробовал разные варианты. Возможно, комбинации клавиш ОС перекрыли
koichi
кукусики, может кто посоветовать хорошие лекции/видео по хаскеллю? кроме tscoding, devoxx и cis 194? Или лучше вручную для понимания PFP просто хугл и модули подряд лапать? p.s. пока торможу в понимании монадов и апликейтивов :(
koichi
@mustitz вроде шарит
тогда буду ждать и надеяться ответа Андрия, если заметит, спасибо)
koichi
Тут сверху сказали, contrl + стрелка влево могёт, я пока не пробовал, можно посмотреть
ctrl+alt+left_arrow, а не просто кнтрл, а вообще можно забиндить navigation/back на что угодно, там вроде вариантов много
koichi
Real World Haskell, пусть немного устарел, но дает понимание
о, спасибо большое, вроде натыкался на подобное, записал. А есть еще что-нибудь интересное, но про FP в принципе? и есть ли смысл тыкать еще окамл и лисп для ознакомления или хаскелем можно ограничиться?
Andrii
И потом можно покурить Software Foundations про Coq https://softwarefoundations.cis.upenn.edu/ Но там развитие этой темы больше в математику, юзая изоморфизм Карри-Говарда мы можем рассматривать код функции как доказательство и передавать его в качестве параметра, например, ...
Andrii
Andrii
koichi
Ну... OCalm плюс-минус. Лучше посмотреть на языки с зависиммимыми типами, например, Idris, Agda. Там есть папу книжек по ним
Ну, Идрис мне показался почти полной копией адги, которая в свою очередь очень схожа с хаскеллем даже по синтаксису почти прцоентов на 80, поэтому решил на хаскелле чисто остановиться, а вот Coq скипнул, спасибо. Буду курить книги тогда, огромное спасибо.
Andrii
Ну, Идрис мне показался почти полной копией адги, которая в свою очередь очень схожа с хаскеллем даже по синтаксису почти прцоентов на 80, поэтому решил на хаскелле чисто остановиться, а вот Coq скипнул, спасибо. Буду курить книги тогда, огромное спасибо.
Ну... обрати внимание на то, в Idris гетерогенная рефлексия, что более практично, в отличие от гомогенной в Agda, что более академично. Ну и есть Idris2, там можно следить за тем, что вычисляется в compile time и не идёт в runtime. Кроме того Idris имеет больше бекендов для генерации кода (LLVM, JS), а Agda только Haskell VM.
koichi
Evgen
Всем привет. Нужен начинающий веб-разработчик из Томска на проект (без оплаты). Подробности в личку
Александр ❄️
Есть тут люди с Таганрога?
Недалеко от Таганрога 😉
Aleksandr
Подскажите в пхп json_decode с флагом тру возвращает ассоциативный масив А что это такой за массив он возвращает, он же должен быть двумерный с ключами хотя бы 0 1 2 и т д
Aleksandr
Anonymous
Добрый вечер кто может подсказать какой язык программирование лучше начать учить для новичков
Anonymous
мне кажется что язык JavaScript для новичков слишком сложный
Anonymous
Не которые советую изучать Пайтон
Salim
Который пишется так git
Принял. Благодарю!
eye=x×s²
Наоборот. Он простой.
да и ассемблер не тяжек
eye=x×s²
Юзер_нейм8
да и ассемблер не тяжек
Что проще JavaScript'а?
eye=x×s²
ты его знаешь?
изучаю, сложного ничего не наблюдаю
Юзер_нейм8
хз, а что?
Я думал, вы с иронией написали про ассемблер, поэтому и спросил.
eye=x×s²
Что проще JavaScript'а?
для человека люблящего математику будет интереснее по этому и легче функциональный язык, для кого-то другого ООП
Юзер_нейм8
eye=x×s²
нету же панацеи
Юзер_нейм8
Какие языки программирования появились в последние лет пять? Я нашел только Microsoft Power fx
Mikhail
Carbon? Bicep? Nickel? Java 17, прости господи?
Mikhail
Просто интересно, а для чего составляется список?
Юзер_нейм8
Просто интересно, а для чего составляется список?
Хотел попробовать поучить что-то новое, что не наслуху
Mikhail
Ну из того, что я выше написал, разве что Carbon пойдет как потеницально популярный ЯП.
Юзер_нейм8
Что делать если язык распространяется только через инсталятор пакетов, а интернета нет?
Юзер_нейм8
А зачем?
Просто ради интереса. Расширить кругозор, отвлечься от JavaScriptа, посмотреть что еще есть
Юзер_нейм8
Maksim Pozharskiy
Спасибо, как я не догадался
Возможно просто ты не подумал про такой вариант, бывает
Юзер_нейм8
Возможно просто ты не подумал про такой вариант, бывает
Давно таким вариантом не пользовался😅 лет 12 как
Aleksandr
В php ассоциативный массив = массив со строками в качестве ключей.
Да, но на скрине 3 массива в одном массиве, у них неможет быть одинаковых ключей ‘dt’ например. Они же должны иметь свои ключи 0 1 2…
Mikhail
Да, но на скрине 3 массива в одном массиве, у них неможет быть одинаковых ключей ‘dt’ например. Они же должны иметь свои ключи 0 1 2…
Что значит 3 массива в одном массиве? У тебя просто дамп три раза выполнился, скорее всего. Можешь проверить, поставить echo “foobar” перед вар дампом.
Aleksandr
Добрый вечер кто может подсказать какой язык программирование лучше начать учить для новичков
Зайти на хедхант и посмотреть за который больше платят. И больше вакансий
Mikhail
Понял, туплю
Ты ж маппер используешь и парсишь каждую строку файла, видимо в файле 3 строки, вот три массива и выводится.
Aleksandr
Ты ж маппер используешь и парсишь каждую строку файла, видимо в файле 3 строки, вот три массива и выводится.
все правильно, невнимательно прочитал, я думал я в функции а не маппере. Вообще я тест проходил на внимательность, у меня 20% , не удивительно)
Aleksandr
седня часа 1,5 убил почему у меня функция не работает проверки, 1,5 часа не мог увидеть в строке пробел лишний))
Aleksandr
а прегматч закидывал строку под патерн
Пашок🗽
Пашок🗽
Если ты используешь внешние библиотеки - это очевидно что тебе для локального запуска требуются где-то взять эти библиотеки. Большинство из инсталляторов как ты говоришь, так и делаю и не чистят ничего после остановки)
Юзер_нейм8
m700
А что вам показалось сложным?
Мем про проститутку и типизацию js не просто так появился
Юзер_нейм8
Юзер_нейм8
Вообще ничего сложного. Вполне логично🙄
m700
я тебя понял ок
Юзер_нейм8
"5" + - "2" вообще где-то встретить можно?
Captain Jack Vielfrass
Пишите на ts👍
m700
Пишите на ts👍
мне не надо. мне хватило на этой неделе js