Има ли добър начин за кратко разгръщане на алгебричен тип данни в OCaml? Например, разгледайте следния код, който дефинира два различни типа математически функции type ftype = |...

Опитвам се да направя някои типове на Haskell, които са параметризирани не от типове, а от елементи от тип, по-специално цели числа. Например (линейно-алгебра) вектор в R^2 и вектор в R^3 са различни типизирани обекти. По-конкретно, пиша K-D дърво в...

В момента се забърквам с някои дървета на Haskell. Нов съм в Haskell (идвам от C) и се чудя как мога да намеря индивидуалната стойност на възел (това, което наричам лист) от дървото. Ако моето дърво е кажете: (корен) мощност, (клон Ляво) 2, (клон...

Всъщност не мисля, че терминът „разширение на типа“ официално означава това, което искам, но това е единственият термин, за който мога да се сетя. Имам полиморфен тип Haskell за представяне на термини в пропозиционална логика: data PropLogic a...

Пиша прост ADT за ос на мрежата. В моето приложение мрежата може да бъде или правилна (с постоянна стъпка между координатите), или неправилна (в противен случай). Разбира се, правилната решетка е само частен случай на неправилната, но може да си...