Всем привет

o/

Посоветуйте что-нибудь, с чего начать изучать. Сайт, книжку, туториал. Нужно прям очень резко написать программу уровня крестики-нолики

Ох, сейчас начнётся...

надо гист завести со списком и прикрепить, слишком частый вопрос

Так гист-то можно завести, но мы не сходимся в ответе :)

https://www.ohaskell.guide/

https://anton-k.github.io/ru-haskell-book/book/toc.html

Если есть склонность к странным картинкам -- то LYAH

1) написать крестики нолики на питоне в функциональном стиле 2) переписать на окамл 3) написать на х-ле.

книжки читать по мере надобности.

например, haskell wiki

вангую, что все это быстрее, чем учить х-л по книжкам

1) написать крестики нолики на питоне в функциональном стиле 2) переписать на окамл 3) написать на х-ле.

У меня они на руби будут и нужно во втором варианте на языке, который не знаю) тест на обучаемость

Ну книжки да, это обычно не быстро

ну тогда s/python/ruby/g

scheme / racket вот как бы я решал такую задачу

я, кстати, когда советую по хаскелу читать книжки по окамлу ни разу не шучу.

А смысл?

т.е первая стадия - это вообще понять что такое ФП и научиться

вторая стадия - привыкнуть к системе типов хаскелла, включая IO

альтернативный вариант - прочитать книжку как вообще ЯП устроены

и системы типов

> Нужно прям очень резко написать программу уровня крестики-нолики не очень ложится на пару книг

и какой-нибудь типа write you a haskell

не знаю, по моему более длинный путь

У Москвина на лекториуме есть лекции по типизированному лямбда-исчислению.

После них Х-ль заходит на раз-два.

фиг знает.

не пробовал с этой стороны.

обычно когда надо резко что-то написать, сидеть лямбды учить как-то уже поздно кмк.

но у каждого свой способ.

Ну как так. Приступать к пайке, не зная третьего правила Кирхгофа? ))

паяю я где-то раза три - четыре в год не каждый год

предлагаешь перед каждой пайкой помолиться и вспомнить третье правило киргофа?

Конечно

ok, в следующий раз попробую

Только технофашизм, только хардкор

у меня все началось, что какой-то хитрозадый код с циклами, мутабельностью и деревом на питоне не мог никак отладить

плюнул переписал иммутабельно с явной рекурсией - и понеслось...

код на питоне до сих пор жив, по моему

Вот оно как распространяется

думаю после software foundations х-ль легко зайдёт

для теоретического бекграунда это хорошо, но мб и без него нормально.

обычно когда надо резко что-то написать, сидеть лямбды учить как-то уже поздно кмк.

ну да. потом логичный вопрос зачем нам тогда питон

и всё. с тех пор не видать мне жирне-вкусне работ на жабке и сишарпе, командировок в эквадор и энтерпрайза

да, мастрид крутой

правда, я бы еще Пирса добавил

я начал учить хаскелл просто потому что "а вот я слышал еще и про такой язык, надо попробовать"

нас этому учили целый семестр(и не особо научили) не слишком ли много для того кто только начал?

Короче.

Оно тебе надо, Хаскель учить?

Оно тебе надо, Хаскель учить?

Придется)

@aragaer мне кажется не поддержав разлагающихся проектов на динамических языках и не пописав контейнерые/асинхронно-колбечные библиотеки для сей не поймешь, зачем хаскель вообще нужен

нас этому учили целый семестр(и не особо научили) не слишком ли много для того кто только начал?

да не. спокойно должно усваиваться перваком с бэкграундом js/python

@aragaer мне кажется не поддержав разлагающихся проектов на динамических языках и не пописав контейнерые/асинхронно-колбечные библиотеки для сей не поймешь, зачем хаскель вообще нужен

Яростно, бешено плюсую!

да я как-то не особо задумывался над сферами применения языков. Для браузера пишу на жс, для андроида на жаве, какую-то хрень на питоне или на с.

(на самом деле обидная фигня, когда понимаешь что в принципе хочешь освоить предмет в универе, но на лекции никак не можешь понять хотя бы общей идеи вводимых аксиом, теорем)

вон на лиспе пару недель назад написал нечто. Наверно получилось очень похоже на то, как если бы я написал это на баше

круче когда наоборот

написал на баше так, как будто на лиспе

мне кажется на баше можно выделить какой-то внятный набор примитивов, после чего в него транслировать лисп

https://github.com/alandipert/gherkin

ну я точно не знаю, что и на что получилось похоже. Собрать список файлов, засунуть этот список в некоторую базу, вызывать какую-то внешнюю программу с аргументами и читать ее вывод. В лиспе вроде как у меня был какой-то готовый тип, а в баше были бы чисто строки. Но суть примерно та же

мне кажется на баше можно выделить какой-то внятный набор примитивов, после чего в него транслировать лисп

вон Idris же вроде транслировали в баш, не?

только это тормозит наверно жутко

хм. Я думал, что gherkin это язык для BDD

есть такой

Ладно. Тоже спрошу.

Народ, посоветуйте, что почитать по Program Synthesis?

Посоветуйте что-нибудь, с чего начать изучать. Сайт, книжку, туториал. Нужно прям очень резко написать программу уровня крестики-нолики

https://lotz84.github.io/haskellbyexample/

уверенности в том что происходит не будет, но написать, наверное, сможешь.

это переписанное с го что-то

если я помню правильно, там какой-то ад в плане межтредовой коммуникации

это переписанное с го что-то

именно. в самом низу сноска, кстати.

Так гист-то можно завести, но мы не сходимся в ответе :)

Мы не сходимся, потому что в формате срача в чате ни к какой истине придти нельзя. Как только будет полуготовый документ, то точки соприкосновения будет проще найти

можно устроить голосование через @vote, выберем лучшую книгу, добавим её в гист, прикрепим пост для вновь прибывших.

в гисте уже лучше описать наиболее известное с какими-либо комментариями потому что всё равно спросят вон про то

contribute to ruhaskell.org и ссылку на него?