Haskell implementation of Tractable and Practicable Inducers

Haskell commentary on the implementation of Tractable and Practicable Inducers/Haskell Implementation

Introduction

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.

The code in this Haskell commentary can be executed by copying and pasting the code into a Haskell interpreter running the implementation in Alignment repository. See the Introduction in Notation.