Собственно и сам он ссылается на свою работу как на "book"

о

он раньше говорил что книги нет

наверное из-за того, что раньше она не была закончена

последняя глава вышла месяц назад

круть

ещё есть http://book.realworldhaskell.org/read/

старо, но актуально

Почему ITT считается, что в расте есть ручное управление памятью? Это же просто неправда, "управление" памятью гарантируется системой регионов, просто она очень неявная и невыразительная. Несомненно спор регионы vs gc это продолжение спора типизация vs динамическое тегирование.

ещё есть http://book.realworldhaskell.org/read/

Старьё

Почему ITT считается, что в расте есть ручное управление памятью? Это же просто неправда, "управление" памятью гарантируется системой регионов, просто она очень неявная и невыразительная. Несомненно спор регионы vs gc это продолжение спора типизация vs динамическое тегирование.

оно есть ведь

но оно нежелательно в большинстве случаев

а посоветуйте, пожалуйста, что по хаскелю почитать после learn you a haskell for great good?

https://medium.com/@_bravit/%D0%BA%D0%BD%D0%B8%D0%B3%D0%B8-%D0%BF%D0%BE-%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8E-%D0%BD%D0%B0-haskell-%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4%D1%8B-712c1f5b7749

а есть что-нибудь почитать о тулинге в хаскеле? Типа там систем сборки, тестирования и всего такого

Мануалы

хм.. а какой правильный подход к разработке с последним кабалом и с поддержкой nix

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

если делать sandbox, то поддержа nix огорчается и ругается, что песочница не добавлена в gc root

а почему не стек? он вроде немного в никс умеет

да с ним мороки больше в итоге

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

а ещё cabal-install новый смешной там веселые ошибки которые надо когда-нить починить

0.3.3 /= 0.3.3.0

так то!

а какую книгу стоит почитать для изучения concurrency вне независимости от языков программирования?

0.3.3 /= 0.3.3.0

А разве раньше не так было?

не обращал вниманиия

а какую книгу стоит почитать для изучения concurrency вне независимости от языков программирования?

Java concurrency in practice хорошая.

а какую книгу стоит почитать для изучения concurrency вне независимости от языков программирования?

Марлоу?

да

марлоу уже посоветовали, на ней и остановился

именно concurrency?

а то is parallel programming hard and if so what can we do about it неплохая

Марлоу всё же очень хаскелецентричен

именно concurrency?

да

все равно эту книжку стоит взглянуть

товарищи из serokell (я проверил, тут 2 ll) у вас последний network-transport используется, но без cloud haskell?

а я как раз cloud haskell изучаю....

вопрос снят, похоже в последнем n-t немного поломали поведение ожидаемое, придётся думать как лечить

gcc успешно компилирует сишный код с хвостовой рекурсией

без прагм и атрибутов (а-ля pure)?

Доброй ночи. А что, в Haskell никак нельзя создавать списочные структуры вида [[1,2],3] ?

В чем вопрос? Твоя нотация — это валидный терм в haskell.

В чем вопрос? Твоя нотация — это валидный терм в haskell.

и какой тип у этого терма?

А, нет, это 01:40 по москве, я просто ебобо

Ну вообще можно всегда сделать гетерогенный лист

Или сделать adt-обертку вместо этого

который будет бесполезным?

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

который будет бесполезным?

??? Юзер поднял вопрос про то, как делать бесполезную дичь, я ответил.

Непонятно, зачем такого хотеть вообще, но https://wiki.haskell.org/Heterogenous_collections

можно там data NestedList a = Nested [a] | NotNested a и потом [NestedList a] использовать, если хочешь глубины 1.

??? Юзер поднял вопрос про то, как делать бесполезную дичь, я ответил.

ну если у нас лист [forall a. a] то мы не можем ничего сделать с внутренностями

ну если у нас лист [forall a. a] то мы не можем ничего сделать с внутренностями

Но никто и не предлагает делать лист именно такого типа. Энивей

Обычно гетерогенные коллекции там имеют какой-то констрейнт

чтобы можно было что-то делать

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

