issues
search
kongware
/
ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
MIT License
44
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix minor typos
#22
kyusu
closed
6 years ago
1
Implicit rank-2 types doesn't work with function types
#21
ivenmarquardt
closed
6 years ago
1
Bug in unification process of homogeneous arrays
#20
ivenmarquardt
closed
6 years ago
2
Account for covariance in rank-1 types
#19
ivenmarquardt
closed
6 years ago
1
Uninhabited function types must be rejected
#18
ivenmarquardt
closed
6 years ago
3
Applying Reader to id results in a stack overflow
#17
ivenmarquardt
closed
6 years ago
1
Type and data constructors of multi data constructor ADTs don't have type signatures
#16
ivenmarquardt
closed
6 years ago
1
Invalid unification with Reader type
#15
ivenmarquardt
closed
6 years ago
3
Single data constructor ADTs shouldn't be encoded in CPS
#14
ivenmarquardt
closed
6 years ago
1
Reject all impredicative types
#13
ivenmarquardt
closed
6 years ago
2
Missing Subsumption Rule
#12
ivenmarquardt
closed
6 years ago
1
Scott encoded `Reader` is ill-typed
#11
ivenmarquardt
closed
6 years ago
1
ADTs are a complete mess
#10
ivenmarquardt
closed
6 years ago
2
ADT unification is broken for Type and Adt constrcutor
#9
ivenmarquardt
closed
6 years ago
2
include sanctuary-def comparison in readme
#8
davidchambers
opened
6 years ago
6
Tuple with additional fields that are not covered by its type do not throw an error
#7
ivenmarquardt
closed
6 years ago
1
Incorporate single data constructor ADTs
#6
ivenmarquardt
closed
6 years ago
1
Allow pseudo multi-argument functions that are completely transparent to the parser
#5
ivenmarquardt
closed
6 years ago
1
Occurs check seems broken
#4
ivenmarquardt
closed
6 years ago
1
Scott encoded algebraic data types are broken
#3
ivenmarquardt
closed
6 years ago
1
Type error with complex combinators
#2
ivenmarquardt
closed
6 years ago
1
Wrong type error underlining in case of argument type errors
#1
ivenmarquardt
closed
7 years ago
0