RU

Логическое программирование в Scala. Теория

Здесь мы разберём ∙ элементы математической логики , связывающие её с языками программирования; ∙ ключевой аспект логического программирования — авт…

логическое программированиематематическая логикасеквенциальная логикапрологтеория типов
Habr
RU

Трилемма Святого Грааля типизации: почему нельзя всё сразу

Все мы знаем, что языки делятся на динамические и статические: Python или JS позволяют молниеносно прототипировать, но расплачиваться нестабильность…

теория типовтипизациясистема типовсвятой граальтипыgradual typingsoundnessno wrappersdeveloper friendlytimeweb_статьи