к примеру кастовать к тому же NestedList a

Короче юзлесс так или иначе

это не гетерогенность ведь?

Доброй ночи. А что, в Haskell никак нельзя создавать списочные структуры вида [[1,2],3] ?

Ночи доброй. Про это был даже вопрос на SO. В Haskell можно сделать так, чтобы [[1,2], 3] стайпчекалось и результировало в валидный терм.

Ну если нахакать с instance Num там?

https://stackoverflow.com/questions/15884984/create-the-following-list-1-2-3-4-3-4-5-in-haskell - я на SO только это по теме откопал.

Да. И с инстансом IsList при помощи -XOverloadedLists

можно там data NestedList a = Nested [a] | NotNested a и потом [NestedList a] использовать, если хочешь глубины 1.

я примерно такую штуку на Лоре давным давно делал, т.к. лисперы достали своим "это невозможно"

Да. И с инстансом IsList при помощи -XOverloadedLists

это невозможно все же

оверлоадед лист заменяет [a,b,c] на fronList [a,b,c]

а там типы не сойдутся

Для учебных целей попробовал реализовать интерпретатор лямбда-исчисления. Мой первый подход тупой - я имел некий контекст (массив пар имя*терм), шел по АСТу, заменял (Var name) на значение из контекста. Это не сработало, потому что для каждой лямбды нужно еще запоминать контекст ее создания. Можно было как-то преобразовывать в другое дерево, где у лямбд уже есть контекст, я не стал. Поэтому я стал гуглить у нашел некий доклад, где просто тупо взяли формализацию ЛИ и имплементировали (то есть никаких контекстов, просто когда находим (\x.e) v, то деалем замену x->v в e. Это решение работает, но не выглядит эффективным. Вопрос такой: какой из подходов лучше? UPD: энвайромент какой-нибудь таки нужен для тайп/клос-чекинга

код второго подхода https://gist.github.com/kana-sama/e044a6cd4666daf27f5076bf4377f132

без прагм и атрибутов (а-ля pure)?

да, достаточно включить оптимизации

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

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

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

Для учебных целей попробовал реализовать интерпретатор лямбда-исчисления. Мой первый подход тупой - я имел некий контекст (массив пар имя*терм), шел по АСТу, заменял (Var name) на значение из контекста. Это не сработало, потому что для каждой лямбды нужно еще запоминать контекст ее создания. Можно было как-то преобразовывать в другое дерево, где у лямбд уже есть контекст, я не стал. Поэтому я стал гуглить у нашел некий доклад, где просто тупо взяли формализацию ЛИ и имплементировали (то есть никаких контекстов, просто когда находим (\x.e) v, то деалем замену x->v в e. Это решение работает, но не выглядит эффективным. Вопрос такой: какой из подходов лучше? UPD: энвайромент какой-нибудь таки нужен для тайп/клос-чекинга

Погуглите CEK machine

@qnikst а нет network-transport-tls?

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

https://twitter.com/broadway_lamb/status/919286296262082560

https://twitter.com/broadway_lamb/status/919286296262082560

я бы плюсы в правый край засунул на картинке из xkcd

Плюсы явно правее должны быть

я бы плюсы в правый край засунул на картинке из xkcd

скалу забыли

скалу забыли

++

objc

скалу забыли

https://s14-eu5.ixquick.com/cgi-bin/serveimage?url=https:%2F%2Fpbs.twimg.com%2Fmedia%2FCAQimeDVEAAlnSh.jpg&sp=44553a8d03d2faae2f938ac490366729

http://devzen.ru/wp-content/uploads/2017/03/dz135.jpg

Lambda cat is watching you calculate

http://devzen.ru/wp-content/uploads/2017/03/dz135.jpg

лоооол

++

За скалу надо не плюсовать, а <|*|>

что это за инфиксный goatse?

E[*]Ǝ

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

это вид сзади?

Все вопросы к мейнтейнерам scalaz

напоминает котика http://photo.iarex.ru/insimgs/201336/b551410b92e4.jpg авторства путина

E[*]Ǝ

E(_*_)Ǝ

извините