Size: a a a

2021 June 11

A

Artem 🏳️‍🌈 USSR Gay ... in Haskell
Вопрос о ее работоспособности все ещё открыт
источник

SP

Stanislav Popov in Haskell
статика никак не мешает хот реалодингу
источник

к

кана in Haskell
когда используют функциюю head, fromJust, то по сути используют такую локальную динамическую типизацию, у нас есть инвариант, что тут значение точно Just, или что список точно непустой, но тайпчекер про это не знает
источник

[

[BRM]White Rabbit in Haskell
ну да, чистичные функции в рантайме падают
источник

IK

Ilya Kos in Haskell
Поэтому эти функции использовать не надо
источник

к

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

[

[BRM]White Rabbit in Haskell
а чтобы доказать инвариант, нужны завтипы :D
источник

к

кана in Haskell
ну, я не считаю что не надо
источник

IK

Ilya Kos in Haskell
А потом вспоминаем , что хаскель ещё и интерпретируемый язык
источник

к

кана in Haskell
ага, круто, покажи мне, кто использует интпретируемость в проде
источник

[

[BRM]White Rabbit in Haskell
люди молвят, что он компилится прямо в оперативку
источник

IK

Ilya Kos in Haskell
Это besides the point
источник

к

кана in Haskell
нет, это важный поинт
источник

IK

Ilya Kos in Haskell
Мне кажется, это никто не использует, потому что оно в проде не полезно
источник

IK

Ilya Kos in Haskell
Prove me wrong
источник

к

кана in Haskell
а мне кажется, что это никто не использует, потому что это сложно использовать в случае хаскеля
источник

[

[BRM]White Rabbit in Haskell
интерпретация же без оптимизаций, да?
источник

A

Artem 🏳️‍🌈 USSR Gay ... in Haskell
Используют. Раньше использовали. Щас в эпоху микросервисов хз
источник

[

[BRM]White Rabbit in Haskell
хаскель без оптимизации - деньги на ветер
источник

IK

Ilya Kos in Haskell
Да и с оптимизациями
источник