- мысль пришла в процессе чтения учебника интеллект-стек
- хочется чтобы машинка типов работала
- чтобы результаты рассуждений были правильнее и надежнее, а проблемы находились быстрее
- можно ли составить какой-то список упражениий - тренажер для тренировки?
- например:
- Лидер это роль. Какая роль у лидера? - высказывание
- Есть ли тут проблемы/нет? Онтологический дребезг присутствует/нет?
- Пишем объяснение. А потом правильный ответ. Что конкретно здесь неправильно
- второй пример
- цена - это часть автомобиля
- например:
- это вообще имеет смысл? Кто-то таким занимался?
- кажется что смысл не особо имеет т.к. такой тренажер можно сделать по тем областям которые знакомы человеку
- ибо если ты не знаком с областью то это все равно как делать упражнения на формальную логику
- это тоже полезно, но в реально жизни никто тебе не будет столько необходимого контекста притаскивать
- есть подозрение, что это просто превратится в справочник типов/отношений по отраслям
- с другой стороны может это имеет смысл? Может это можно использовать как введение в область для новых людей или самопроверку существующих?
- вот пришел к нам новый сотрудник и начинает погружаться в предметную область
- почитал документацию
- на тебе после этого тренажер с различными ситуациями и ошибками на типы и отношения
- а зачем это все надо? Почему не учиться на рабочих проектах?
- конечно лучше учиться на рабочих проектах, но в работе у меня все быстро происходит и притормозиться не всегда получается
- (а после подобного тренажера мозг будет чуть больше готов к замечанию типов)::гипотеза
Что думаете?