I'm building an expression tree using discriminated unions. The below code: type IntExpression = | TrueIsOne of BoolExpression type BoolExpression = | LessThan of IntExpression * IntExpression ...

These languages do not support mutually recursive functions optimization 'natively', so I guess it must be trampoline or.. heh.. rewriting as a loop) Do I miss something? UPDATE: It seems that I d...

I stumbled across this problem in F#. Suppose, I want to declare two types that reference each other: type firstType = | T1 of secondType //................ type secondType = | T1 of firstTy...

I've been through my books, and I've googled until I've ran out of search terms, yet I still can't find an example or answer to this problem: The following code does not compile because the type E...