3 ms·
If you're at the point where you think it's ready, you should consider posting your language to HN. Seems like it might interest people here. One note: it is i
by swift 12y ago
If you're at the point where you think it's ready, you should consider posting your language to HN. Seems like it might interest people here.
One note: it is indeed possible to create a list of "objects that implement Show" in Haskell, but it's a bit clunky. Look into existential types.
- thinkpad20 12y agoIt's not ready yet (among other things, it's currently type checked using Hindley-Milner, and I think I want to transition it to gradual typing), but it's getting there. I am hoping to post it to HN and get some feedback. I have a few other projects in the works, though, which might be in a finished form first... Existential types are kind of the same, but they require the declaration of extra types to use them (for example, the `Obj` type used in the example on the Haskell wiki entry on existential types), which is clunky as you say. But at first glance, they do seem to provide a similar degree of power.