Conversation

Charlotte 🦝 therian

Linear types imply the existence of polynomial, exponential, and logarithmic types
1
0
5
@charlotte Are polynormial types not just fixed size arrays since a^3 = a * a * a or in more common notation (a, a, a) which might as well be a fixed size array.
1
0
1
@erk i guess fixed size arrays are polynomial types, but x³+2x²-x+5 is also a polynomial
2
0
0
@charlotte So there is a few questions now, does numbers exist in the algebra of types? If so what do they mean, and the same with negative values.

(note: I may be taking this joke a bit too far)
1
0
0
not quite misinfo
Show content

@charlotte @erk List is a rational type since List x = 1 + x + x² + ... = 1/(1-x)

0
1
0
@erk the numbers represent constant types
0
0
0