и как взаимосвязанно

кажется мы отклонились от темы чата

а какие книги, курсы посоветуете для изучения хаскел?

http://haskellbook.com

а какие книги, курсы посоветуете для изучения хаскел?

https://www.cis.upenn.edu/~cis194/fall16/

я это читаю сейчас

хаскельбук еще

что скажете про хаскельбук? кстати не думаю что вы тратили 60$ :)

что скажете про хаскельбук? кстати не думаю что вы тратили 60$ :)

Это ru-haskell-book?

Мне нравится. Читаю сейчас. Особенно интересны "follow up resources" в конце каждой из глав.

Или какой-то другой

haskellbook.com поди

http://haskellbook.com

А, понятно

Мне нравится. Читаю сейчас. Особенно интересны "follow up resources" в конце каждой из глав.

Что, стоит он своих денег?

У меня вот это вызвало озарение, помнится. http://www.haskellforall.com/2014/10/how-to-desugar-haskell-code.html#type-classes

А я не покупал

Дочитаю –– скажу точно, но пока стоит определенно.

ну так то на самом деле думаю 60$ здесь оценка труда авторов, нежели ценность для потребителей.

как там с заданиями

а ценность для потребителей как в деньгах посчитать? )

ну сколько человек готов отдать.

Количественно много, качественно –– пока не могу сказать, потому что 1200 страниц ещё не осилил.

ну сколько человек готов отдать.

так это ж индивидуально у каждого )

https://stepik.org/lesson/Генераторы-списков-8328/step/9?unit=1476

спасибо, решил :)

вот крутая книга: http://dev.stephendiehl.com/fun/

жалко что пока не до конца написанная

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

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

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

Y комбинатор

вот крутая книга: http://dev.stephendiehl.com/fun/

интересно он ее ещё дописывает или забил

последние коммиты в октябре

до комбинаторов я еще не дошел

но и то что есть, довольно круто

не совсем забил

до комбинаторов я еще не дошел

https://rosettacode.org/wiki/Y_combinator#Haskell Вот так это делают, если интересно. Я попробовал накидать наивную реализацию и понял, что не всё так просто. :)

Y комбинатор

Или это не ответ на исходный вопрос, или я чего-то не знаю про fix

Как я понял вопрос: В клаузах мы можем писать nat = 1 : map (+1) nat Как эквивалент такой конструкции для лямбда функций? То есть как сослаться в теле лямбда-функции на неё саму?

Я думаю, что ответ "никак", так как лямбда-функция анонимна, но могу ошибаться

а разве в haskell не все функции лямбды?

а разве в haskell не все функции лямбды?

Лямбда с именем

Я думаю, что ответ "никак", так как лямбда-функция анонимна, но могу ошибаться

Y combinator таки умеет это делать. Но в типизированном языке это сложнее

примеры приводят на лиспе или джс. Ну или на нотации черча скорее

Как я понял вопрос: В клаузах мы можем писать nat = 1 : map (+1) nat Как эквивалент такой конструкции для лямбда функций? То есть как сослаться в теле лямбда-функции на неё саму?

import Control.Monad.Fix fix $ \nat -> 1 : map (+1) nat Да, из лямбды нельзя сослаться на саму себя, но можно иметь комбинатор, который передаст нас самих как параметр нам же. :)

Проблема в рекурсивном определении типов.

Мой покорёженный лиспом мозг страдает

а есть в хаскеле встроеные средства для получения уникальных членов списка? предположим однотипных например [[1,1,1,1],[1,1,2],[1,1,2],[1,1,2],[2,2]] => [[1,1,1,1],[1,1,2],[2,2]] что-то гуглю гуглю, все не то

не хочу писать функцию

nub ?

Нужен бот для hoogle)

Set.toList . Set.fromList ?

o!

nub

спс

nub что-то типа квадратичный, но сохраняет порядок

Нужен бот для hoogle)

Это вообще чумовая тема

Есть такой но не работает опять

Сейчас снова вылезет @goodmind и включит

?

Set.toList . Set.fromList ?

а это за n log n?

как-то так.

а есть в хаскеле встроеные средства для получения уникальных членов списка? предположим однотипных например [[1,1,1,1],[1,1,2],[1,1,2],[1,1,2],[2,2]] => [[1,1,1,1],[1,1,2],[2,2]] что-то гуглю гуглю, все не то

мой вариант map head . group . sort

мой вариант map head . group . sort

Сработает только если список состоит из типов класса Ord

ну как и это

Set.toList . Set.fromList ?

а nub шире, ему достаточно Eq, но он квадратичный

а есть в хаскеле встроеные средства для получения уникальных членов списка? предположим однотипных например [[1,1,1,1],[1,1,2],[1,1,2],[1,1,2],[2,2]] => [[1,1,1,1],[1,1,2],[2,2]] что-то гуглю гуглю, все не то

В Haskell нельзя в список запихнуть разные типы

Set.toList . Set.fromList ?

А с этим я вообще не знаком :)

как вы пишите на х-ле без контейнеров?

В Haskell нельзя в список запихнуть разные типы

а читал про экзистенциальные типы? полиморфные контейнеры, что-то такое

а nub шире, ему достаточно Eq, но он квадратичный

Да, для уникальности нужен Eq, без него никуда в задаче.

@newrlan можно

а читал про экзистенциальные типы? полиморфные контейнеры, что-то такое

Только слышал четвертью края уха

@newrlan можно

Это те экзистенциальные типы?

https://wiki.haskell.org/Heterogenous_collections

да например

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

А с этим я вообще не знаком :)

ну по названию функций должно быть очевидно, по-моему =) Set это множество, оно по определению из уникальных элементов состоит

При беглом просмотре это чит с созданием общего типа.

ну по названию функций должно быть очевидно, по-моему =) Set это множество, оно по определению из уникальных элементов состоит

Там ещё указывалась библиотека какая-то. Суть-то set'а понятна :)

экзистенциальные типы нет

ну и вообще - что значит "чит"

если тайпчек проходит, значит ок

Ну тип то все равно один у всех элементов списка

После тайпчека

И здесь уж точно сложно будет ввести Ord

ну прочитайте уже про экзистенциальные типы

там все написано. и про Ord и про прочее.

Ну тип то все равно один у всех элементов списка

а к чему ты вообще про это заговорил?

у нас с типами всё ок было

а есть в хаскеле встроеные средства для получения уникальных членов списка? предположим однотипных например [[1,1,1,1],[1,1,2],[1,1,2],[1,1,2],[2,2]] => [[1,1,1,1],[1,1,2],[2,2]] что-то гуглю гуглю, все не то

здесь всё одного типа

а есть в хаскеле встроеные средства для получения уникальных членов списка? предположим однотипных например [[1,1,1,1],[1,1,2],[1,1,2],[1,1,2],[2,2]] => [[1,1,1,1],[1,1,2],[2,2]] что-то гуглю гуглю, все не то

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

а, пропустил слово "однотипных"

понял:)

Насчёт телеграм-бота Может лучше портировать GHC (или какой-нибудь другой компилятор, полегче) под android и iOS? Чтобы всегда иметь под рукой полноценный REPL. В Google Play ничего нет, только убогий клиент для http://tryhaskell.org/ Это сложно сделать?

Я вижу много преимуществ такого решения по сравнению с ботом, и ни одного недостатка

А на компе всё равно у всех есть ghc

"другой компилятор" это hugs что ли? оно еще живо? давно никто не упоминал этого слова

ну я слышал, что их много:) но работал только с ghc