F* Type Refinements [OT]


#1

A deck of slides about F* (Fstar, https://github.com/FStarLang ) language, “F*: Dependent types effects and the future of functional programming”, byAhmad Salim Al-Sibahi:

F* is worth keeping an eye on. Type Refinements could be handy for Rust.