> There are builtin polytypic functions, but you can't define your own. This sounds like a first-release issue: getting type systems right in a way that allows

> There are builtin polytypic functions, but you can't define your own. This sounds like a first-release issue: getting type systems right in a way that allows you to grow your language is hard. > Gorountines are just a hack for storing a continuation in a closure in functional languages. No, I don't think this is fair. Firstly, controlling access to continuations makes sense, since they can be a world of woe. Second, continuations alone don't give you any parallelism: that CPS helps you understand the goroutines does not mean that the semantics of goroutines can be understood purely in terms of continuations. See Shivers, 1997, Continuations and threads: Expressing machine concurrency directly in advanced languages (postscript), http://www.ccis.neu.edu/home/shivers/papers/cps-threads.ps http://www.ccis.neu.edu/home/shivers/papers/cps-threads.ps