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.
This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.