Refinement Types: A Tutorial · HackerPapers discussions

Refinement Types: A Tutorial — mentioned by potsandpans

Thu, 04 Jan 2024 23:03:36 GMT

If I'm understanding correctly, refinement types[1] solve this by allowing you to constrain a type into a smaller set of values. Think set notation: ``` type Temperature<min: number, max: number> = { x: number | x >= min && x <= max } ``` [1] - https://arxiv.org/pdf/2010.07763.pdf

Paper and discussion history. A mention is not an endorsement.

Refinement Types: A Tutorial — HN submission

Fri, 16 Oct 2020 22:55:03 GMT

Refinement Types: A Tutorial

3 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Refinement Types: A Tutorial — HN submission

Fri, 16 Oct 2020 12:29:06 GMT

Refinement Types: A Tutorial

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.