« first day (530 days earlier)      last day (30 days later) » 

New Posts
New Posts
07:14
0
Q: How do you model a class with properties and methods in type theory (Con, ADT, etc.)?

Lance PollardI have this table, which I compiled from Kind lang using Claude AI: academic explanation Nul empty/null value Var/Ref variable/reference Hol placeholder/unknown Lam lambda/function App function application Con constructor Mat/Swi pattern matching/switching Let variable bindin...

functional-programming type-theory modeling
 
8 hours later…
Ginger
Ginger
15:37
← 1 message moved from The Garbage Collector
 
2 hours later…
Ginger
Ginger
17:16
→ 1 message moved to The Garbage Collector
← 1 message moved from The Garbage Collector

« first day (530 days earlier)      last day (30 days later) »