Size: a a a

2021 May 02

к

кана in Haskell
как может строгий язык быть в семействе хаскеля мне не ясно, там абсолютно другая парадигма
источник

к

кана in Haskell
это хорошо видно по эрлангу например, там из-за строгости большая часть кода написана через хвостовую рекурсию
источник

MK

Maxim Koltsov in Haskell
Лето - котлета
источник

L

Lierdakil in Haskell
Вопрос как определять "семейство". Если исходить из того чем авторы "вдохновлялись" (т.е. тягали всё что приглянется) то ps вполне себе в семействе хаскела. А если привязываться к деталям реализации то каждый язык сам по себе. И джава к си не имеет отношения, потому что где JVM и где компиляция в машинный код. И C# тоже всё сложно...
источник

L

Lierdakil in Haskell
Понятно что это всё условности. Но на уровне "где-то я это уже видел" оно работает.
источник

L

Lierdakil in Haskell
а лучшего определения "семейства языков" таки мне не известно.
источник

к

кана in Haskell
обычно такое "вдохновалялись" относится сразу к множеству языков, а утверждение "язык находится в семействах языков А Б С" какое-то некрасивое
источник

L

Lierdakil in Haskell
есть более строгие классификации
источник

L

Lierdakil in Haskell
поэтому в тот список затесались Rust и Swift. Но purescript-овцы хотели вроде "хаскел только как жс". поэтому таки в семействе хаскела. и на полшишечки в семействе жс если смотреть на модель исполнения.
источник

L

Lierdakil in Haskell
ну или можно сказать что purescript сам по себе, но это явно не совсем корректно.
источник

IK

Ilya Kos in Haskell
На удивление много общего

По сути тайпклассы есть, вывод типов, value types
источник

к

кана in Haskell
огоооо
источник

к

кана in Haskell
(иронично)
источник

Y

Yuuri in Haskell
Смотря что считать семейством. Я тоже считаю, что Miranda, Clean, Idris, Agda и PS можно отнести к семейству хаскеля
источник

Y

Yuuri in Haskell
В конце концов, относят же Scheme и CL к семейству лиспов, хотя там тоже фундаментальная разница
источник

NI

Nick Ivanych in Haskell
"Ленивый на основе расширения SystemF", например.
источник

Y

Yuuri in Haskell
Это не определение семейства вообще
источник

L

Lierdakil in Haskell
Это классификация по семантике и системе типов. Она лучше определена, но куда более узкая.
источник

Y

Yuuri in Haskell
Терминосрач! Терминосрач!
источник

L

Lierdakil in Haskell
не, лень и вообще спать пора
источник