VH
О, сейчас же rc17, кажется я знаю, когда Джон выпустит 1.0 🤣
(После rc22)
Size: a a a
2020 February 11
P
О, сейчас же rc17, кажется я знаю, когда Джон выпустит 1.0 🤣
(После rc22)
(После rc22)
вроде как след rc будет последний до 1.0, поэтому с ним так тянут
Oℕ
who would win
zio-1.0.0.-RCN
dotty-compiler-0.N-RC1
zio-1.0.0.-RCN
dotty-compiler-0.N-RC1
AV
Вот давайте помимо Хаскеля вы всё-таки удосужитесь почитать что-нибудь про более базовый ФП-язык Lisp, а потом будете учить людей, где и как скобочки ставить.
OO
Вот давайте помимо Хаскеля вы всё-таки удосужитесь почитать что-нибудь про более базовый ФП-язык Lisp, а потом будете учить людей, где и как скобочки ставить.
почему лисп -- более базовый?
Oℕ
да нет базовых фп языков
OP
Вот давайте помимо Хаскеля вы всё-таки удосужитесь почитать что-нибудь про более базовый ФП-язык Lisp, а потом будете учить людей, где и как скобочки ставить.
Делай канал.
Яркие цитаты из ООП групп в сетях. Хроники борьбы с ФП из первых уст. Достоверность цитат легко проверяется. Тексты и орфография сохраняются.
Яркие цитаты из ООП групп в сетях. Хроники борьбы с ФП из первых уст. Достоверность цитат легко проверяется. Тексты и орфография сохраняются.
OO
да нет базовых фп языков
хм, но есть "не базовые" фп языки (будь то идрис или джава, не важно), так что свойство "базовости" есть, оно как-то измеримо и существует какой-то (частичный) порядок, то есть есть наиболее "базовый" яп
OO
(утренний оффтоп)
Oℕ
ну тогда идрис более базовый, чем хаскель
AS
хм, но есть "не базовые" фп языки (будь то идрис или джава, не важно), так что свойство "базовости" есть, оно как-то измеримо и существует какой-то (частичный) порядок, то есть есть наиболее "базовый" яп
А можете как-то сформилировать понятие базосности? Почему один язык базовые, а второй нет?
Oℕ
на идрис можно формализовать и доказать свойства семантики хаскеля, а наоборот - нет
OO
А можете как-то сформилировать понятие базосности? Почему один язык базовые, а второй нет?
насколько основные принципы и идиомы выразимы в языке
Oℕ
таким образом идрис подходит как формальное основание для хаскель, но не наоборот
AS
насколько основные принципы и идиомы выразимы в языке
спасибо
Oℕ
насколько основные принципы и идиомы выразимы в языке
какие принципы и идиомы выразимы в хаскеле?
OO
спасибо
это моя очень субъективная оценка, ни разу не точная правда
Oℕ
и насколько они основные?