A
То, что автор не научился выражать инварианты типами.
А что, учебники есть?
Size: a a a
2021 February 12
AT
А что, учебники есть?
Рекомендую научиться учиться без учебников. Моё мнение: в противном случае далеко не уедешь.
AT
Ну и напомню, что моё возражение было "не умеешь пользоваться типами — просто не рассказывай, что они бесполезны". 🤷♀️
A
Рекомендую научиться учиться без учебников. Моё мнение: в противном случае далеко не уедешь.
Читать исходники ghc до просветления?
AT
Читать исходники ghc до просветления?
Начать с http://dev.stephendiehl.com/hask/ далее по ссылкам и ключевым словам. Ещё есть интересные и полезные блоги разных разработчиков, ну и статьи, конечно.
A
Начать с http://dev.stephendiehl.com/hask/ далее по ссылкам и ключевым словам. Ещё есть интересные и полезные блоги разных разработчиков, ну и статьи, конечно.
Не, не понял, там гайд по языку, библиотекам. Напомню, что возражение было "не умеешь пользоваться типами - ...".
JS
ghc полезнее запускать
AT
Не, не понял, там гайд по языку, библиотекам. Напомню, что возражение было "не умеешь пользоваться типами - ...".
Ну и я не понимаю, как посыл "меня не научили пользоваться типами" опровергает то, что я написал?
AT
Опять же, не хотите учиться — не надо, никто не заставляет. Продолжайте молча писать на динамических языках — дело благородное. Писать работающие приложения намного почётнее, чем посты про то, что "типы не нужны, и вообще жмут".
AV
Не факт
DG
То, что автор не научился выражать инварианты типами.
Есть что-нибудь полезное, что стоит прочитать на эту тему?
AT
Есть что-нибудь полезное, что стоит прочитать на эту тему?
Type-Driven Development with Idris, например. Там несложные примеры и довольно подробные объяснения.
DG
Type-Driven Development with Idris, например. Там несложные примеры и довольно подробные объяснения.
Понял, спасибо!
Я как раз недавно начал её читать)
Я как раз недавно начал её читать)
AT
Понял, спасибо!
Я как раз недавно начал её читать)
Я как раз недавно начал её читать)
👍 Только писать уже лучше на Idris 2, если что.
DG
👍 Только писать уже лучше на Idris 2, если что.
Именно так и делаю 👌
MK
Сейчас бы думать что на завтипах все инварианты мира можно выразить
AT
Сейчас бы думать что на завтипах все инварианты мира можно выразить
А зачем все инварианты выражать?
MK
сейчас бы думать на завтипах
Сейчас бы думать
MK
А зачем все инварианты выражать?
По-моему ты это предложил)