Is there a standard way to split a string in Haskell? lines and words work great from splitting on a space or newline, but surely there is a standard way to split on a comma? I couldn’t find it on Hoogle. To be specific, I’m looking for something where split “,” “my,comma,separated,list” returns [“my”,”comma”,”separated”,”list”]. 14 … Read more
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 these differences are. 3 Answers 3
GHC has a lot of optimizations that it can perform, but I don’t know what they all are, nor how likely they are to be performed and under what circumstances. My question is: what transformations can I expect it to apply every time, or nearly so? If I look at a piece of code that’s … Read more
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 the Ethereum network). My main concern is: what is the type that captures everything that a contract could do? Naive solution: EthIO A naive solution would … Read more
Core is GHC’s intermediate language. Reading Core can help you better understand the performance of your program. Someone asked me for documentation or tutorials on reading Core, but I couldn’t find much. What documentation is available for reading GHC Core? Here’s what I’ve found so far: Write Haskell as fast as C: exploiting strictness, laziness … Read more
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 has historical significance. It is not currently accepting new answers or interactions. I’m reading Learn You a Haskell for Great Good, and I never know how … Read more
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 data Let a where Let :: Let (a :-> (a -> b) :-> Full b) share :: (Let :<: sup, sup ~ Domain b, sup ~ … Read more
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 Answer 1
Forenote: This is an extension of the thread started on /r/haskell Lets start with the facts: Android is one awesome Operating System Haskell is the best programming language on the planet Therefore, clearly, combining them would make Android development that much better. So essentially I would just like to know how I can write Haskell … Read more
