AV
Если нет, то так даже интереснее
Size: a a a
2020 May 14
DS
Я ловил сегфолты в xsafe коде без использования unsafe операций
Это да, поиграться с какими-нибудь IORef можно и не так.
n
документация — это как типы, только не работает и быстро начинает расходиться с кодом
Но все ещё лучше типов описывают содержимое
YS
Но это будет как забег инвалида
AV
Это да, поиграться с какими-нибудь IORef можно и не так.
catch (throw (1::Int)) (\(e::String) -> )
AV
там что-то такое можно было написать
AV
Это какая-то библиотека эффектов
JS
Но все ещё лучше типов описывают содержимое
почти всегда документация хуже типов (в языке с хорошей системой типов). иногда лучше. но в таких случаях стоит документацией дополнять типы, а не выбрасывать типы совсем
AV
Я был настолько поражен, что даже репорт не стал писать
AV
catch (throw (1::Int)) (\(e::String) -> )
С IORef только с unsafePerformIO
DS
Просто есть документация, описывающая то, "что функция делает" и то, "как именно она это делает". Типизированное объявление функции даёт мне первую документацию: я понимаю, как эта функция взаимодействует с окружающей средой. Разумеется, очень часто мы пишем и вторую документацию, описывающую особенность внутренней работы этой функции.
DS
Таким образом, выразительные типы и текстовая документация дополняют друг друга
DS
а не исключают друг друга
n
почти всегда документация хуже типов (в языке с хорошей системой типов). иногда лучше. но в таких случаях стоит документацией дополнять типы, а не выбрасывать типы совсем
Типы не помогают в простых случаях a->a->a
YS
Типы не помогают в простых случаях a->a->a
Почти никогда так не пишу
YS
Да и многие не пишут
YS
Если это не что-то "суперобщее"
JS
Типы не помогают в простых случаях a->a->a
очень помогают! (a -> a) можно реализовать строго одним способом, например. из типа полностью выводится содержимое
n
очень помогают! (a -> a) можно реализовать строго одним способом, например. из типа полностью выводится содержимое
Что внутри делается?