lebleet
@lebleet.bsky.social
michael jordan
If you allow minor leaguers then you get Kyler Murray and Tim Tebow and who knows who else. Scott Patterson, for one.
January 9, 2026 at 12:15 PM
michael jordan
ohhh yes, I’ve encountered that and it’s very annoying. I think technically ocaml will let you write 'a. 'a -> 'a in signatures, but I don’t know if there’s ever a reason to
December 17, 2025 at 5:41 AM
ohhh yes, I’ve encountered that and it’s very annoying. I think technically ocaml will let you write 'a. 'a -> 'a in signatures, but I don’t know if there’s ever a reason to
when is the type syntax different in signatures vs implementations?
December 17, 2025 at 4:15 AM
when is the type syntax different in signatures vs implementations?
what’s an example of a practice most people don’t think is real but you do?
January 3, 2025 at 6:04 PM
what’s an example of a practice most people don’t think is real but you do?