psilo
所属分类：超算/并行计算
开发工具：Haskell
文件大小：0KB
下载次数：0
上传日期：2020-07-09 17:04:37
上 传 者：
sh-1993
说明： 用于系统编程的并行、安全、迭代列表操作语言，
(a parallel, safe, iterative list operation language for systems programming,)
文件列表:
LICENSE (35121, 2020-07-09)
Setup.hs (46, 2020-07-09)
app/ (0, 2020-07-09)
app/Main.hs (2934, 2020-07-09)
psilo.cabal (2766, 2020-07-09)
src/ (0, 2020-07-09)
src/Lib.hs (974, 2020-07-09)
src/Lib/ (0, 2020-07-09)
src/Lib/Compiler.hs (767, 2020-07-09)
src/Lib/Errors.hs (1938, 2020-07-09)
src/Lib/Parser.hs (9570, 2020-07-09)
src/Lib/Preprocessor.hs (11128, 2020-07-09)
src/Lib/Syntax.hs (1037, 2020-07-09)
src/Lib/Syntax/ (0, 2020-07-09)
src/Lib/Syntax/Annotated.hs (903, 2020-07-09)
src/Lib/Syntax/Core.hs (1662, 2020-07-09)
src/Lib/Syntax/Lifted.hs (3702, 2020-07-09)
src/Lib/Syntax/Surface.hs (3566, 2020-07-09)
src/Lib/Syntax/Symbol.hs (915, 2020-07-09)
src/Lib/Syntax/TopLevel.hs (1524, 2020-07-09)
src/Lib/Types.hs (10477, 2020-07-09)
src/Lib/Types/ (0, 2020-07-09)
src/Lib/Types/Class.hs (3946, 2020-07-09)
src/Lib/Types/Constraint.hs (619, 2020-07-09)
src/Lib/Types/Frame.hs (3198, 2020-07-09)
src/Lib/Types/Kind.hs (410, 2020-07-09)
src/Lib/Types/Scheme.hs (1586, 2020-07-09)
src/Lib/Types/Type.hs (4068, 2020-07-09)
src/Lib/Types/TypeCheck.hs (12166, 2020-07-09)
src/Lib/Types/TypeEnv.hs (1879, 2020-07-09)
stack.yaml (95, 2020-07-09)
test/ (0, 2020-07-09)
test/Spec.hs (63, 2020-07-09)
psilo
===
(c) 2018- Gatlin Johnson
what?
---
**I START AND STOP THIS PROJECT EVERY FEW YEARS. THIS REPOSITORY HAS SOME COOL
STUFF IN IT THAT I WILL ASSUREDLY BE CANNIBALIZING BUT THIS ISN'T MORE THAN A
QUIRKY TYPE CHECKER YET**
***STAY TUNED***
This is an interpreter I'm writing. I've worked on it off and on for a long time
as I've learned more (which unfortunately causes me to want to destroy huge
portions of it and start over every so often).
The end result will be a strong, linearly typed, functional language with an
S-expression syntax and a relatively small core grammar.
As of now the linear part isn't done. Nor is the interpreter part. But I have a
reasonably sound implementation of a System F type inference engine with
rudimentary support for qualified types, so that's cool.
I've miles to go before I sleep ...
近期下载者：
相关文件：
收藏者：