4 ms·
If it's not too late to change, might I suggest doing away with the 'let rec ... and ...' syntax? The way to group mutually recursive bindings can be determined
by piinbinary 8y ago
If it's not too late to change, might I suggest doing away with the 'let rec ... and ...' syntax? The way to group mutually recursive bindings can be determined by finding the strongly connected components of the graph of the references between functions, so users don't need to manually specify it.
- junke 8y agoBut then how do you shadow previous bindings? let f x = if (x == 0) then 0 else (f x)
- piinbinary 8y agoPotentially controversial opinion: shadowing bindings is a bad idea.
- zumu 8y agoI do like the explicitness of marking recursive functions with 'rec', however. What would the syntax look like if it was no longer required?