Výsledky vyhledávání - "Datatype Generic Programming"

A completely unique account of enumeration Autor van der Rest, Cas, Swierstra, Wouter

“…How can we enumerate the inhabitants of an algebraic datatype? This paper explores a datatype generic solution that works for all regular types and indexed…”
Získat plný text

Datatype-generic programming meets elaborator reflection Autor Ko, Hsiang-Shang, Chen, Liang-Ting, Lin, Tzu-Chi

“…Datatype-generic programming is natural and useful in dependently typed languages such as Agda. However, datatype-generic libraries in Agda are not reused as…”
Získat plný text

Combinators and type-driven transformers in Objective Caml Autor Boulytchev, Dmitry

“…We describe an implementation of LDTA 2011 Tool Challenge tasks in Objective Caml language. Instead of using some dedicated domain-specific tools we utilize…”
Získat plný text

Optimizing SYB traversals is easy Autor Adams, Michael D., Farmer, Andrew, Magalhães, José Pedro

“…The most widely used generic-programming system in the Haskell community, Scrap Your Boilerplate (SYB), also happens to be one of the slowest. Generic…”
Získat plný text