# F\* Type Refinements \[OT\]

**URL:** <https://internals.rust-lang.org/t/f-type-refinements-ot/3426>\
**Category:** language design\
**Created:** [May 3, 2016, 9:18am UTC](https://internals.rust-lang.org/t/f-type-refinements-ot/3426 "2016-05-03T09:18:20Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![leonardo](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/leonardo/32/1344_2.png) [@leonardo](https://internals.rust-lang.org/u/leonardo)\
**Post date:** [May 3, 2016, 9:18am UTC](https://internals.rust-lang.org/t/f-type-refinements-ot/3426/1 "2016-05-03T09:18:20Z")

</div>

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

> **[Fstar%20Dependent%20types%20effects%20and%20the%20future%20of%20functional%20progr.pdf](https://files.meetup.com/10193032/Fstar%20Dependent%20types%20effects%20and%20the%20future%20of%20functional%20progr.pdf)**
>
> 3.89 MB

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

---

<div class="post-metadata">

**Author:** ![system](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/system/32/14092_2.png) [@system](https://internals.rust-lang.org/u/system)\
**Post date:** [March 25, 2019, 8:26am UTC](https://internals.rust-lang.org/t/f-type-refinements-ot/3426/2 "2019-03-25T08:26:07Z")

</div>

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