Refinement Types and Dependent Functions Stable in Racket 6.11 | Hacker News

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

		Refinement Types and Dependent Functions Stable in Racket 6.11 (infoq.com)
		2 points by AriaMinaei on Nov 15, 2017 \| hide \| past \| favorite \| 1 comment

brudgers on Nov 15, 2017 [–]

The full original article, https://blog.racket-lang.org/2017/11/adding-refinement-types...

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact