Scala: структура данных в пространстве типов — множество
Система типов Scala 3 позволяет конструировать вторичные структуры данных в пространстве типов. Ярким примером таких структур может выступать HList, впоследс...
Праймтолк
Свежие записи
Применение алгебраических типов данных для моделирования ошибок и сообщений в журнале
В функциональном программировании широко используются так называемые алгебраические типы данных. Такие данные формируются из более простых типов с использова...
Квитанции как способ отражения сделанной работы на уровне типов
Функциональное программирование одной из целей ставит отражение логики программы в типах входных/выходных значений функций. Типы аргументов и результатов нак...
Миссия компании Праймтолк
Наша миссия заключается в трансформации индустрии разработки программного обеспечения в направлении совершенствования создаваемых программ. Мы верим, что про...