AV
Там было бы весело и смешно
Size: a a a
2020 May 14
AV
надо было ещё правда камеру на черновики, где я пытался схемы того, что должно происходить нарисовать
AV
Вот там было весело и классы типов и хитрые типы, и проблемы с подходами в компиляторе и как их обойти можно было
AV
Но к сожалению сейчас всё работает и показывать результат не так интересно
AV
Я ещё в какой-то момент буду декодеры делать, но можно было бы застримить, но я не знаю, когда я буду это делать
АХ
Ко-холивар
Холипис
A
А я и не говорил, что это всегда легко понять. Но главное, что это всегда МОЖНО понять. :-)
fun foo(arg: MyType) сразу все "понятно" стало что хочет функция )) ага
тут имхо больше зависит от стиля
тут имхо больше зависит от стиля
DS
Это не Хаскель
DS
Впрочем, вспоминается старый мем.
DS
f :: String -> String -> String -> String
DS
types are a lie!
DS
Если пользоваться типами только на таком уровне - тогда да, пользы от них маловато
JS
Это не Хаскель
да этот чат весь не про Хаскель
DS
Да ну? А я то уж было подумал... Что... Вот блин, а!
DS
DS
parseURL :: Text -> Maybe URL
Даже если я не видел внутренний код этой функции, я точно знаю, что:
1. Она принимает одно текстовое значение.
2. Она возвращает либо URL, либо ничего.
3. Она не лезет во внешний мир.
Если же я вижу вот это:
parseURL :: Text -> Either ParseError URL
то уже знаю, что она возвращает либо URL, либо информацию об ошибке (если таковая случилась).
Даже если я не видел внутренний код этой функции, я точно знаю, что:
1. Она принимает одно текстовое значение.
2. Она возвращает либо URL, либо ничего.
3. Она не лезет во внешний мир.
Если же я вижу вот это:
parseURL :: Text -> Either ParseError URL
то уже знаю, что она возвращает либо URL, либо информацию об ошибке (если таковая случилась).
n
Но к сожалению сейчас всё работает и показывать результат не так интересно
Я бы показал, но уже не хочется. 😆
DS
Разумеется, логические ошибки парсинга внутри этой функции могут присутствовать! Может быть, она парсит URL некорректно. Но базовый контракт (что у меня на входе, что у меня на выходе, что я не могу) эта функция соблюдает гарантированно.
n
parseURL :: Text -> Maybe URL
Даже если я не видел внутренний код этой функции, я точно знаю, что:
1. Она принимает одно текстовое значение.
2. Она возвращает либо URL, либо ничего.
3. Она не лезет во внешний мир.
Если же я вижу вот это:
parseURL :: Text -> Either ParseError URL
то уже знаю, что она возвращает либо URL, либо информацию об ошибке (если таковая случилась).
Даже если я не видел внутренний код этой функции, я точно знаю, что:
1. Она принимает одно текстовое значение.
2. Она возвращает либо URL, либо ничего.
3. Она не лезет во внешний мир.
Если же я вижу вот это:
parseURL :: Text -> Either ParseError URL
то уже знаю, что она возвращает либо URL, либо информацию об ошибке (если таковая случилась).
Что функция делает? Где описание алгоритма?
DS
Ты читал мой комментарий полностью? Или хочешь просто поспорить?