Публикации с хабом Функциональное программирование
Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 3. Ошибки -4
Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 2. «Распрямляем» код -3
Бестолковые тесты versus качественное ПО. Часть 2. Что делать? 1. Определяемся с качеством -2
Бестолковые тесты versus качественное ПО. Часть 1. Бестолковые тесты +1
Преимущества функционального программирования на примерах C# +6
Что такое формальная верификация +15
Python кодогенерация — ускоряем strftime / strptime +2
Парсер комбинаторы на Python +2
Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1
COQ: верификация функций, содержащих fold_left +7
Формальная верификация кода на Coq: тактики +4
Применение формулы бинома для определения простых чисел +3
Оценка параметров системы дифференциальных уравнений по неточным наблюдениям +7
Разработка расширяемого алгоритма строкового калькулятора +4
- Algorithms
- Mathematics
- Functional Programming
- Алгоритмы
- Scala
- Математика
- Функциональное программирование
