Size: a a a

2021 June 26

X

XÆA-XII in Haskell
Я о том, что компилятор верифицирует не всё
источник

X

XÆA-XII in Haskell
А биндинги к либам на си так вообще UB
источник

YS

Yan Shkurinskiy in Haskell
Надо бы глянуть как супервизоры работают в эрлангах
источник

[

[BRM]White Rabbit in Haskell
Если постараться, то и на эрланге херню сделаешь, он же дин.типизированный
источник

X

XÆA-XII in Haskell
Но он и не заявляет себя, как верефицируемый яп
источник

[

[BRM]White Rabbit in Haskell
И хаскель не заявляет
источник

[

[BRM]White Rabbit in Haskell
Хочешь верифицировать - иди в идрис
источник

X

XÆA-XII in Haskell
А косяки с динамической типизацией это не баг а фича
источник

[

[BRM]White Rabbit in Haskell
На жс тоже?
источник

X

XÆA-XII in Haskell
У них даже девиз "Пусть падает"
источник

X

XÆA-XII in Haskell
На жс динамическая типизация слабая
источник

X

XÆA-XII in Haskell
А в эрланге сильная
источник

[

[BRM]White Rabbit in Haskell
На питоне сильная
источник

X

XÆA-XII in Haskell
На питоне ооп
источник

[

[BRM]White Rabbit in Haskell
Все мы не без греха
источник

DB

Danil Braun in Haskell
про clojure то же самое можно сказать?
источник

YS

Yan Shkurinskiy in Haskell
А кложура то почему непотопляемая?
источник

DB

Danil Braun in Haskell
не знаю, я просто спрашиваю
источник

YS

Yan Shkurinskiy in Haskell
Кажется, там нет специальных средств для этого
источник

DB

Danil Braun in Haskell
по моим ощущениям оно где-то близко стоит в плане выбора, т. е. ближе явно к elixir/erlang, чем к python/ruby/js
источник