t
смолвил, как боженька
Size: a a a
2021 March 25
JS
но ведь независимо от примитивов, язык не может гарантировать тотальность ио, потому что в общем случае ио нетотален. или я неправильно понимаю?
такая условная тотальность. Хаскель тоже условно типизированный. GHC гарантирует, что если ты напишешь
a :: t, то значение a действительно будет принадлежать типу t, но только если значение вычислилось, и не было unsafeCoerce, и какой-нибудь FFI не проехался по памятиYS
осталось понюхать и пощупать
NI
Это очень спорный вопрос.
Что-то типа "фундаментально" - да, может быть.
Но практически, программировать на них неудобно.
Кое-как, идрис приблизился, но ему ещё далековато по удобству до хаскеля.
Что-то типа "фундаментально" - да, может быть.
Но практически, программировать на них неудобно.
Кое-как, идрис приблизился, но ему ещё далековато по удобству до хаскеля.
[
Ну, стоит ещё учесть, что идрису не 30 лет
[
Хотя ладно, 13 лет это тоже немало
AA
ну когда хаскелю было столько же, сколько идрису сейчас он был уже поудобнее идриса сейчас
NI
ну когда хаскелю было столько же, сколько идрису сейчас он был уже поудобнее идриса сейчас
+
Ну я где-то с 2003--2004 года хаскель и начать пробовать.
Как-то так, да.
Ну я где-то с 2003--2004 года хаскель и начать пробовать.
Как-то так, да.
AA
> Rust
AK
На одном компе stack и ghcup/cabal живут нормально или лучше что то одно?
[
ну когда хаскелю было столько же, сколько идрису сейчас он был уже поудобнее идриса сейчас
сорри, не имею опыта кодинга 900 + лет
AA
На одном компе stack и ghcup/cabal живут нормально или лучше что то одно?
нормально
AK
нормально
Такое впечатление, что ghcup и stack умеют с разными версиями ghc работать, а плагин ghci-dap нет и тянет не ту версию ghci
AA
Такое впечатление, что ghcup и stack умеют с разными версиями ghc работать, а плагин ghci-dap нет и тянет не ту версию ghci
что такое ghci-dap?
JS
На одном компе stack и ghcup/cabal живут нормально или лучше что то одно?
нормально, но по умолчанию у вас будут копии компиляторов. можно заставить stack использовать компилятор из ghcup или cabal — из stack
AK
что такое ghci-dap?
Пфкеты что нужны для отладки в VSCode
AA
Пфкеты что нужны для отладки в VSCode
а, так это какая-то сильно экспериментальная штука, да еще уже и давно помершая небось
не стоит ожидать, что она будет работать нормально!
не стоит ожидать, что она будет работать нормально!
AK
а, так это какая-то сильно экспериментальная штука, да еще уже и давно помершая небось
не стоит ожидать, что она будет работать нормально!
не стоит ожидать, что она будет работать нормально!
Ну... в декабре она работала только с кабалом, а сейчас только со стеком и только если ghci 8.8.4
[
звучит так, будто это очень надёжный выбор, который точно-точно оправдает твои усилия (табличку "сарказм" украли буржуи)
AK
звучит так, будто это очень надёжный выбор, который точно-точно оправдает твои усилия (табличку "сарказм" украли буржуи)
Шаманский бубен мой тоже они украли😺