It’s going to be tricky to recover indices (necessary for error reporting), but hot damn is it going to be good.
Conversation
why do we have to implement printable rob
can't we just write a script
intellij, man
1
Why should we even have to do that much?
Did you know that dependent types give you metaprogramming?
1
I mean that’s sort of implied
1
I propose processing procedures producing programmatic pretty-printer/parser Prisms.
1
1
Oh. I thought you were talking about implementing Printable just in general, like in typical usage.
1
Oh, I was. Because when I’m not alliterating I have to do a lot of shit work to placate computers.
1
1
2
rather than doing all this stuff the lang doesn't love doing, only to end up with exotic code, we could gen easy code and move on 😕
2
1
2
2
Replying to
i'd rather read/debug a description implementation that was just string interpolation, you know? :/
Replying to
I’ve been using recursion schemes to recover some lost sanity there. Resulting function is first order, nonrecursive.
1
just glues strings together and you don’t need to worry about whether it’s description or debugDescription or anything.