FMCt
所属分类：论文
开发工具：Haskell
文件大小：0KB
下载次数：0
上传日期：2022-05-02 07:09:02
上 传 者：
sh-1993
说明： 函数机微积分类型。一种基于FMC论文的编程语言，为学位论文项目从头开始开发。，
(Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.,)
文件列表:
CHANGELOG.md (297, 2022-05-02)
Dockerfile (277, 2022-05-02)
FMCt.cabal (4196, 2022-05-02)
FMCt.nix (449, 2022-05-02)
LICENSE (1542, 2022-05-02)
Setup.hs (47, 2022-05-02)
app/ (0, 2022-05-02)
app/Main.hs (788, 2022-05-02)
cabal.project (219, 2022-05-02)
default.nix (206, 2022-05-02)
docker/ (0, 2022-05-02)
docker/Dockerfile (157, 2022-05-02)
flake.lock (1538, 2022-05-02)
flake.nix (2424, 2022-05-02)
fourmolu.yaml (194, 2022-05-02)
heroku.yml (37, 2022-05-02)
makefile (1066, 2022-05-02)
nix/ (0, 2022-05-02)
nix/sources.json (1134, 2022-05-02)
nix/sources.nix (5494, 2022-05-02)
scripts/ (0, 2022-05-02)
scripts/openDoc.sh (101, 2022-05-02)
scripts/reformat.sh (91, 2022-05-02)
shell.nix (899, 2022-05-02)
src/ (0, 2022-05-02)
src/FMCt.hs (608, 2022-05-02)
src/FMCt/ (0, 2022-05-02)
src/FMCt/Aux/ (0, 2022-05-02)
src/FMCt/Aux/Pretty.hs (90, 2022-05-02)
src/FMCt/Aux/TC.hs (3619, 2022-05-02)
src/FMCt/Aux/ToTex.hs (2819, 2022-05-02)
src/FMCt/Evaluator.hs (5132, 2022-05-02)
src/FMCt/Examples.hs (459, 2022-05-02)
src/FMCt/Parsing.hs (5056, 2022-05-02)
... ...
# FMCt
_Project archived, and used as inspiration for the development of a different
take on a similar, yet different language:
[Space](https://github.com/cstml/Space)._
Typed Functional Machine Calculus.
## Apps Available:
At the moment there are two ways of interacting with the FMCt type derivators:
1. a CLI app: fmct-exe
2. a web interface: fmct-web
## Running
To run any of the two apps, add their name to `cabal new-run`. For example:
`cabal new-run fmct-exe`
## Building
To build there are two ways, depending on which you prefer. Note that both are
valid for UNIX systems. As it stands, there is no defined way of building on
windows except for the normal `cabal new-build`.
### With Nix
1. pull the repo,
2. run: `nix-build`,
3. you now have access to both executables in `/result`
### With Cabal
1. pull the repo,
2. run: `cabal new-run FMCt-web`,
3. you are locally serivng the FMCt-web at port 8080
4. if your port is busy, set the FMCt-web to serve at a new port by setting
`export PORT=8082` to 8082 or whichever port you want to serve from.
#### With GNUMake
Have a look inside the `makefile` for useful commands.
## Documentation
To create the documentation you need to run `make documentation`.
# FMCt-web
The FMCt-web is a web interface for the FMCt where people can try out the
language and its type checker without having to install anything.
There's also a CI/CD which deploys the main branch to [this
website](https://fmct-web.herokuapp.com/).
近期下载者：
相关文件：
收藏者：