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

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: