Результаты поиска по запросу "type-systems"
Почему бы не быть зависимым типом?
Я видел несколько источников, повторяющих мнение, что «Haskell постепенно становится типизированным языком». Предполагается, что с появлением все большего количества языковых расширений Haskell движется в этом общем направлении, но пока не ...
Система типов Python - Объект против Типа
Я новичок в Python. Я знаком с Java, C / C ++ и OCaml. Я понимаю лямбда-исчисление и элементарную теорию типов благодаря курсу языков программирования, который я прошел в университете. Вооружившись этим фоном, я попытался прочитать это ...
Scala - принудительный размер вектора во время компиляции
Возможно ли обеспечить соблюдение размераVector передается в метод во время компиляции? Я хочу смоделировать n-мерное евклидово пространство, используя набор точек в пространстве, который выглядит примерно так (вот что у меня сейчас): case class ...
Почему в Haskell есть «данные» и «новый тип»? [Дубликат]
На этот вопрос уже есть ответ: Разница между `data` и` newtype` в Haskell [/questions/5889696/difference-between-data-and-newtype-in-haskell] 1 ответ Кажется, чтоnewtype определение это простоdata определение, которое подчиняется некоторым ...