Категории выражений, такие как lvalue и rvalue, относятся, скорее, к фундаментальным теоретическим понятиям языка C++, чем к практическим аспектам его использования. По этой причине многие даже опытные программисты достаточно смутно представляют себе, что они означают. В этой статье я…
160 сообщений о преступлениях различной категории тяжести рассмотрено в Махачкалинском СОТ Южного СУТ СК России в 2014 году. Как сообщили РИА «Дагестан» в ведомстве, по результатам их рассмотрения принято 157 процессуальных решений, из них возбуждено 63 уголовных дела. «В указанный период времени в производстве следователей находилось 115 уголовных дел различной категории тяжести, окончено производством 58 […]
Это вторая вводная часть обзора, посвящённого применению теории категорий в программировании. В первой части представлены некоторые основные определения теории, в том числе, hom-типы, их значения-морфизмы, а также их композиция, позволяющая строить пути вычислений в рамках одной категории. В данной же публикации мы рассмотрим, как пути вычислений можно прокладывать через разные категории. Фокус заключается в том, что...
Всем привет! Эта статья про реализацию одного конкретного DSL (domain specific language, предметно-ориентированный язык) для регулярных выражений средствами Kotlin, но при этом она вполне может дать общее представление, о том, как написать свой DSL на Kotlin и что обычно будет делать "под…