Ben Greenman

I'm using Racket 6.1 and Emacs 24.2 and was able to install cKanren today and use it in Geiser. The command `raco setup cKanren` didn't work for me, but `raco...

Yes, that sounds right. Does it work?

For the first part, does the runtime need to throw an error for `expected type or Optional[T]` when making a CheckedDict? I was thinking it should default to `object` if...

How does SP guarantee that `int64` etc. are final classes? My first guess was that SP would check class definitions at runtime, to rule out things like `class D(int64)` in...

Ok, SP protects all its `int64` annotations with casts & unboxes. For modeling: what other classes have different meaning in typed & untyped code? (Or, where can we find a...

I agree with Leif, serializability would be a very useful default and seems unlikely to break things.

No, I don't have a need for this right now. But it would be useful the same way that serializing lists & hashes can be useful. If graphs were serializable,...

Number 1 (constructor function) sounds best to me too. I never ran into `matrix-graph`s, but I did have trouble with other macros. A constructor function was the best way to...

Looks good! I just converted my advent of code 2021 solutions for days 9, 12, and 15 to use `typed-graph`. Getting things to typecheck was easy after a few casts...

We could also re-word to give the `defthing`s a definition, e.g. #51 I agree `ref*` would be great for parts of Continue.