julesh on Nostr: In the last week Idris has finally clicked for me. What I've concluded is that even ...
In the last week Idris has finally clicked for me. What I've concluded is that even though it looks like a functional programming language, the act of writing Idris really doesn't feel like functional programming to me. I'd call it something like "algebraic datatype oriented programming"
Published at
2024-08-15 13:43:02Event JSON
{
"id": "1d774c4722d36b4877c14776d1b8157cec68444c3d32d3d217f02bae4effa86d",
"pubkey": "d2bac57e502c36f3456f190627f30396bbe7df233bf7edbfe35990f3e85cf447",
"created_at": 1723729382,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/julesh/statuses/112966328813526592",
"activitypub"
]
],
"content": "In the last week Idris has finally clicked for me. What I've concluded is that even though it looks like a functional programming language, the act of writing Idris really doesn't feel like functional programming to me. I'd call it something like \"algebraic datatype oriented programming\"",
"sig": "db2f3eb31179dd46ff935c38b49836563fbb002830b58bd10155ef556b43819a7142799dbe9a3402001b842f5cf60aafd91c948b0ae425475a0a44ce36410149"
}
