Is Amber extensible to implement Higher Kinded Type system?

[wpoosanguansit]

I read your blog and found it very interesting and educational. So I am just curious if can HKT be implemented in Amber. If yes, is there any plan to? I would love to learn how things like HKT is implemented from scratch like you have laid out in your blog on Lisp like system. Thanks.

[nineties]

Creating HKT for Amber itself is very difficult because of its homoiconicity.
I think some approximation and staging computation is necessary.
Of course you can implement other language which has HKT using Amber when the type system
has sound and complete algorithm.

I plan to implement a typed language as a library of Amber for writing next generation VM and it's nice if the language can have higher-order type system. I need survey.

[wpoosanguansit]

One vote from me. Please blog about your process, too. Would really love to learn about it. Thanks!

On Jun 12, 2015, at 6:39 PM, nineties notifications@github.com wrote:

Creating HKT for Amber itself is very difficult because of its homoiconicity.
I think some approximation and stating computation is necessary.
Of course you can implement other language which has HKT using Amber when the type system
has sound and complete algorithm.

I plan to implement a typed language as a library of Amber for writing next generation VM and it's nice if the language can have higher-order type system. I need survey.

—
Reply to this email directly or view it on GitHub.