Conversation

ocaml and racket are both very cool for very different reasons.

modular implicits would be so cool. i don’t really know how you would do that in a way that doesn’t have massive compromises, which makes these papers much more interesting to read i guess.

Brendan Zabarauskas

@brendanzab

Replying to

@jkachmar

Really interested to see more work on this! I agree that they seem really cool, but difficult to pull off!

4:31 AM · Feb 22, 2022Twitter Web App