[nem-en] Expression problem, expressiveness of Nemerle generics

[Sandro Magi]

Users have raised "The Expression Problem" on the Nemerle forums a few
times now. Based on a recent paper [1], I've implemented a solution to
the expression problem in C# using generics for my general expression
library (GEXL). However, it's not completely type safe and less user
friendly due to limitations in C# generics [2].

Does Nemerle simply expose the underlying generics of .NET, or does it
augment them? In particular, overly-restrictive generic constraints are
the root of the problem I encountered with the C# implementation, and
I'm wondering whether a Nemerle implementation might be safer (at least
for Nemerle users).

Sandro

[1] http://lambda-the-ultimate.org/node/2232
[2] http://higherlogics.blogspot.com/2007/05/gexl-lives.html