haskell

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

похоже, что в последнее время растет интерес к STM (программной транзакционной памяти) фреймворкам и языковым расширениям. Clojure в частности, имеет отличную реализацию, которая использует MVCC (управление параллелизмом нескольких версий) вместо скользящего журнала фиксации. GHC Haskell также имеет чрезвы...

есть ли где-то полный список разрешенных символов или правило, которое определяет, что можно использовать в идентификаторе против оператора?...

Я часто читаю, что лень - это не то же самое как нестрогом но мне трудно понять разницу. Они кажется используются взаимозаменяемо, но я понимаю, что они имеют разные значения. Я был бы признателен за помощь в понимании разницы. у меня есть несколько вопросов, которые разбросаны по этому посту. Я обобщу эти в...

еее! GHCi нашел Skolems в моем коде! ... Couldn't match type `k0' with `b' because type variable `b' would escape its scope This (rigid, skolem) type variable is bound by the type signature for groupBy :: Ord b => (a -> b) -> Set a -> Set (b, [a]) The following variables have types that ...

как печатать целочисленные литералы в двоичном или шестнадцатеричном формате в haskell? printBinary 5 => "0101" printHex 5 => "05" какие библиотеки/функции позволяют этого? я наткнулся на числовой модуль и его функцию showIntAtBase, но не смог использовать его правильно. > :t showIntAtBase sh...

похоже, существует консенсус, что вы должны использовать Parsec в качестве аппликатора, а не монады. Каковы преимущества аппликативного разбора над монадическим разбором? стиль производительность абстрагирование монадический разбор?...

поправьте меня, если я ошибаюсь, но похоже, что алгебраические типы данных в Haskell полезны во многих случаях, когда вы используете классы и наследование в языках OO. Но есть большая разница: как только алгебраический тип данных объявлен, он не может быть расширен в другом месте. Она "закрыта". В OO вы может...

здесь .cabal file: Name: myprogram Version: 0.1 -- blah blah blah Cabal-version: >=1.9.2 Executable myprogram HS-source-dirs: src Main-is: Main.hs Build-depends: attoparsec == 0.10.*, base == 4.3.*, ...

используя типичное определение естественных типов, я определил n-мерную сетку. {-# LANGUAGE KindSignatures #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE TypeFamilies #-} data Nat = Z | S Nat data U (n :: Nat) x where Point :: x -> U Z x Dimension :: [U n x] -> U n x -> [U ...