Нурлан
я рассматривал для себя такой вариант, но для реализации моей идеи нужны перекрестные ссылки
Nikita
что ты имеешь ввиду
Нурлан
Нурлан
для меня это линейная структура
Nikita
мне в майнд мапах нравится визуализация
Nikita
можно получить high level view, что вообще есть
Nikita
и как взаимосвязанно
Нурлан
кажется мы отклонились от темы чата
Nikita
а какие книги, курсы посоветуете для изучения хаскел?
Nikita
http://haskellbook.com
Nikita
я это читаю сейчас
ㅤ
хаскельбук еще
Влод
что скажете про хаскельбук? кстати не думаю что вы тратили 60$ :)
Anonymous
Мне нравится. Читаю сейчас. Особенно интересны "follow up resources" в конце каждой из глав.
Ilya
Или какой-то другой
Anonymous
haskellbook.com поди
Влод
http://haskellbook.com
Ilya
А, понятно
Ilya
Мне нравится. Читаю сейчас. Особенно интересны "follow up resources" в конце каждой из глав.
Что, стоит он своих денег?
Anonymous
У меня вот это вызвало озарение, помнится.
http://www.haskellforall.com/2014/10/how-to-desugar-haskell-code.html#type-classes
Anonymous
А я не покупал
Anonymous
Дочитаю –– скажу точно, но пока стоит определенно.
Влод
ну так то на самом деле думаю 60$ здесь оценка труда авторов, нежели ценность для потребителей.
Влод
как там с заданиями
Quet
а ценность для потребителей как в деньгах посчитать? )
Влод
ну сколько человек готов отдать.
Anonymous
Количественно много, качественно –– пока не могу сказать, потому что 1200 страниц ещё не осилил.
Dmitry
вот крутая книга: http://dev.stephendiehl.com/fun/
Dmitry
жалко что пока не до конца написанная
Serghei
только мне интересно стало вот, а в Haskell сушествует возможность лямбде вызвать самой себя рекурсивно или это я щас маразм спросил
Влод
лень в общем рассуждать. ну в общем они загнули с ценой для технической литературы, но и разхайпили тоже так неплохо. мб это со стороны рф только кажется, что много, а на американском рынке они и правда в самый раз выжимают
Anonymous
Dmitry
последние коммиты в октябре
Serghei
до комбинаторов я еще не дошел
Dmitry
но и то что есть, довольно круто
Quet
не совсем забил
Anonymous
до комбинаторов я еще не дошел
https://rosettacode.org/wiki/Y_combinator#Haskell
Вот так это делают, если интересно. Я попробовал накидать наивную реализацию и понял, что не всё так просто. :)
Ilya
Как я понял вопрос:
В клаузах мы можем писать nat = 1 : map (+1) nat
Как эквивалент такой конструкции для лямбда функций? То есть как сослаться в теле лямбда-функции на неё саму?
Ilya
Я думаю, что ответ "никак", так как лямбда-функция анонимна, но могу ошибаться
Нурлан
а разве в haskell не все функции лямбды?
Влод
Я думаю, что ответ "никак", так как лямбда-функция анонимна, но могу ошибаться
Y combinator таки умеет это делать. Но в типизированном языке это сложнее
Влод
примеры приводят на лиспе или джс. Ну или на нотации черча скорее
Anonymous
Как я понял вопрос:
В клаузах мы можем писать nat = 1 : map (+1) nat
Как эквивалент такой конструкции для лямбда функций? То есть как сослаться в теле лямбда-функции на неё саму?
import Control.Monad.Fix
fix $ \nat -> 1 : map (+1) nat
Да, из лямбды нельзя сослаться на саму себя, но можно иметь комбинатор, который передаст нас самих как параметр нам же. :)
Anonymous
Проблема в рекурсивном определении типов.
Anonymous
Мой покорёженный лиспом мозг страдает
Serghei
а есть в хаскеле встроеные средства для получения уникальных членов списка? предположим однотипных
например [[1,1,1,1],[1,1,2],[1,1,2],[1,1,2],[2,2]] => [[1,1,1,1],[1,1,2],[2,2]]
что-то гуглю гуглю, все не то
Serghei
не хочу писать функцию
Dmitry
nub ?
Влод
Нужен бот для hoogle)
Dmitry
Set.toList . Set.fromList
?
Serghei
o!
Serghei
nub
Serghei
спс
Dmitry
nub что-то типа квадратичный, но сохраняет порядок
Влод
Есть такой но не работает опять
Влод
Сейчас снова вылезет @goodmind и включит
andrei
😁
Dmitry
как-то так.
Ilya
Ilya
ну как и это
Ilya
Set.toList . Set.fromList
?
Ilya
а nub шире, ему достаточно Eq, но он квадратичный
Нурлан
Dmitry
как вы пишите на х-ле без контейнеров?
Ilya
В Haskell нельзя в список запихнуть разные типы
а читал про экзистенциальные типы? полиморфные контейнеры, что-то такое
Нурлан
а nub шире, ему достаточно Eq, но он квадратичный
Да, для уникальности нужен Eq, без него никуда в задаче.
Dmitry
@newrlan можно