A
борровчекер по ногам долбит - ну к нему привыкнуть надо, первое время можно просто вызывать .clone() на всём
Мне в расте больше по ногам долбит обработка ошибок.
Size: a a a
2020 April 22
DS
А потом на твой код смотреть было не страшно? Спустя некоторое время.
Нет, это же раст, там понятно как на нём писать после скалы, хаскеля, окамля и т.п.
DS
Это же ML язык с афинными типами в си-обёртке
DS
И стиль написания программ в нём очень ML-ый
A
Нет, это же раст, там понятно как на нём писать после скалы, хаскеля, окамля и т.п.
Окей, видимо это у меня хреново с проектирование приложений и разбитием на модули и тд.
DS
Окей, видимо это у меня хреново с проектирование приложений и разбитием на модули и тд.
В плане модулей мне как раз было непривычно после скалы и шарпа - где более-менее часто делают один файл - один тип
DS
Но в хаскеле как раз другой подход.
DS
В расте я ориентировался на то, как стандратные либы написаны, если были какие-то сомнения в стилистике
p
На самом деле из типов данных нужны только Int, Array и структуры. Все остальные типы выводятся через эти всякими ограничениями.
p
И нужен язык который описал бы эти два типа а остальные не зашил в компилятор а сделал в СТД
p
И нужен язык который описал бы эти два типа а остальные не зашил в компилятор а сделал в СТД
Типо
type i64 = Int{-2^64/2<x<2^64/2-1};
type i64 = Int{-2^64/2<x<2^64/2-1};
p
Кмк лучшая система типов была бы
AZ
На самом деле из типов данных нужны только Int, Array и структуры. Все остальные типы выводятся через эти всякими ограничениями.
что насчет экзистенциальных типов?
p
Это какие
AZ
тебе же про импл трейты сегодня говорили
AZ
это тоже часть системы типов
AZ
типы высших порядок через int, array и структуры тоже чет не выражаются
AZ
functional depencencies тоже интересная штука
AZ
должны быть или нет? тайп фемили? (ими можно заменить фундепы, но не всегда)?
p
типы высших порядок через int, array и структуры тоже чет не выражаются
Они не нужны тащемта. Делаешь тип
type Foo = struct{описание_методов}; вот тебе и трейт
type Foo = struct{описание_методов}; вот тебе и трейт