Language.Synthesis.Synthesis

Documentation

class Score a where

A score is anything that can be mapped to a double.

Methods

toScore :: a -> Double

Instances

Score Double

type Mutation a = a -> Distr a

synthesizeMhList :: (Score s, RandomGen gen) => Problem p s -> Rand gen [(p, s)]

Given a prior distribution, score function, mutation distribution, generate a list of (program, score) values through MH sampling.

runningBest :: Ord s => [(a, s)] -> [(a, s)]

Given (value, score) pairs, return a running list of the best pair so far.

data Problem p s

This type specifies which program to synthesize. It comes with a specification, which is a program that already works, some inputs and a distance function.

Constructors

Problem

Fields

score :: p -> s

prior :: Distr p

jump :: Mutation p