Functional Pearl: Implicit Configurations —or, Type Classes Reflect the Values of Types , by Oleg Kiselyov and Chung-chieh Shan:
The configurations problem is to propagate run-time preferences throughout a program, allowing multiple concurrent configuration sets to coexist safely under statically guaranteed separation.
This problem is common in all software systems, but particularly acute in Haskell, where currently the most popular solution relies on unsafe operations and compiler pragmas.
We solve the configurations problem in Haskell using only...
Beyond pure Prolog: Power and danger
One of the sections of Oleg Kiselyov's Prolog and Logic Programming page, on Beyond pure Prolog: power and danger, points out (i) term introspection (in the guise of the var/1 predicate) can...
Data Representation Synthesis
I was just lucky enough to see Peter Hawkins present a particularly compelling synthesis language: data structure synthesis: We consider the problem of specifying combinations of data...
Semi-implicit batched remote code execution as staging
Oleg Kiselyov has just posted another amazing work: Semi-implicit batched remote code execution as staging. Batching several remote-procedure or remote-object operations into one request...
Post new comment