F* Type Refinements [OT]


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.

closed #2

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.