Пётр 9 gadi atpakaļ
vecāks
revīzija
266d6c59c6
1 mainītis faili ar 11 papildinājumiem un 0 dzēšanām
  1. 11 0
      _posts/2016-06-12-Типы-будут.md

+ 11 - 0
_posts/2016-06-12-Типы-будут.md

@@ -0,0 +1,11 @@
+---
+published: true
+layout: post
+---
+
+Долго пришлось думать насчёт системы типов, в итоге решил сделать шаг в бесконечность и хотя бы что-то реализовать.
+Получилось странно, сначала пришлось добавить ТИП как встроенный тип данных, затем добавить АТОМ как идентификатор-значение, затем расширить АТОМ до структурированного значения из идентификаторов и констант (тут пригодился язык разметки o.t. имени меня), и только потом я дошёл до этапа описания пользовательского типа. В итоге пользовательский тип данных это интерпретируемое в compile-time и run-time значение структурного атома.
+
+Дальше основная работа пойдёт уже внутри структурного описания, это будет работа над какой-то моделью знаний, например, онтологическими предикатами и способом их описания.
+
+Будем посмотреть.