М
он вроде не очень живой
A64m
у ди одно время были недолямбды как в плюсах и расте, но потом-то их нормальными сделали (причем давно уже)
Cat
чем в расте плохи?
A64m
потому что UFP не решена
М
Одно время болел за ди и Андрееску, но попробовал что-то написать-скомпилить и подостыл
A64m
теперь в этом чате каждый экран обязан повторять предыдущий что-ли?
Cat
A64m
Cat
это реплай, а можно ссылку t.me/haskellru/135339
Кабачок
Кастаните админов
DelightfullyBitchySweets
народ посоветуйте книги, или курси для обучения
DelightfullyBitchySweets
сейчас читаю изучай хаскель во имя добра
DelightfullyBitchySweets
может есть что-то еще хорошое
Cheese
DelightfullyBitchySweets
спасибо
М
вот душевный курс http://www.cis.upenn.edu/~cis194/fall16/
DelightfullyBitchySweets
спасибо
саша
Слава
Anonymous
Всем привет, я хочу вас пригласить на свой курс(бесплатный) по языку программирования «Еrlang». Если нужно больше информации, то пишите в лс или чейкайте канал @shiftplus
Dmitry
Олл, как будем это расценивать?
.sυλ
Ну, ЯП близкий Хаскелю. Но с таким, думаю, лучше в blah
Anonymous
?
Andrei
?
https://t.me/haskell_blah
Anonymous
Спасибо)
Aleksei (astynax)
Anonymous
Здесь 50 на 50, он не чисто функциональный
Max
Что вот началось ))
Alexander
лучше в blah, но банить тут не будут, так же как и устраивать долгое обсуждение Erlang (наверное)
Anonymous
Erlang - forever 🤓
Anonymous
как думаете, нужен ли типизированный язык на beam?
Anonymous
ml-подобный какой-нибудь
Anonymous
Anonymous
просто я раньше думал, что это хорошая идея
Anonymous
Евгений
Раньше это когда эрланг пытались юзать вне телекома?
Anonymous
мне именно про beam интересно
Anonymous
Anonymous
не важно когда исторически
Кабачок
Контрпример: на Java удобнее писать в форме Kotlin
Алексей
На JVM в смысле?
Слава
Под
Anonymous
Тоже самое , что elixir под виртуальную машину на котором крутится erlang
Алексей
Да. Писать — под, исполнять — на.
andor0
Anonymous
Я не понял о чём ты)
andor0
Alexander
а вот в этом чате, я попрошу воздержаться от звуковых сообщений и писать текст
Alexander
звук далеко не все слушают и далеко не всегда есть возможность слушать
Alexander
в итоге диалог принимает странный вид
Alexander
спасибо за понимание
Alexander
кому интересно, что за сообщения были, я из перекинул в blah
Anonymous
Я уже ответил
𝙱𝚎𝚒𝚉𝚎𝚛𝚘
Здесь 50 на 50, он не чисто функциональный
А какой простите? Императивщины там минимум. Типизация там не статическая, но строгая, но функциональный язык этого вроде и не требует, иначе у нас все лиспы вываливаются из чисто функциональных языков, хотя они являются прямой реализацией лямбда исчисления, что же может быть функциональнее? Иммутабельности там достаточно. В общем не понимаю что мешает считать ерланг чисто функциональным языком. Другое дело, что он не чистый и не нужно это путать с чисто функциональным, Scala вон чисто объектно-ориентированный(т.к. там всё объекты), но не чистый т.к. там инкапсуляции функций с эффектами нет.
A64m
ну разумеется, ни скала ни лисп ни эрланг ФЯ не являются
𝙱𝚎𝚒𝚉𝚎𝚛𝚘
Вот это поворот.
𝙱𝚎𝚒𝚉𝚎𝚛𝚘
И с чего бы вдруг?
Anonymous
define ФЯ
Anonymous
ФП — зонтичный термин
A64m
лисп и эрланг безтиповые, так что вообще не языки, а скрипты. а скала - ООЯ с элементами ФП, как ява или сишарп
Aλexander
Опять срачик начинаеццо
Aλexander
🤔
Anonymous
"скриптовые языки" это какой-то мем из 90-х, камон. так уже не говорят
A64m
Слава
Anonymous
а зря
ну то есть скриптота это синоним динамики?
нет, ну я согласен, что динамическая типизация это не типизация, но динамический язык это язык
Anonymous
всё-таки язык
A64m
язык, но не программирования, а скриптования
Anonymous
𝙱𝚎𝚒𝚉𝚎𝚛𝚘
"Динамический" подразумевает только проверку типов во время исполнения, а не компиляции. Это вовсе не означает, что у тебя на этом языке будет получаться только жабоскрипподобная лапша.
A64m
Anonymous
так чем скриптование отличается от программирования