No :(. This is one of the most unfortunate limitations of F# at the moment (in my opinion). See the Solving Subtype Constraints section of the spec, which states that New constraints of the form type :> ‘b are solved again as type=”b. This is really a shame since otherwise we could work around F#”s … Read more
Perl style regex matching let (=~) input pattern = System.Text.RegularExpressions.Regex.IsMatch(input, pattern) It lets you match text using let test = “monkey” =~ “monk.+” notation.
‘let rec… and…’ is the syntax you seek. let rec F() = G() and G() = F() See also Adventures in F# Co-Recursion.
EDIT Better/recent info is here: Keeping partially applied function generic (original below) I think a pragmatic thing here is not to try to understand this too deeply, but rather to know a couple general strategies to get past the VR and move on with your work. It’s a bit of a ‘cop out’ answer, but … Read more
3. type Line = {a:double; b:double} let LinesIntersection x y = if x.a <> y.a then Some ((x.b – y.b)/(y.a – x.a), (y.a*x.b – x.a*y.b)/(y.a – x.a)) else None let l1 = {a = 2.0; b = -3.0} let l2 = {a = -3.0; b = 2.0} let l3 = {a = 2.0; b = … Read more