José A. Alonso on Nostr: Type-inference in Haskell, kinds and explicit foralls. ~ René Thiemann. ...
Published at
2024-11-17 11:19:27Event JSON
{
"id": "2a5b2261f558b7c29453261be1888e7268711009a22090219aedac994eb159ac",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731842367,
"kind": 1,
"tags": [
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113498021381265019",
"activitypub"
]
],
"content": "Type-inference in Haskell, kinds and explicit foralls. ~ René Thiemann. http://cl-informatik.uibk.ac.at/teaching/ws24/afp/slides/03x1.pdf #Haskell #FunctionalProgramming",
"sig": "53a28fc07dd70a22dab2546ae988013c75e92156663fe658bdbe714da577af50053bd169f90e19428b31722dacb63be3cd0092cc15183531dae1e324b1382f41"
}
