.15926L

[ailev]

Набор тезисов, которые я как-то понял по итогам обсуждений с vvagr, algebraic_brain, justy_tylor (начало этого обсуждения, как я помню, заложил avlasov, который подкинул "понимание ISO 15926, как типов" в наших питерских беседах несколько месяцев назад -- но тогда я сам вообще ничего не понял про описываемые ниже механизмы, хотя "дух высказывания" про "модель данных -- это типы в языке

Comments

[ailev]

А вот захочется ли вам писать программу редактора, да и программу сервера на логическом языке?! Я думаю, вам захочется писать ее на каком-нибудь мультипарадигмальном языке, типа Питона. И уже из него обращаться к базе данных, которую вам очень захочется видеть не как FOL. Весь смысл моего постинга -- это уйти от FOL!