A language without recursion. It can only be implemented through folding (catamorphism) and unfolding (anamorphism). You can't define recursive type either. You have to use mu type.
I don't know what benefit such language would have. Though, it would be a good exercise to implement common function as algebra/co-algebra.
Layar Laut
npub16g…xqf2x
2026-02-08 13:53:28 UTC
in reply to nevent1q…97e5
Author Public Key
npub16gtwlrm494wym2af8a3ymtsxqwr2x9vmv87pf03t03nrgkmxah2qkxqf2xSeen on
wss://relay.momostr.pinkPublished at
2026-02-08 13:53:28 UTCEvent JSON
{
"id": "2d2283fd9c12c20900a6c7731a4022186b8b705c89578c2309f415d5ae7001d1",
"pubkey": "d216ef8f752d5c4daba93f624dae060386a3159b61fc14be2b7c66345b66edd4",
"created_at": 1770558808,
"kind": 1,
"tags": [
[
"e",
"37528e224145b7d3ae38f7145c7addbed676c5d24d182a324e665d609fe12584",
"",
"root",
"d216ef8f752d5c4daba93f624dae060386a3159b61fc14be2b7c66345b66edd4"
],
[
"p",
"d216ef8f752d5c4daba93f624dae060386a3159b61fc14be2b7c66345b66edd4"
],
[
"p",
"58cb72d0d70bc87f0d7da3f503a8f5faa430b178b52cb6a871b3437887d8cc80"
],
[
"proxy",
"https://misskey.id/notes/aihdb9fguw",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://misskey.id/notes/aihdb9fguw",
"pink.momostr"
],
[
"-"
]
],
"content": "A language without recursion. It can only be implemented through folding (catamorphism) and unfolding (anamorphism). You can't define recursive type either. You have to use mu type.\n\nI don't know what benefit such language would have. Though, it would be a good exercise to implement common function as algebra/co-algebra.",
"sig": "62cb75d52c93263d831aed6cb77f7c916db492ae3a667dd02989bdcb5774c7d01e861956c6d62e13aad254a16ed3891cb1fb7f22f6f1bfec1498160db3461440"
}