Eric Griffis

I've seen this in other scribble docs and been confused. Ask racket-users and consider a margin note if it can't be fixed.

For functions, this does make sense. In forms like these: ``` (φ #:k k (add1 k)) (φ* (a #:b b) (+ a b)) (φ* (a #:b [b 0]) (+ a...

idea fodder: https://github.com/bennn/gtp-benchmarks

How to handle unconstrained domain? Ex: ``` racket (define return #:-> (unconstrained-domain-> Monad?) pure) ``` I see two obvious choices: 1. add keyword argument `#:unconstrained-domain->` 2. treat `unconstrained-domain->` at the...

Hi Gabriel, This is a new one. Thanks for reporting it. Work on Algebraic Racket stopped abruptly about a year ago, upon discovering other cross-module scoping bugs I didn't know...

There's been a snag. I can't reproduce the bug on my end. Fortunately, the package needs an overhaul anyway, to ensure these sorts of issues have been dealt with cleanly....

`newtype` has three main use cases: 1. hide implementation details through **indirection** 2. create **many instances** of a class with the same underlying type 3. create class instances for **Racket...

Some initial thoughts. At this stage, the existing syntax classes are low hanging fruit, but not necessarily that valuable to other developers. They're only much use for operating _on_ algebraic...

The syntax classes are also useful for macro writers that want to ensure an argument is a sum or product identifier.

I've also been keeping this branch up to date with #558 for code exploration and some unit testing.