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