Adam Chalmers on Nostr: Does anyone have good links for getting started implementing a Hindley Milner type ...
Does anyone have good links for getting started implementing a Hindley Milner type system? Bonus points if it's not a 200 page PDF of a PhD dissertation, but it's OK if it is.
Published at
2024-09-20 13:39:18Event JSON
{
"id": "a245cabe38865d721a3a005cc75201484a74d5a2c484b6afc84f394a80c2cf32",
"pubkey": "42af28e5dbc8b026b164fb563e5dcd722cfff1409eba642ceebf3a43b6a8fcab",
"created_at": 1726839558,
"kind": 1,
"tags": [
[
"proxy",
"https://hachyderm.io/users/adam_chal/statuses/113170157287289058",
"activitypub"
]
],
"content": "Does anyone have good links for getting started implementing a Hindley Milner type system? Bonus points if it's not a 200 page PDF of a PhD dissertation, but it's OK if it is.",
"sig": "83ff67bbf459e57e03ee2e5489b7ad26832125f8902f4072dbd6564c25c6bc52aba9c9937665379223d95bbccfe0a9fcd01708fd789255ac0a74501417de7f90"
}