Ian Smith
@2over124.bsky.social
Security engineer working on program analysis research things, currently compositional symbolic execution, type inference and some other stuff.
Alright annoying Ocaml design thing I can't solve. A framework I'm dealing with has users define their own terms which compute a variety of sorts (represented as strings). I want to make a library generic over the representation of each sort and additionally fetch a CPO implementation for each
November 30, 2024 at 8:34 PM
Alright annoying Ocaml design thing I can't solve. A framework I'm dealing with has users define their own terms which compute a variety of sorts (represented as strings). I want to make a library generic over the representation of each sort and additionally fetch a CPO implementation for each