core.typed

Support refinement types

Details

  • Type: Enhancement Enhancement
  • Status: Resolved Resolved
  • Priority: Minor Minor
  • Resolution: Declined
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: Core type system
  • Labels:
    None

Description

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

Activity

Hide
Ambrose Bonnaire-Sergeant added a comment -

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:

Show
Ambrose Bonnaire-Sergeant added a comment - 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:
Ambrose Bonnaire-Sergeant made changes -
Field Original Value New Value
Resolution Declined [ 2 ]
Status Open [ 1 ] Resolved [ 5 ]
Ambrose Bonnaire-Sergeant made changes -
Component/s Core type system [ 10006 ]
Fix Version/s 0.3.8 [ 10555 ]
Ambrose Bonnaire-Sergeant made changes -
Fix Version/s 0.3.8 [ 10555 ]

People

Vote (1)
Watch (1)

Dates

  • Created:
    Updated:
    Resolved: