λ
кажется речь идёт о том, чтобы иметь какое-то собирательное уничижительное название для всех языков из фп движа
Size: a a a
2020 May 19
AA
никто не может внятно дать определение
фп - это инженерная ветвь конструктивной математики, че невнятного-то?
Oℕ
эх, а я думал твёрдое ядро
AA
эх, а я думал твёрдое ядро
одно и то же
Oℕ
но всё-таки одно дело фп, а другое дело каррированные функции и пробелы
AA
и неудобный для написания решета Эратосфена
удобный!
λ
Как одним словом обозвать сoq, idris, agda, haskell, sml, ocaml, elm, да так, чтобы бомбануло у хаскелистов, окамлистов, академиков и даже Гранина?
LO
алгол для вот этих вот с функциями это окамл. там стек-то типа как в алголе
окамлисты же тоже ныли что им нужна такая-же фича как хаскелю
YS
Как одним словом обозвать сoq, idris, agda, haskell, sml, ocaml, elm, да так, чтобы бомбануло у хаскелистов, окамлистов, академиков и даже Гранина?
Ваши игрушечные языки для задротов
LO
Как одним словом обозвать сoq, idris, agda, haskell, sml, ocaml, elm, да так, чтобы бомбануло у хаскелистов, окамлистов, академиков и даже Гранина?
не практичные языки
AA
окамлисты же тоже ныли что им нужна такая-же фича как хаскелю
другая
λ
Ваши игрушечные языки для задротов
при таком названии раст в выборку попадает
YS
при таком названии раст в выборку попадает
Хммм
Y
Как одним словом обозвать сoq, idris, agda, haskell, sml, ocaml, elm, да так, чтобы бомбануло у хаскелистов, окамлистов, академиков и даже Гранина?
херня
AA
окамлисты же тоже ныли что им нужна такая-же фича как хаскелю
вообще окамлострадальцы уже решили пожертвовать ради смп тем, чем не хотели ради ллвм - скоростью эксепшонов
λ
херня
так вообще всё на свете попадает в выборку
Y
А это уже неважно
AA
окамлисты же тоже ныли что им нужна такая-же фича как хаскелю
такая же смлистам нужна
LO
при таком названии раст в выборку попадает
так раст это считай с++