2021/04/23/Relational-Programming-and-the-Kitchen-Sink

[utterances-bot]

Relational Programming and the Kitchen Sink

https://guitarvydas.github.io/2021/04/23/Relational-Programming-and-the-Kitchen-Sink.html

[RAbraham]

In my words, an Atom is the smallest indivisible sub-part of a system.

In my view, everything is a fractal, so I believe that Atoms can be further subdivided."

The two lines seem contradictory? the first line says atom is indivisible while the second line says it can be subdivided?

[RAbraham]

• Why not use TXL instead of Ohm? I ask because you mention

I argue that we need PEG with backtracking and tokenizing

TXL does backtracking(and tokenizing?) but does not use PEG?

• I'm guessing your GRASEM/GLUE tool does the tokenizing?
• What features does backtracking introduce? For the sake of discussion, taking the spirit of simplicity where each tool does one thing and does it well, would adding backtracking add additional complexity to parser/compiler technologies. Since backtracking is already part of Prolog/Kanren, should we do the backtracking there only?(edit: I realized this may not make sense in a parsing world, but still throwing it out there)

[RAbraham]

Could you explain

You can keep f(t) using parsers and PEG.

[guitarvydas]

I try to explain f(t) in yet another post https://guitarvydas.github.io/2021/04/28/Parsing-vs-FP-Pattern-Matching.html

[guitarvydas]

I discuss, a bit, TXL in https://guitarvydas.github.io/2021/04/28/TXL.html

[guitarvydas]

I discuss tokenizing in https://guitarvydas.github.io/2021/04/28/Tokenizing.html