So, if currying is constructing your functions such that (f a b c) curries to (((f a) b) c) and all those internal functions are just partials waiting for application, then absorption is the opposite end of that; given a fixed arity f/3, (f a b c d) would absorb to ((f a b c) d).
I have a theory about currying and absorption in the same language.
:seven:
npub1ld…epcqp
2026-05-11 00:11:32 UTC
in reply to nevent1q…7cyk
Author Public Key
npub1ldv5uxnaeunccxx86c3utfg7csdtv2k9e65x24xhp2wxj9t9zcdshepcqpPublished at
2026-05-11 00:11:32 UTCEvent JSON
{
"id": "ca697304a3e30e7107d9456c6bf758b84ba70a086851983a8305214d1da303ef",
"pubkey": "fb594e1a7dcf278c18c7d623c5a51ec41ab62ac5cea86554d70a9c691565161b",
"created_at": 1778458292,
"kind": 1,
"tags": [
[
"e",
"65b3c1af77cc93f2841848134450518696580814becd27df878361c53ea9b1f6",
"",
"root",
"fb594e1a7dcf278c18c7d623c5a51ec41ab62ac5cea86554d70a9c691565161b"
],
[
"p",
"f80e531ffb0e42963d9fda0e5b4ece776768e959d803669db87761241ffc7200"
],
[
"p",
"fb594e1a7dcf278c18c7d623c5a51ec41ab62ac5cea86554d70a9c691565161b"
],
[
"e",
"9535f7f457f9e4700079f9a166742815c6b2af47229562b99e9dfff6564bb2e7",
"",
"reply",
"f80e531ffb0e42963d9fda0e5b4ece776768e959d803669db87761241ffc7200"
],
[
"proxy",
"https://dsmc.space/objects/19601d98-c1f5-4cfb-adc1-f7b0e9595250",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://dsmc.space/objects/19601d98-c1f5-4cfb-adc1-f7b0e9595250",
"pink.momostr"
],
[
"-"
]
],
"content": "So, if currying is constructing your functions such that (f a b c) curries to (((f a) b) c) and all those internal functions are just partials waiting for application, then absorption is the opposite end of that; given a fixed arity f/3, (f a b c d) would absorb to ((f a b c) d).\r\n\r\nI have a theory about currying and absorption in the same language.",
"sig": "4803c3c5e30becaade926f3894568f4ccaa356d61d96be5446600c1b8d7f198702a74819f85d8c84040aba33729670f3b54454962673471c3f90ac74f92e2cc6"
}