2,382 followers
@modernserf They’re formally equivalent, but obviously ergonomics differ https://t.co/oFA7ZF5Gbb https://t.co/TBGRWRD00k
@modernserf They’re formally equivalent, but obviously ergonomics differ https://t.co/oFA7ZF5Gbb https://t.co/TBGRWRD00k
@fried_brice @Blaisorblade @glaebhoerl @ttuegel In theory, probably not much: https://t.co/2JeccJjlkU However, a typeclasses-as-modules approach won't be as practical and ergonomic as having ML modules as a primitive concept in many cases, although what q