I believe HN title convention is to remove the number of list items ex. this title should be just "Programming paradigms that will change how you think about coding".
Esoteric programming paradigms
11–20 of 149 posts
Re: Esoteric programming paradigms
#12I believe HN title convention is to remove the number of list items ex. this title should be just "Programming paradigms that will change how you think about coding".
You're right, and “... that will change how you think about coding” is clickbait. Luckily the article contains an adjective for that, which we've used in the title. Thanks!
Re: Esoteric programming paradigms
#13Would like to mention concept-oriented programming [1] which is work in progress but has highly ambitious goals of changing the way we think of programming. The initial idea is to make references active and customized elements of the program which can intercept all accesses to the represented objects. A new programming construct, called concept (hence the name of the approach), describes both behavior of references and behavior of objects. Objects exist in a hierarchy modeled by the concept hierarchy. IS-IN relation is used instead of the traditional IS-A. Also, concept-oriented programming distinguishes between incoming and outgoing methods, that is, every method has two versions: for external access and for internal access. More papers in [2].
[1] https://arxiv.org/abs/1501.00720 [2] https://www.researchgate.net/profile/Alexandr_Savinov
Disclaimer: I am the author of concept-oriented programming and data model
Re: Esoteric programming paradigms
#14Thought-provoking. The examples are all programming languages, but the paradigms themselves can apply on a smaller scale, i.e., for application features, as design patterns or inspiration.
The section on "symbolic programming" has me pondering still about potential implications. It makes me imagine something like a "visual" WYSIWYG editor, but a "conceptual" editor.. Looking forward to digging deeper via provided references.
Re: Esoteric programming paradigms
#15I'd recommend to everybody (but especially those involved in either embedded systems or a lot of concurrent state) to try out HSM / state chart programming (note: this has basically nothing to do with "flat" FSMs). It's as close to a silver bullet as you'll ever get for these kinds of systems. Stateflow or QP/QM, all other systems suck.
Is it useful in writing drivers ? or mostly for application code ? And what are the drawbacks? Why aren't everybody using it?
It's used heavily in application code for automotive ECUs. It has code generators that generate output with a really, really, small footprint and zero runtime overhead; due to optimization at very high levels, this is on the level of really good LTO optimization.
Drawbacks: it's very un-agile; you really have to think the system through completely. (The magic being that if you do this, it is very likely correct by design.) It's not really feasible to specify a part of the system now and leave other parts open for later refinement. The other drawback being that no good non-commercial options exist.
Re: Esoteric programming paradigms
#16Will Eve ever take off? I like the thoughts behind it. https://youtu.be/VZQoAKJPbh8 very good talk about the background of eve. When he finally talks about eve you might want to switch to a more recent talk about it.
I believe that Aurora (covered in the article) was some kind of pre-cursor to Eve, by the same Chris Granger.
Re: Esoteric programming paradigms
#17Isn't Lua supposed to be an example of a concatenative language?
Do you mean Tcl?
Re: Esoteric programming paradigms
#18Would like to mention concept-oriented programming [1] which is work in progress but has highly ambitious goals of changing the way we think of programming. The initial idea is to make references active and customized elements of the program which can intercept all accesses to the represented objects. A new programming construct, called concept (hence the name of the approach), describes both behavior of references a…
How does your research interact with object-capability models of computation, as in the E programming language?
Re: Esoteric programming paradigms
#19Wait. What exactly is esoteric about these paradigms? All the books I've read simply call them regular paradigms.
Re: Esoteric programming paradigms
#20On concatenative languages, I would like to add Piet[1] as a contender. Plus Piet program could look like 8-bit art (to me).