А
тип как информация о допустимых значениях - понятно. хочется увидеть сами значения)
ну вот в хаскеле например значения очень простые
Size: a a a
2020 October 07
АГ
ну а чем тебе c++ не язык с мощной и строгой системой типов?)
АГ
все равно данные делятся на атомарные типы и составные некие. как ни крути. куда без этого. списки списков, и т д
АГ
проходил такое, когда хаскелл изучал в универе. а вот про строки чото не помню
А
ну вот в хаскеле например значения очень простые
там над ними две основные операции - можно создать значение из других значений и можно вытащить эти значения из созданного
А
ну а чем тебе c++ не язык с мощной и строгой системой типов?)
у хаскеля мощнее и гораздо строже
АГ
ну вот, тут ключевой момент, что функция, не принимающая ничего, но что-то возвращающая - не возможна.
АГ
так ведь?
АГ
но это функция, которую хаскел заимствует из внешнего мира)
А
ну вот, тут ключевой момент, что функция, не принимающая ничего, но что-то возвращающая - не возможна.
ну вообще есть "ничего" в виде ()
АГ
можно написать ранд на хаскеле?)
АГ
пустой список.
SP
ну вообще есть "ничего" в виде ()
там он о том что у функции не тсвязи между входом и выходом (грязная грязь)
А
ну вот, тут ключевой момент, что функция, не принимающая ничего, но что-то возвращающая - не возможна.
ну и в каком-то смысле обычные значения - это как раз такие функции 0-арные
АГ
ок, можно написать функцию, которая получит на вход пустой список, а вернет непустой?
А
там он о том что у функции не тсвязи между входом и выходом (грязная грязь)
она есть
АГ
как можно получить сам пустой список?
А
как можно получить сам пустой список?
[]
А
ок, можно написать функцию, которая получит на вход пустой список, а вернет непустой?
func [] = [1]