<< Back to previous view

[CTYP-93] Support refinement types Created: 08/Nov/13  Updated: 20/Jul/15  Resolved: 20/Jul/15

Status: Resolved
Project: core.typed
Component/s: Core type system
Affects Version/s: None
Fix Version/s: None

Type: Enhancement Priority: Minor
Reporter: Ambrose Bonnaire-Sergeant Assignee: Ambrose Bonnaire-Sergeant
Resolution: Declined Votes: 1
Labels: None


 Description   

Typed Racket's refinement types are useful. We should implement something similar.



 Comments   
Comment by Ambrose Bonnaire-Sergeant [ 20/Jul/15 11:17 PM ]

This really went nowhere - the issues with purity around refinement types are pretty odd (basically two invocations of a refined predicate must evaluate to the same value, ie. be pure functions, because they have the same object) and probably not something we want.

Looking to the future, perhaps we want upcoming newtype in Typed Racket.

Futher discussion:

Generated at Sun Aug 30 01:01:13 CDT 2015 using JIRA 4.4#649-r158309.