IT Nursery
Traits in Rust seem at least superficially similar to typeclasses in Haskell, however I’ve seen people write that there are some differences between them. I was wondering exactly what...
In Haskell, what is the difference between an Int and an Integer? Where is the answer documented? 6 Answers 6
I’m wondering what is the best way to express smart contracts in typed languages such as Haskell or Idris (so you could, for example, compile it to run on...
Closed. This question is opinion-based. It is not currently accepting answers. Closed 4 years ago. Locked. This question and its answers are locked because the question is off-topic but...
I’ve recently posted a question about syntactic-2.0 regarding the definition of share. I’ve had this working in GHC 7.6: {-# LANGUAGE GADTs, TypeOperators, FlexibleContexts #-} import Data.Syntactic import Data.Syntactic.Sugar.BindingT...
What is the difference when I write this? data Book = Book Int Int versus newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid 1...
While explaining to someone what a type class X is I struggle to find good examples of data structures which are exactly X. So, I request examples for: A...
The two Haskell web frameworks in the news recently are Yesod (at 0.8) and Snap (at 0.4). It’s quite obvious that Yesod currently supports a lot more features than...
I’m learning Haskell and read a couple of articles regarding performance differences of Haskell lists and (insert your language)’s arrays. Being a learner I obviously just use lists without...
Can Template Haskell find out the names and/or the declarations of the associated type synonyms declared in a type class? I expected reify would do what I want, but...