~badt/leet

Re: How is this not vapowave?

Details
Message ID
<CA+g-_mpF0UhmAeCKhfBoTDLCxmrgsQbTaLhTxw0Ev2pjRVDs-A@mail.gmail.com>
DKIM signature
missing
Download raw message
> Point about hierarchies and you position about it.
> OOP was instroduced to solve complexity problem over hiding it under abstractions layers, this descisions was applied because considering that people thinking in same manner.

> If you reject this considerations, than you need to introduce another mechanism of managing complexity.
> (I agree with old-school's position that peoples thinking in terms of sets hierarchies and simply moving up and down over it)

The concept of modality aims at solving this problem.

Modality is just a set of constraints bound to a particular
proposition (function). They can decide whether to transfer the
execution to the main proposition or reject it [1]. Moreover, they can
not only restrict but also add some tiny layer of behaviour, thus
alleviating the need for decorators (OOP) or monads (FP). You can see
from the link that they do it in a more natural way, without type
acrobatics, which means that in future, we can train Logos to
comprehend natural languages with more ease.

Also, please format your e-mails properly (72 columns wrap, plain text) [2].

Let's see what Badt will say about the rest of your questions.

[1] https://lists.sr.ht/~badt/leet/%3C264EDF4D-D9A6-4036-B22F-20CCAF9626CE%40aletheia.icu%3E
[2] https://man.sr.ht/lists.sr.ht/etiquette.md
Reply to thread Export thread (mbox)