Tag Archives: fstar

Abs Puzzle

[This blog was moved here] if someone asked you to implement abs function (say, for ints), how would you do that? A simple experiment shows that almost everyone comes up with something like that, whether it's F#, C#, Scala or anything ...

Days and Ghost Refinements

[This blog was moved here] Let's look at the simple function, which calculates the number of days between dates, when there're 30 days in a month (and 360 in a year). Something like this F# code: 1: let days360 sy sm sd ...

F* Challenge or The Tale of Tails

[This blog was moved here] F* is a verification-oriented programming language developed at Microsoft Research. If you already know F#, or OCaml, or Haskell, or another language from ML family, you’ll find it familiar. Resources F* project home Rise4Fun – try it online/go ...