From 823357a00f93267ae139670f77f4e2ba753dfd33 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Miro=20Sp=C3=B6nemann?= Date: Wed, 27 Mar 2024 08:48:37 +0100 Subject: [PATCH] Remove "bleeding edge" notice (#221) Declared types are now a stable feature. --- hugo/content/docs/sematic-model.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/hugo/content/docs/sematic-model.md b/hugo/content/docs/sematic-model.md index d612157e..de480119 100644 --- a/hugo/content/docs/sematic-model.md +++ b/hugo/content/docs/sematic-model.md @@ -252,9 +252,8 @@ left_right --> left_right_{2} While this is a fairly trivial example, adding more layers of expression types in your grammar massively degrades the quality of your syntax tree as each layer will add another empty `right` property to the tree. Assigned actions alleviate this issue completely. ## Declared Types -It's important to keep in mind that while declared types can improve your grammars, they are a *bleeding edge feature and are still being developed*. -Because type inference takes into account every entity of a parser rule, even the smallest changes can update your inferred types. This can lead to unwanted changes in your semantic model and incorrect behavior of services that depend on it. To minimize the risk of introducing breaking changes when modifying the grammar, we have introduced *declared types* as a new feature. +Because type inference takes into account every entity of a parser rule, even the smallest changes can update your inferred types. This can lead to unwanted changes in your semantic model and incorrect behavior of services that depend on it. *Declared types* are a means to minimize the risk of introducing breaking changes when modifying the grammar. In most cases, especially for early language designs, letting the type inference take care of generating your types will be your best choice. As your language starts to mature, it may then be of interest to fix parts of your semantic model using declared types.