i think the combinator based approach to building standard notions of structure is like. *the coolest thing*
it's like, what if we took parser combinators but applied that to making mathematical objects
Conversation
Replying to
I think this what is kind of pushing for? twitter.com/jjcarett2/stat For example: arxiv.org/abs/1812.08079
Quote Tweet
Replying to @brendanzab and @PTOOP
type classes (and module types and traits) are all variants of interfaces along with extra rules for conformance and/or resolution. The first step is to revisit interfaces and how to build & compose them. In fact, interfaces should be first class, but they aren't (yet).
(sorry if you are already aware of this stuff, heh)
1
1
This is indeed an avenue that I've been exploring. I guess I'm "pushing for" it because the difference in what you have to say, as a human, is so much briefer for the same final content, it seems weird to want to say the long thing. But then Java, so meh.
1
2
Show replies