Hacker News 50 on Nostr: Adding row polymorphism to Damas-Hindley-Milner Link: ...
Published at
2024-10-23 07:40:06Event JSON
{
"id": "71317f3b9fa17b46f5adb9f2e5a26c2fecdf78119cd44e25fd2264daf3856ee1",
"pubkey": "c054332e25ef1ca0feebcd580622613bed81fec31e41f52f27a644c993cd67ae",
"created_at": 1729669206,
"kind": 1,
"tags": [
[
"proxy",
"https://social.lansky.name/users/hn50/statuses/113355601115387466",
"activitypub"
]
],
"content": "Adding row polymorphism to Damas-Hindley-Milner\n\nLink: https://bernsteinbear.com/blog/row-poly/\nDiscussion: https://news.ycombinator.com/item?id=41922081",
"sig": "911cf82bf9aac57c710b589d76d65cea013cf7e922d7a4e774f1bb57eb5f865c77285f9e930b6ecf6a6974566d97ab9211e19ee7afe2451f5e880def9b7bf1f3"
}
