|
Hidden kind annotations in type signatures
|
|
6
|
432
|
May 21, 2025
|
|
Is there a way to write Constraint aliases?
|
|
1
|
448
|
December 16, 2024
|
|
TAPL in PureScript
|
|
0
|
810
|
May 26, 2024
|
|
Record with multiple Cons
|
|
3
|
1147
|
August 19, 2023
|
|
Confusion about the order of constraints and type variables in a signature (aka. `forall a. a -> Eq a => a` is valid)
|
|
2
|
751
|
December 9, 2022
|
|
Type system showdown - Purescript and Typescript
|
|
4
|
4038
|
February 4, 2021
|
|
Why is it useful to have both types and kinds?
|
|
2
|
1183
|
October 1, 2021
|
|
Multi parameter instances that reuse the same type variable
|
|
5
|
1464
|
March 17, 2021
|
|
What is a role?
|
|
2
|
1909
|
February 10, 2021
|
|
Experience with polykinds
|
|
5
|
2093
|
March 30, 2020
|
|
Allow defining named records
|
|
43
|
6790
|
January 29, 2020
|
|
Bidirectional dependencies and Type Equality
|
|
4
|
1248
|
August 20, 2019
|
|
Intersection of row types
|
|
9
|
3340
|
April 18, 2019
|