Вопросы с тегом «typing»

В настоящее время я заканчиваю магистратуру в области компьютерных наук. Я заинтересован в языках программирования, особенно в системах типов. Я заинтересовался исследованиями в этой области, и в следующем семестре я начну работу над докторской диссертацией на эту тему. Теперь возникает реальный вопрос: как я могу объяснить, что я (хочу) делать …

64 programming-languages  education  typing  research 

Я часто слышу, что полиморфизм строк лучше, чем подтипирование, но мне трудно найти что-то, сравнивающее их в деталях. Меня особенно интересует точка зрения пользователя системы. Я наткнулся на этот пост в блоге, но он оставляет мне больше вопросов, чем раньше. Например, он утверждает, что система с подтипом будет назначать один …

20 typing 

Я хотел бы знать, является ли универсально-количественный тип : T a = ∀ X : { a ∈ X , f : X → { T , F } } подтипом или частным случаем экзистенциально-количественной оценки тип T e с той же сигнатурой: T e = ∃ X : { …

20 logic  type-theory  typing 

Наш профессор попросил нас подумать о функции в OCaml, которая имеет тип 'a -> 'b т.е. функция одного аргумента, которая может быть чем угодно, и которая может возвращать что угодно другое. Я думал об использовании raiseв функции, которая игнорирует ее аргумент: let f x = raise Exit Но профессор сказал, …

19 programming-languages  typing  functional-programming 

Я читал об алгоритме типизации Хиндли-Милнере при написании реализации, и видят , что, до тех пор , как каждый переменная связана, вы всегда будете получать либо атомарные тип или типов , где аргументы будут определять окончательный тип, например, t1 -> t1или (t1 -> t2) -> (t1 -> t2)где t1и t2являются …

14 lambda-calculus  type-theory  typing  type-inference 

Я работаю над языком выражения, основанным на генеалогии ML, поэтому, естественно, требуется вывод типа> :) Теперь я пытаюсь расширить решение на основе ограничений для определения типов, основанное на простой реализации в EOPL (Фридман и Ванд), но они элегантно обходят алгебраические типы данных. То, что у меня есть, работает плавно; если …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing