Uniqueness for Behavioural Types · KC Sivaramakrishnan

Ecosystem
, , ,
1
7 Likes
2

Link has changed to Uniqueness for Behavioural Types · KC Sivaramakrishnan ( https://kcsrk.info/ocaml/modes/oxcaml/2025/05/29/uniqueness_and_behavioural_types/ ) - maybe unintentionally @kayceesrk ?

3

Interesting read. I’m wondering what happens if one doesn’t use Obj.magic_at_unique? Also, I wouldn’t like needing to depend on that function in practice… Hopefully there will be some alternative

4

Updated the link. Thanks!

I’ll also collect this followup :slight_smile:

5

Unintentional, yes. Updated the tags and the URL has changed :-/