Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> how do I make higher-kinded types

In Nelua you can create new specialized types using compile time parameters, they are called "generics", you can use this for example to create a specialized vector type.

> and typeclasses there?

Yes, but with some metaprogramming. In Nelua you can create a "concept", that is just a compile time function called to check whether a type matches the concept.



Is there a monoid example implemented in Nelua?




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: