зашел я значит в медия мемы посмотреть...

IDE-шный район

Это шутка или правда существует(существовал) IDE-район?

если кодер без любви к математике, то LYAH не поймёшь. или поймёшь, но не получишь удовольствие от понимания

Ты что-то путаешь, lyah - learn you a haskell for great good, нет?

Там картинки, понятный текст для людей, которые вообще программировать не умеют и 0 математики вроде ккк

Ты что-то путаешь, lyah - learn you a haskell for great good, нет?

выше линк

Там картинки, понятный текст для людей, которые вообще программировать не умеют и 0 математики вроде ккк

угу

в духе лол

хотя я лол не читал, но мне кажется кнжк в той же манере

Вот взять Душкина

Вот там математика что жесть

в каком месте Душкина?

В самом начале он меня нереально выносил. Перечитывал много раз первые главы, чтобы все понять

Первая глава, со второй уже пошло нормально

Там где что-то про интерпретатор

Ты про его последнюю книжку Квантовые вычисления? (троллфэйс)

А, ну лол, я про "фп на хаскеле"

Пишешь как будто у него одна книга

Ну в контексте хаскеля для начинающих у него только одна ведь, нет?

У меня только в бумаге еще его "Практика программинга на языке хаскеля". На его сайте перечислены все его книги.

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

Хм, сейчас перечитываю первую главу, и вроде как всё понятно, и математики немного

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

и не изобретать свой

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

ты про символьную алгебру?

да, но мне полноценное решение не нужно

да, но мне полноценное решение не нужно

я находил такое когда-то https://github.com/DSLsofMath/DSLsofMath

это для дискретки https://github.com/disco-lang/disco

чего-то не похоже на вещь стандартно используемую :/

ну других я не знаю

ну видимо придётся самому сделать

ок

ну видимо придётся самому сделать

делись потом)

да там игрушечное будет скорее всего, если ничего интересного не выйдет

да там игрушечное будет скорее всего, если ничего интересного не выйдет

игрушки тоже вещь)

Там картинки, понятный текст для людей, которые вообще программировать не умеют и 0 математики вроде ккк

LYAH начинается с абстракций над абстракциями, и только в 9 главе helloworld. научиться писать по ней нереально. но если уже написал программу 3 рода, то она поможет систематизировать знания

Это что значит? Я по LYAH написал свою первую программу на Haskell

Она до этого была на C++

Это оказался удачный маршрут для освоения языка -- придумывать как выразить на нем вещи, которые уже знаешь.

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

Это новый троллинг какой или что?

С чьей стороны?

Со стороны Юрия, утверждающего, что в LYAH есть математика в принципе.

Не знаю на счет троллинга, но математики я там тоже не увидел особо.

Кого-то смущает, что helloworld аж в 9 главе появляется, но восемь глав до этого учат писать функции в REPL. И это хорошо - польза от "начала с печати сообщения на экране" преувеличена

Зато к тому моменту, как книга доходит до IO, читатель уже умеет читать типы вида IO a и автору не приходится давать временные синтетические объяснения ("IO a, это такое буррито с a вместо начинки"), которые потом нужно будет отбросить

IO монадку в Джава? 😊 Чтобы общение в миром было через нее, а остальное все чистое и иммутабельное? 😊 До такого даже Егор не дошел...

я думаю это никодгда не случится, легче eta до ума довести:)

IO монадку в Джава? 😊 Чтобы общение в миром было через нее, а остальное все чистое и иммутабельное? 😊 До такого даже Егор не дошел...

http://www.functionaljava.org/javadoc/4.0/fj/data/IO.html

я думаю это вообще смешная идея сама по себе, просто решил уточнить :)

я думаю это никодгда не случится, легче eta до ума довести:)

> eta до ума довести думаю, что это никогда не случится

ну значит ни того ни другого не увидим:)

а что с eta не так? вроде развивается

eta нинужно

они даже source compatibility не обещают

community split на пустом месте, другая RTS со своими проблемами

т.е. это совсем другой язык

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

т.е. с inline-java так нельзя

т.к. haskell код остается нативным

и переносимости которая есть в java нету

и отдадчик/профилировщик так просто не прицепить

но зато с inline-java можно нормально haskell код писать

хаскелистов перетащат

Циклы разрешили значит.... А они без мутабельности не бывают - от слова совсем 😊 Плач о дуплении и грусти при изменении объектов по ссылке - [b]эта[\b] конечно сильно 😊

я как-то находил Monad.Imperative

https://hackage.haskell.org/package/ImperativeHaskell-2.0.0.1

во примеры https://github.com/mmirman/ImperativeHaskell/blob/master/Main.hs

эм.. а при чем тут императивность?

возможно имелось ввиду мутабельность?

которая не является ни следствием, ни синонимом императивности

императивное = ты описываешь последовательность операций

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

если в объекте заменяются поля, то все зависит от того, изменяемый (mutable) он (или язык) или нет

так например в java (до 1.8) строка это неизменяемый объект, и "изменение" строки приведёт к аллокации нового объекта и отмечанию старого как неиспользуемого

(что кстати там в 1.8 и далее, уже всегда mutable? не слежу уже особо)

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

В F# есть мутабельность, в куче Лиспов/Схем (даже в моем Лискрипте), в Скале/Кложе вроде тоже (каламбур 😊 ) Сложности есть, но что не сделаешь ради желанной мутабельности 😊

например в haskell никто не запрещает сделать alloca или использовать structs и менять что угодно

главное, что если язык ленивый нужно сохранить все data dependency

кстати, мутабельность особенно в конкурентном окружении может быть сильно переоценена