Commit: 9d8882fe02d41d135048ea7fda74ae663512296f - CCastle2 (hg)

Castle: The best Real-Time/Embedded/HighTech language EVER. Attempt 2

Commit MetaInfo

• Revision: 9d8882fe02d41d135048ea7fda74ae663512296f (tree)
• Time: 2022-01-22 23:32:41
• Author: Albert Mietus < albert AT mietus DOT nl >
• Commiter: Albert Mietus < albert AT mietus DOT nl >

Log Message

Stored Ideas/TypeHintedPEG/

Change Summary

• add: Ideas/TypeHintedPEG/readme.rst

Incremental Difference

diff -r 96cdb355f5dc -r 9d8882fe02d4 Ideas/TypeHintedPEG/readme.rst
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Ideas/TypeHintedPEG/readme.rst	Sat Jan 22 15:32:41 2022 +0100
@@ -0,0 +1,40 @@
+.. (C) ALbert Mietus, 2022, Part of CCastel(2).
+
+Type-Hinted PEGs (or other grammar)
+===================================
+
+The transitional (PEG-)syntax is like:
+
+.. code-block:: peg
+
+   single_expr	<-  ( rule_crossref
+                    | term
+                    | group
+                    | predicate
+                    ) ( '?' | '*' | '+' | '#' )? ;
+
+The question is: *“Can we use *TypeHits* (similar as in python)”*?
+
+Surely, that is possible. Then we get something like below, where (only) the result//lhs has a type hint
+
+.. code-block:: peg
+
+   single_expr:SingleExpr <-  ( rule_crossref
+                              | term
+                              | group
+                              | predicate
+                              ) ( '?' | '*' | '+' | '#' )? ;
+
+Or even
+.. code-block:: peg
+
+   single_expr	<-  ( rule_crossref : ID
+                    | term:Term
+                    | group: Sequence
+                    | predicate:Predicate
+                    ) ( '?' | '*' | '+' | '#' )? ;
+
+The idea is to make it more readable, but also *TypeHints* may be useful for
+* ?*Vistors*?
+* Type Checking
+* to be discovered