Описание тега uniqueness-typing
2
ответа
Линейные и уникальные типы с mkPair
Я читал эту статью здесь http://edsko.net/2017/01/08/linearity-in-haskell/ и автор упоминает, что можно создать неуникальный массив с уникальными элементами, но вы можете ' не извлекай их. Т.е. mkPair :: 1:a -> 1:b -> ω:(1:a, 1:b) -- correct b…
04 дек '17 в 18:30
0
ответов
Запретить использование одного и того же идентификатора
Мы используем некоторый двоичный сериализатор, и он требует, чтобы мы зарегистрировали сериализатор с идентификатором. Таким образом, у нас есть огромный файл, который что-то вроде этого ... registerSerializer(classOf[SomeClass1], SomeClass1Serializ…
11 июл '18 в 07:04
1
ответ
Как читать со стандартного ввода?
Как это сделать в Clean? Псевдокод: loop: input = read_stdin if input == "q": break loop else: print "you input: ", input На самом деле, я взглянул на какой-то PDF. Но у меня есть воображение, Трудно иметь дело со стандартным и стандартным. Могу ли …
25 мар '16 в 05:10
1
ответ
Каково намерение Idris'BorrowedType`?
В идрисе есть вселенная под названием UniqueType значения типов, в которых можно использовать только один раз. Насколько я знаю, его можно использовать для написания высокопроизводительного кода. Но тот факт, что значение может использоваться только…
02 окт '16 в 17:33
0
ответов
Чистый язык: читать содержимое текстового файла в список строк. Можно ли избежать уникальности?
Предполагая, что у меня есть *File что я хочу прочитать весь его контент и сохранить каждую строку как отдельный элемент в списке. Моё интуитивное решение было: first (x,y) = x readFile:: *File -> [{#Char}] readFile file | first (fend (file)) = […
10 мар '19 в 16:20
0
ответов
Обертка побочных эффектов в чистых языках программирования
Я изучаю возможные способы получения вычислительных эффектов на чистом языке программирования. Монады обычно представляют как способ обернуть побочные эффекты чистыми языками. Но я не понимаю, как они помогают. Проблема, которую я вижу, в том, что м…
22 май '20 в 15:22