Ad-hoc-полиморфизм и паттерн type class в C# +30
- RUVDS.com corporate blog
- Programming
- Functional Programming
- Блог компании RUVDS.com
- Программирование
- .NET
- C#
- Функциональное программирование
Публикации с хабом Functional Programming
Преимущества функционального программирования на примерах C# +6
Что такое формальная верификация +15
Python кодогенерация — ускоряем strftime / strptime +2
Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1
Применение формулы бинома для определения простых чисел +3
Оценка параметров системы дифференциальных уравнений по неточным наблюдениям +7
Разработка расширяемого алгоритма строкового калькулятора +4
- Algorithms
- Mathematics
- Functional Programming
- Алгоритмы
- Scala
- Математика
- Функциональное программирование
Больше классов богу классов +5
- Functional Programming
- Development of mobile applications
- Разработка мобильных приложений
- Dart
- Функциональное программирование
- Flutter
Implicits в Scala — неявные методы, функции, значения и особенности +19
- билайн corporate blog
- Programming
- Functional Programming
- Блог компании билайн
- Программирование
- Scala
- Функциональное программирование
