Fixed-Point-Oriented Programming for Haskell
Documentation
.
Report Bug
·
Request Feature
Table of Contents
The Fixen language is a Domain-Specific Language for expressing work-queue algorithms ergonomically. Work-queue algorithms are used to solve problems involving cycles and other types of self-reference, e.g., graphs, static analysis, automata minimization, type checking and distributed computing.
To write work-queue algorithms in Fixen, simply declare relations and rules. For instance, to write an algorithm for finding shortest paths to vertices in a graph, declare the following:
rel Edge: Vertex, Vertex, Dist
rel DistTo: Vertex, Dist
rule addDist: DistTo a d, Edge a b e |- DistTo b (d + e)
Then run the Fixen compiler on these declarations to generate Haskell source code that implements the work-queue algorithm that computes shortest paths. The generated source code is a Haskell module that can be imported and used by application code.
A detailed tutorial on how to write programs with Fixen is found in the documentation.
This library and executable has been tested on GHC version 9.12.2.
This is an example of how you may give instructions on setting up your project locally. To get a local copy up and running follow these simple example steps.
- Clone this repository
git clone https://github.com/plilab/fixen.git cd fixen/ - Building
cabal build
- Documentation
cabal haddock
You're all set!
- Complete the parser
- Complete the symbol solver
- Generate rule forests IR
- DB layout inference
- Generate Haskell source
- Benchmarks
See the open issues for a full list of proposed features (and known issues).
Contributions are what make the open source community such an amazing place to learn, inspire, and create. Any contributions you make are greatly appreciated.
If you have a suggestion that would make this better, please fork the repo and create a pull request. You can also simply open an issue with the tag "enhancement". Don't forget to give the project a star! Thanks again!
- Fork the Project
- Create your Feature Branch (
git checkout -b feature/AmazingFeature) - Commit your Changes (
git commit -m 'Add some AmazingFeature') - Push to the Branch (
git push origin feature/AmazingFeature) - Open a Pull Request
Distributed under the MIT License. See LICENSE.txt for more information.
{-# LANGUAGE OverloadedStrings #-}
module ContactInfo where
import Data.Text (Text)
import Data.Text qualified as T
dom :: Text
dom = T.concat [ "@", "fixen-lang", ".", T.reverse "gro"]
email :: Text
email = T.append "collaborations" domMichael D. Adams (Principal Investigator) - https://michaeldadams.org
Foo Yong Qi (Maintainer) - https://yongqi.foo/
Brian Cheong (Developer) - https://comp.nus.edu.sg/~bskch
Project Link: https://github.com/plilab/fixen
The Programming Languages Innovation Lab @ NUS: https://github.com/plilab