【文件属性】：
文件名称：lawvere：一种具有效果的分类编程语言
文件大小：53KB
文件格式：ZIP
更新时间：2021-02-10 11:16:40
programming-language interpreter compiler effects category-theory
劳维尔
一种分类编程语言
•••
正在进行中
(.playerA .points - .playerB .points)
{ leader = (> 0) [ true = "A", false = "B"],
delta = abs show }
"Player {.leader} is winning by {.delta} points!"
编译为任何类别。 可以定位具有与您使用的编程功能相对应的结构的任何类别（，等）。 随附的是Haskell中的评估器和JavaScript编译器。
基于*生成的效果类别的效果系统。
无点函数式编程（无lambda）； 对级联编程的绝对看法。
Lawvere语言（和可执行bill ）以命名。
讲解
替换
要启动Lawvere REPL，请运行bill -i ：
$ bill -i
--------------
Lawvere v0.0
【文件预览】：
lawvere-master
----nix()
--------sources.json(1KB)
--------release.nix(98B)
--------default.nix(196B)
--------overlays.nix(217B)
--------packages()
--------sources.nix(6KB)
--------packages.nix(1KB)
----.gitignore(72B)
----Setup.hs(46B)
----.ghcid(264B)
----src()
--------Lawvere.hs(21B)
--------Lawvere()
----stack.yaml.lock(555B)
----LICENSE(1KB)
----notes()
--------checking.md(463B)
--------read.md(3KB)
--------random.md(2KB)
----cabal.project(18B)
----lawvere.cabal(5KB)
----tools()
--------emacs()
----examples()
--------points.law(256B)
--------list-old.law(966B)
--------freyd-state.law(1KB)
--------product.law(200B)
--------list-simple.law(349B)
--------bool.law(384B)
--------basic.law(1KB)
--------tutorial.law(940B)
--------interpolation.law(247B)
--------hello.law(96B)
--------basic.js(3KB)
--------greet.law(153B)
--------io.law(292B)
--------list.law(686B)
--------presentation.law.md(2KB)
--------positional-product.law(181B)
----hie.yaml(268B)
----README.md(17KB)
----shell.nix(239B)
----package.yaml(3KB)
----bill()
--------Main.hs(5KB)
----test()
--------Spec.hs(44B)
----stack.yaml(132B)