Search results

FCP: Use top level annotation instead?

Status: Open.

#12 In tomprimozic/type-systems;

· thautwarm opened on Jan 20, 2020

How I can use the refined types pratically with other languages.

Status: Open.

#11 In tomprimozic/type-systems;

· Ayoya22 opened on Oct 29, 2019

How about recursive function?

Status: Open.

#8 In tomprimozic/type-systems;

· rhysd opened on Jun 19, 2017

Pi, or, Dependent Type (type checking only)

Status: Open.

#7 In tomprimozic/type-systems;

· be5invis opened on Dec 25, 2016

Existential quantification (or, Interfaces)

Status: Open.

#6 In tomprimozic/type-systems;

· be5invis opened on Dec 25, 2016

Bounded quantification (or, typeclasses)

Status: Open.

#5 In tomprimozic/type-systems;

· be5invis opened on Dec 25, 2016

System FC

Status: Open.

#3 In tomprimozic/type-systems;

· FrankBro opened on Jul 12, 2014

First class polymorphism + refined types?

Status: Open.

#2 In tomprimozic/type-systems;

· FrankBro opened on May 30, 2014