Публикации с хабом Функциональное программирование
Python кодогенерация — ускоряем strftime / strptime +2
Парсер комбинаторы на Python +2
Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1
COQ: верификация функций, содержащих fold_left +7
Формальная верификация кода на Coq: тактики +4
Применение формулы бинома для определения простых чисел +3
Оценка параметров системы дифференциальных уравнений по неточным наблюдениям +7
Разработка расширяемого алгоритма строкового калькулятора +4
- Algorithms
- Mathematics
- Functional Programming
- Алгоритмы
- Scala
- Математика
- Функциональное программирование
Больше классов богу классов +5
- Functional Programming
- Development of mobile applications
- Разработка мобильных приложений
- Dart
- Функциональное программирование
- Flutter
Как я писал свой распределенный мессенджер на Scala/fs2 и немного lock-free. Часть 1: Архитектура и бизнес-логика +12
Implicits в Scala — неявные методы, функции, значения и особенности +19
- билайн corporate blog
- Programming
- Functional Programming
- Блог компании билайн
- Программирование
- Scala
- Функциональное программирование
Что делать, если человечество не сможет создать искуственный интеллект никогда? +15
