У ФЯ вычислительная модель должна быть соответствующей, как у хаскеля. И си тут не подходит

почему ленивость ＝функциональность?

почему ленивость ＝функциональность?

Потому что бесконечные списки без ленивости не делаются

Потому что бесконечные списки без ленивости не делаются

Бесконечные списки делаются при любой редукции, достигающей weak normal form

Фп радикалы какие-то в чате!

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

Фп радикалы какие-то в чате!

+

ФП это баззорд, успокойтесь

Как девопс

А что минс С?

функциональное скриптование

Но чому? Вроде комбинировать комбинаторы легко...

тяжело

Можно пример тяжести? (с лиспами мало дела имел)

мне лень

Чат спалили. Критикуют наше мнение что лисп не фп

так где критикуют-то

мне лень

Это всё от хаскеля

хаскель от этого

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

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

т.е. человек, который считает лисп ФЯ может найти работу? невероятно

красней уж за всех, а не за двоих

т.е. человек, который считает лисп ФЯ может найти работу? невероятно

да, на JS

т.е. человек, который считает лисп ФЯ может найти работу? невероятно

Воувоу, полегче.

или это не биокадовец а какой-то приблудный лиспер заглянул на лекцию?

Этож @bravit111

или это не биокадовец а какой-то приблудный лиспер заглянул на лекцию?

напомнило рассказ про Мандрюшу

что-то реальный прототип этого персонажа пропал кудато

@A64m_qb0 а зачем делали Хаскель когда была Миранда?

Чтобы написать книжку как написать цомпилятор ФЯ

да, на JS

Тут нужно ответить, что это не работа, а мучение

Чтобы написать книжку как написать цомпилятор ФЯ

чтоб книжку написать SML делали

чтоб книжку написать SML делали

haskell too

haskell too

нет

Есть мнение что Тёрнер денег хотел

какие там книжки издали?

У меня даже есть эта книжка

Есть мнение что Тёрнер денег хотел

почему "мнение"? Миранда продавалась за деньги

У меня даже есть эта книжка

она не про хаскель же

и хаскель стали делать когда ее издали уже

Про хаскель

Этож @bravit111

Это проект твиттера, под суд

@A64m_qb0 а зачем делали Хаскель когда была Миранда?

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

но не очень успешно

: vs ::

а?

Да, вот войсов тут не хватает

вроде ж там быть что-то что сделать не как в миранде

вроде ж там быть что-то что сделать не как в миранде

да, сделали, но не это

а что?

сделали a -> b вместо * -> **

потом больше отличий стало

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

ну и решили сначала что это Миранда будет

но Тернер попросил чтоб они сделали язык отличающимся

тогда они выбрали язык Вадлера Оруэлл, в котором все как в миранде кроме a -> b вместо * -> **

:)

думаю, Тернер почуствовал ГОРЕЧЬ ОБИДЫ после этого

* -> ** выглядит стрёмно

так в милнеровском эмеле было, но после того как Тернер это позаимствовал эмелисты передумали, и ни в одном такого не сохранилось

я маленько запутался с кондуитами: есть ф-ции: - foo :: ByteString -> IO a - sourceFile :: (Monad m, MonadIO m) => File -> Producer (Action m) ByteString мне нужно это как-то соединить вместе и "запустить" runConduit т.е. result ← runConduit $ GFS.sourceFile file .| mystery foo вот интересно, что за mystery может быть Found hole: _ :: (ByteString -> IO a) -> ConduitM ByteString Void (Action IO) a0 хм upd: не, я фигню написал, мне нужнo просто .| consume или что-то подобное, что просто все в память "вычитает", забыл как называется, найду) sinkLazy похоже bs ← runConduit $ GFS.sourceFile file .| sinkLazy

Кто-нибудь знакомился сегодня с биокадовцами? Они про себя рассказывали подробнее?

Есть смысл ее читать сейчас, чтобы лучше понимать устройство фя с ленивой редукцией (в том числе устройство ghc), или она слишком устарела?

Кто-нибудь знакомился сегодня с биокадовцами? Они про себя рассказывали подробнее?

Говорят что все на хаскеле

Но какие проекты-то? (я просто тоже в биотехе, мне отдельно интересно)

Кто-нибудь знакомился сегодня с биокадовцами? Они про себя рассказывали подробнее?

Странно, что ничего не рассказали, да

Распределенные системы, ГПУ кластеры

лучше конечно если сами подробнее расскажут

У них на гитхабе должна быть инфа

Уу, они ещё и опенсорц?

https://github.com/biocad/career/blob/master/README.md

Есть смысл ее читать сейчас, чтобы лучше понимать устройство фя с ленивой редукцией (в том числе устройство ghc), или она слишком устарела?

какой-то смысл есть. Более актуальной книги по имплементации ФЯ все равно не появилось

разве только из диссеров и статей составить какой-то набор, но это еще сделать надо

можно пюр фанкшинал дата стракчерс

она-то какое отношение к этому имеет

разве только из диссеров и статей составить какой-то набор, но это еще сделать надо

А придумали что-то лучше г-машины?

да особо и не придумывал никто. Придумали GRIN в 90-е два человека немного с ним пострадали а потом устали

никто же не занимается такими вещами

Грин? Чо это?

Грин? Чо это?

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.27.3918&rep=rep1&type=pdf

Потому что бесконечные списки без ленивости не делаются

К слову, выше Александр потехи ради дал ссылку на мой недавний стрим на трубе, так я там анонсировал в следующем стриме рассказ про то, как делать бесконечные списки в самом что ни на есть кондовом строгом аппликативно-редуцируемом языке (хоть в жаваскрипте), и решить на них всю главу СИКПа про ленивые стримы и потоки. Причем, сделать их оптимальными в смысле отсутствия дублирования вычислений и скорости. Клапауцию и прочим умным людям в этом чатике такое конечно не интересно, но после вашего пассажа я решился все-таки озвучить это.

К слову, выше Александр потехи ради дал ссылку на мой недавний стрим на трубе, так я там анонсировал в следующем стриме рассказ про то, как делать бесконечные списки в самом что ни на есть кондовом строгом аппликативно-редуцируемом языке (хоть в жаваскрипте), и решить на них всю главу СИКПа про ленивые стримы и потоки. Причем, сделать их оптимальными в смысле отсутствия дублирования вычислений и скорости. Клапауцию и прочим умным людям в этом чатике такое конечно не интересно, но после вашего пассажа я решился все-таки озвучить это.

Я думаю, что речь там у вас об итераторах. Как-то на одном форуме я встретил спор о том, что-де C# круче явы, потому что в нем yield есть - после чего явисты оный yield изобразили вручную. Стрим не смотрел, мне их сложно воспринимать.