AV
только у throwLeft для колстека
Size: a a a
2020 May 14
AV
Работает!
AV
Типы не нужны!
DS
расходимся..
n
Имеются в виду имена аргументов
Самой функции. Иногда имена аргументов можно додумать
AV
Имеются в виду имена аргументов
Ясно
AP
Самой функции. Иногда имена аргументов можно додумать
doStuff :: Int -> Bool -> Maybe Bool -> Int -> Maybe Int
придумайте именаYS
Идея такая - в плохо написанном хаскельном коде типы не помогут
AV
Зависит от степени абстрактности
YS
Согласен
AV
На определенном уровне имена аргументов или документация нужна
AV
Можно конечно извращаться через newtype или аннотации
YS
В плохо написанном кложурном коде тоже мало что поможет
YS
В том числе и реплы
AV
doStuf :: Int --^ "Tries count"
-> Bool --^ "Notify on failure"
-> Maybe Bool --^ "some cruft"
-> Int --^ "Another buggy argument"
-> Maybe Int -- You may have not noticed, but I'm the only comment here
AV
Если что все "комментарии" выше это прямо типы, которые даже могут быть использованы компилятором, чтобы нарисовать документацию в swagger
DS
AV
type family param --^ description where
param --^ description = param
n
doStuff :: Int -> Bool -> Maybe Bool -> Int -> Maybe Int
придумайте именаRead(base, async, alsoPrint, limit) если контекст кода позволяет
AV
``
type family param --^ description where
param mods sym a --^ description
= param (Description description ': mods) sym a
param --^ description
= TypeError ('Text "Cannot add description "
':<>: 'ShowType description
':<>: 'Text " for parameter "
':<>: 'ShowType param)
type family param --^ description where
param mods sym a --^ description
= param (Description description ': mods) sym a
param --^ description
= TypeError ('Text "Cannot add description "
':<>: 'ShowType description
':<>: 'Text " for parameter "
':<>: 'ShowType param)
`