Even better: Dependent Types combined with Refinement Types. See F\* (F-star). | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		deterministic on July 14, 2022 \| parent \| context \| favorite \| on: Six programming languages I’d like to see Even better: Dependent Types combined with Refinement Types. See F* (F-star).

quickthrower2 on July 14, 2022 [–]

Refinement Types… thats the phrase I was looking for. Thanks!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact