Сам не знаю чего ищу...
Единственное что я знаю так это то что проебано куча времени и из-за этого угнетая себя сам же и торможу развитие...
Ты ищешь мудрого совета и он есть у меня:
Берешь в одну руку книгу "Type-Driven Development with Idris", во вторую курсы Брагилеского "теории категорий" (ссылки нагуглишь).
Задрачиваешь этот базис в течение полугода и твоя самооценка взлетит до уровня ivory tower.
Которую твоим коллегам никогда не осознать, ведь они все крудомакаками и байтослесари.