On 04/03/2014, Bobby Powers <bobbypow...@gmail.com> wrote: > Strake wrote: >> * Member selection is in some cases cumbersome, in which it would not >> be in C, which is related to ¬(variant types) > > Can you explain more what you mean?
I can't quite remember the particulars. My case was a λ-calculus interpreter, which had to switch on program structure, and I remember solely that it was cumbersome. Perhaps I wrote unidiomatic code, but I couldn't find the appropriate idiom if any such is.
