Haskell implementation of Tractable and Practicable Inducers
Haskell commentary on the implementation of Tractable and Practicable Inducers/Haskell Implementation
Readers interested mainly in implementation should focus on the following sections of the paper: ‘Substrate structures’, ‘Shuffled history’, ‘Rolls’, ‘Computation time and representation space’, ‘Rolled alignment’, ‘Decomposition alignment’, ‘Computation of alignment’, ‘Tractable alignment-bounding’ and ‘Practicable alignment-bounding’.
The references to page numbers below are to the April 18 version (201803290540.PAP1) of the paper.
This page contains Haskell code that implements the inducers discussed in the Haskell commentary. The following text comes mainly from the ‘Practicable alignment-bounding’ section P633.
Note that some of the example code below relies on the Weather Forecast example of the Haskell commentary on the Overview. The Weather Forecast example is summarised at the beginning of Functional definition sets.