Site-32
GitHub
PL
Design
DSL
Fiction
Others
Backup
Site-32
Contents:
Site-32 Index Page
Compiler
RBNF
RBNFRBNF
Parser Combinator
完美的编译前端
非文法变换的左递归处理
LLAST
LL(k) to LL(1)
Design
General Programming In Julia Language From An Advanced Standpoint
First-Class
Polymorphisms of Multiple Dispatch
Full-Featured Macros
Macro, the Function from AST to AST
Scope and Hygiene
Other Useful Knowledge for Julia Macros
A Big Step Forward in AST Manipulations
Limitation: Absence of Function Types
Some Thoughts About The Restrain JIT
DSL
Write You A Query Language
Definition of Syntaxes
Codegen Target
Refinement of Codegen: Typed Columns
Implementation
Enjoy You A Query Language
Fiction
2019年10-11月
日前安排
目录
Smarter Witnesses for Type Classes
Notation
Instance Resolution & Variables As Instances
“The Most General Instance” Problem & “Overlapping Instance” Problem
优化
该算法和相应语言设计的好处
不足之处
我和Python的故事
第0节
第1节: 科学计算, Python, 生物信息学和数据挖掘
第2节: 转型的经过, 走向程序语言设计领域
第3节: 想要给Python添加高级语言特性的理想
第4节: Flowpython
第4节: BNF, Parser Generator和语言制造机器
杂谈
PyCon China 2019 成都
直面自己的人格缺陷
杂谈
我太难了
我太懂了
Programming Language
Higher Kinded Types
Type Classes
About Abstractions
About Separation of Type Definitions and Data Manipulations
Paper Reading: Lightweight-Higher-Kinded-Polymorphism
How-To
Static Resolution: More polymorphic
Limitation1: Much Higher Kinded
Limitation2: Identity
Why this Lightweight-Higher-Polymorphism instead of the Haskell approach
Compelling Higher Kinded Types and Type Classes in F#
Active Pattern
Statically Resolved Type Parameters
The
getsig
Function and Implicits
Why AbstractClass?
Why
Functor<’F>
instead of the straightforward
Functor
References and Further Reading
Backup
高观点下的Julia泛用编程
Others
Thautwarm’s Open Source Contributions
Projects Owned By Other Individuals/Organizations
Personal Projects Used Widely
Other Personal Projects With Great Personal Efforts & Prospective Values
Subsections
Parser Combinator
Parser Combinator
¶
TODO