1

Тема: Семантизация ЯП

А пробовал ли кто-нибудь описать онтологию существующего языка программирования, разложить по полочкам все его возможности, весь его арсенал...

Например в JavaDoc, как и в любой другой документации, мы имеем физическую структуру классов и их описание, а существует ли материал в котором все(!) возможности языка группируются по их назначению, а не по их размещению. Такую работу обычно делают в книгах составляя содержание, но книги освещают лишь верхушку айсберга, а полных справочников я не встречал.
Конечно мы можем сами для себя все это обобщать "в уме", но все же...

Thumbs up +1 Thumbs down

2

Re: Семантизация ЯП

попробую заманить сюда Игоря Ануреева (ИСИ СО РАН), он, вроде, подобным озадачивался.

3

Re: Семантизация ЯП

Было бы здорово !

Thumbs up Thumbs down