Re: [racket-dev] Racket generics and generic collections

2015-05-04 Thread Alexis King
With regards to generics, I don’t think anyone is actively working on them. I was interested in potentially attempting them a while back, but I realized it was probably far too big of a project for me to try and research right now. I think the primary problem of consideration was ensuring sound

Re: [racket-dev] Racket generics and generic collections

2015-05-01 Thread Alexander D. Knauth
On May 1, 2015, at 1:08 PM, Benjamin Greenman wrote: > (On the same issue, how about racket/generator and racket/stream?) For racket/stream, there’s this, and while it works in the current snapshot, it doesn’t work in 6.1.1 or earlier versions: https://github.com/AlexKnauth/typed-racket-stream

Re: [racket-dev] Racket generics and generic collections

2015-03-19 Thread Matthias Felleisen
I think the key is to develop clients for both yours and Vincent's design. See what trade-offs you encounter. Write down the pros and cons. The designs of Clojure, Haskell, and Scala reflect their choices among these properties (presumably) plus the general programming philosophy (including it

[racket-dev] Racket generics and generic collections

2015-03-18 Thread Alexis King
I’ve recently made an attempt to implement a generic collection library for Racket using racket/generic. My implementation is a work in progress, but you can find it here: https://github.com/lexi-lambda/racket-alexis-collections Docume