Comment Comment by cm3 1 and 2 go hand in hand in recursive functions, but 1 is useful without.Say you have a function that should will tell you a file extension is likely to be that of a text file: isTxt("txt") -> true; isTxt("org") -> true; isTxt(_) -> false. With a more comfortable syntax, this can be expressed more concisely, but I just wanted to show that this isn't only useful for recursive functions.If Rust is planned to get HKT, then I don't see why I cannot get pattern matching in function heads when there's also guards as found in ML languages. parent cm3 10 years ago
Say you have a function that should will tell you a file extension is likely to be that of a text file:
With a more comfortable syntax, this can be expressed more concisely, but I just wanted to show that this isn't only useful for recursive functions.If Rust is planned to get HKT, then I don't see why I cannot get pattern matching in function heads when there's also guards as found in ML languages.