Jeffrey Benjamin Brown

Maybe of interest

1

A 31-ET synth written in SuperCollider, controllable by a monome. https://github.com/JeffreyBenjaminBrown/monome 31 ET is hard to play on a linear grid like a piano, as your hand can only reach...

Are these really algebraic data types?

13

Coconut's [documentation for the `data` keyword](http://coconut.readthedocs.io/en/master/DOCS.html#data) states that it lets you create immutable ADTs. I see a nice concise language for creating immutable product types, but for it to truly...

The tests demonstrate how to make a database from scratch and query it. But what if you wanted to add a relationship to an existing database, or assert that a...

Can the same variable not appear twice in a literal?

1

I ask because the README says "Rewrite literals like f(X,X) into f(X,Y), X=Y. A few internals assume that the same variable doesn't appear twice in a literal" -- but it...

A million years ago on an extinct mailing list (Haskell Art), you gave me an example of how to use envelopes. Yesterday I discovered it works like a charm. I've...

`set` has this type: ```haskell (VividAction m, Subset (InnerVars params) sdArgs, VarList params) => Synth sdArgs -> params -> m () -- Defined in ‘Vivid.Actions’ ``` Suppose I've got two...

Represent a `[VarList]`? Convert a `Map String Float` to a `VarList`?

1

In [Montevideo](https://github.com/JeffreyBenjaminBrown/montevideo.git) I'm using maps from string to float to represent messages. This lets me represent arbitrary sequences of SuperCollider events, something I was unable to do using tuples because...

In later versions of GHCI, MaybeT requires an Applicative instance

2

Until I added the below Applicative instance, [MaybeT.hs](https://github.com/wkoszek/book-real-world-haskell/blob/master/examples/ch18/MaybeT.hs) would not compile for me in GHCI 8.2.1: ``` instance Monad m => Applicative (MaybeT m) where pure = returnMT () a...

Ch. 18, UglyStack.hs: Newtype deriving statement causes compilation error

4

Your book is wonderful. Thank you. In [UglyStack.hs](https://github.com/wkoszek/book-real-world-haskell/blob/master/examples/ch18/UglyStack.hs), if I comment out the line `deriving (Monad, MonadIO, MonadReader AppConfig, MonadState AppState)`, compilation succeeds. If I don't, I get this error:...

Since RSLT is an instance of Read and Show, it can already be saved as plain text: ``` >>> g >> s = show g -- s is g represented...