3 Oct
2018
3 Oct
'18
8:21 a.m.
On Tue, Oct 02, 2018 at 05:04:42PM +0000, PICCA Frederic-Emmanuel wrote:
I believe you can do this with GADTs [1]
I can create different constructors for the different types. but how can I create a function which return different type ?
Mhhh I tried to come up with an example (GADTs, ExistentialQuantification, etc.) and failed... This is an interesting problem and one that could interest many people; please post your question on -cafe too (with a minimal .hs, it always helps); I am curious on how they will approach the problem -F