Type Driven Development на практике

[vzvzvz]

Начали с упоминания малоизвестного языка. Потом сразу сменили тему.

Только ли код вам LLM генерили?

[Dhwtj]

Вы хотите примеры на Idriss? зачем?

Книга про Idriss, но я пытаюсь понять как это применить на практике с максимальной пользой

На C# решение рабочее - см репо

На Rust типы в статье, есть черновик кода - он вам нужен?

На Python просто посмотреть не проще ли без типов. Проще. Но хуже.

[vzvzvz]

Я не имел в виду всё, что вы тут придумали.

[vlad4kr7]

TDD

всегда было Test-driven development 

[Dhwtj]

Исправил

Методики взаимно дополняют друг друга: где TypeDD не может доказать, там TDD может проверить

[Dhwtj]

Методика хорошая, позволяет оперировать сложной логикой.

И дело не в том, что я не умею работать на типизированных ЯП. Видимо, дело в traits rust.

Будет продолжение статьи.