Functional teaching language for use in a discrete mathematics course
Branch: master
Clone or download
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
docs add a map prim Feb 21, 2019
error-examples example with some failing properties Aug 2, 2017
example add a map prim Feb 21, 2019
explore bi-poly-sub: more REPL history Jun 30, 2018
lib add a map prim Feb 21, 2019
notes stop accepting type of prims in checking mode Feb 21, 2019
nsf
ott start working on master formalization of disco language May 30, 2018
pubs finish typing up text of OBT talk Jan 21, 2018
reference
repl update to LTS-13.4 and GHC-8.6 Jan 21, 2019
src/Disco add primitive map for bags and sets Feb 21, 2019
test add primitive map for bags and sets Feb 21, 2019
.gitignore
.travis.yml update travis to just build with stack Jul 9, 2018
.travis.yml.old update travis to just build with stack Jul 9, 2018
LICENSE update license & copyright info Aug 24, 2018
README.md clarify README [ci skip] Apr 26, 2018
Setup.hs travis: reset Setup.hs to simple, manually set path to include disco Apr 16, 2018
add-test-files.hs update disco.cabal to contain extra test files explicitly Apr 16, 2018
build make build script continually run tests instead of just building Aug 14, 2017
disco.cabal a bunch of refactoring Feb 14, 2019
stack.yaml update to LTS-13.4 and GHC-8.6 Jan 21, 2019

README.md

Build Status

Prototype implementation of a small functional teaching language for use in a discrete mathematics course.

Design principles:

  • Includes those features, and only those features, useful in the context of a discrete math course. This is not intended to be a general-purpose language.
  • Syntax is as close to standard mathematical practice as possible, to make it easier for mathematicians to pick up, and to reduce as much as possible the incongruity between the language and the mathematics being explored and modeled.
  • Tooling, error messages, etc. are very important---the language needs to be accessible to undergrads with no prior programming experience. (However, this principle is, as of yet, only that---there is no tooling or nice error messages to speak of.)

Feel free to look around, ask questions, etc. You can even contribute some code if you like---collaborators are most welcome. However, note that no guarantees are made about anything in particular at the moment.

Documentation

Documentation (such as it is) is hosted on readthedocs.io.

Building

First, make sure you have the stack tool. Then open a command prompt, navigate to the root directory of this repository, and execute

stack build

After this completes, you should be able to

stack exec disco

to run the Disco command-line REPL.

While developing, you may want to use a command like

stack build --fast --file-watch --ghc-options='-Wall'

which will turn on warnings, turn off optimizations for a faster edit-compile-test cycle, and automatically recompile every time a source file changes.