MK
Но на эту тему копий наломано уже немало было, не хочется ещё одной дискуссии здесь
+++
Size: a a a
2020 December 07
I
тут true - функция, которая возвращает True, синонимом не является, потому что в отличии от True, она не может быть паттерном
Ты меня еще немного сильнее запутал. Не суть.
Почему я не могу проделать тоже самое? На хабре то же самое определение переменных(или функций, неважно пока).
one :: Bool
Почему я не могу проделать тоже самое? На хабре то же самое определение переменных(или функций, неважно пока).
one :: Bool
Prelude> one :: Bool
<interactive>:3:1: error:
* Variable not in scope: one :: Bool
* Perhaps you meant data constructor `One' (line 1)
KV
true :: Bool; true = True
в репле так надо писать
в репле так надо писать
Y
Ты меня еще немного сильнее запутал. Не суть.
Почему я не могу проделать тоже самое? На хабре то же самое определение переменных(или функций, неважно пока).
one :: Bool
Почему я не могу проделать тоже самое? На хабре то же самое определение переменных(или функций, неважно пока).
one :: Bool
Prelude> one :: Bool
<interactive>:3:1: error:
* Variable not in scope: one :: Bool
* Perhaps you meant data constructor `One' (line 1)
:: — это «имеет тип»KV
Либо с помощью :{ и :} чтобы много строчек писать
I
true :: Bool; true = True
в репле так надо писать
в репле так надо писать
А, спасибо
DB
Куда пропала мода учил кваскель про Липоваче?(
DZ
зачем, хабр же есть
YS
учу хаскель по исходникам библиотек(
AV
учил хаскель по статьям семёнов
DB
Ну потому что после хабра вот такие вот вопросы. А Липовача читается за одну-две недели и ты уже адвансед бегиннер, понимаешь, что такое чистота, типы и как с ними жить.
Y
учу хаскель по исходникам библиотек(
по исходникам Серванта
YS
по исходникам Серванта
вчера открыл исходники байтстринга
YS
надо разобраться
Y
Ну потому что после хабра вот такие вот вопросы. А Липовача читается за одну-две недели и ты уже адвансед бегиннер, понимаешь, что такое чистота, типы и как с ними жить.
👍