ThreadSky
About ThreadSky
Log In
bisimulation.bsky.social
•
10 days ago
Trees that overgrow
Comments
Log in
with your Bluesky account to leave a comment
[–]
welltypedwit.ch
•
10 days ago
you can keep the asymptotics down a little if you define
type AllExprStages :: (Type -> Constraint) -> k -> Constraint
type AllExprStages constraint stage = (constraint (XVar stage), constraint (XLit stage), ...)
and then use
deriving instance (AllExprStages Show stage) => Show (GExpr stage)
2
1
reply
[–]
bisimulation.bsky.social
•
10 days ago
Oh that's so smart
1
reply
Posting Rules
Be respectful to others
No spam or self-promotion
Stay on topic
Follow Bluesky's terms of service
×
Reply
Post Reply
Comments
type AllExprStages :: (Type -> Constraint) -> k -> Constraint
type AllExprStages constraint stage = (constraint (XVar stage), constraint (XLit stage), ...)
and then use
deriving instance (AllExprStages Show stage) => Show (GExpr stage)