@GabrielFallen Отвечаю (не прочитал, конечно, но пролистал — не вижу смысла внимательно вчитываться в учебник с ещё одним диалектом лиспа). HTDP практически ничего не говорит про то, как отображать какую-то часть мира в программы. Он говорит только "вот у нас есть такие штучки, вы их можете использовать каким угодно образом". Т.е. предполагается, что читатель книги уже имеет какую-то модель в виде, совместимом с Racket, и ему нужно лишь научиться эту модель запрограммировать.

Единственное место, где хоть немного была связь с миром - это "бывает некое устройство в нескольких состояниях, вот так записывается FSM", да и то сразу же съехало на FSM внутри программ, а не мира.

Эту книгу более правильно называть "How to Write Programs", дизайном не пахнет.

> HTDP практически ничего не говорит про то, как отображать какую-то часть мира в программы

Видимо, нужно всё-таки было прочитать - там почти весь учебник про это. 😊
Один недостаток - он для совсем начинающих, поэтому слишком много пояснений и слишком простых.

Ну, например, хотя бы одну фразу?

Я внимательно пролистал.

Например, тут: https://htdp.org/2019-02-24/part_one.html#%28part._sec~3adesign-itemization%29

Это как бы именно то, про что спрашивал @ailevenchuk только в очень простеньком, "детском" виде. Как я это понимаю.

Опять же, как я понимаю, они там даже задают некоторую онтологию со своими atomic data - enumeration - itemization - compound data - self-referential data.

Авторы даже указывают на необходимость "деформализации" как это назвал @ailevenchuk - interpretation of data! 😃

Нет, это не годится. "Как запрограммировать алгоритм, описанный словами". Тривиально. Нужно такое: "В государстве существует система земельного налога, первые записи относятся к XIII веку, сохранились фрагментарно, но поиск по ним всё ещё требуется для судебной системы. Вот стеллаж с документами, начиная с первого земельного кодекса XVII века, в подвале архив. Требуется полностью избавиться от бумаги. Бюджет такой-то, сроки такие-то. Главные внешние и внутренние роли такие-то. Вот список их потребностей. Вперёд заниматься дизайном." Как и где типы в этом помогают, и где читать про это книги?

Я что-то недопонял, какую именно задачу Вы хотите решить? Создать дизайн чего? При чём тут программирование?

Дано: пример upper ontology на 201 тип, записанной в допотопном языке EXPRESS. Можно ли записать это на современном языке, и что после этого станет лучше?!

Вот это постановка моего вопроса.

Дизайн системы, решающей описанную задачу. Одной из важных частей будет компьютерная программа, поддерживающая документооборот. Как типы помогают или не помогают описывать домен?

А computational semantics при этом нужна? 😃

Давайте сперва с доменом разберёмся. Потому что я лично вообще не вижу, как система документооборота может помочь отсканировать или набрать кучку документов с полок (полностью избавиться от бумаги). 😃

Вот эти же 201 понятие на логическом языке в попытке уйти от Express к OWL. А тут что можно сделать с современными языками программирования?

Обратный вопрос: что надо знать среднестатистическому онтологу, чтобы поддерживать обсуждение в этом чате про зависимые типы?

Homotopy Type Theory? 😂

HTT  - это слишком круто для онтолога, я считаю