Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
We describe an implementation of LDTA 2011 Tool Challenge tasks in Objective Caml language. Instead of using some dedicated domain-specific tools we utilize typical functional programming machinery such as polymorphic functions, monads and combinators; in addition we extensively use an idiom of type-driven transformers, which can be considered as a form of datatype-generic programming. Our implementation provides a good example of utilization of Objective Caml specific features such as open and implicitly defined types. As a result we provide a highly modular implementation built up of separately compiled components combined in a type-safe manner.
Язык оригинала | английский |
---|---|
Страницы (с-по) | 57-73 |
Число страниц | 17 |
Журнал | Science of Computer Programming |
Том | 114 |
DOI | |
Состояние | Опубликовано - 15 дек 2015 |
ID: 76606821