Site-32
GitHub
PL
Design
DSL
Fiction
Others
Backup
Site-32
Contents:
Site-32 Index Page
Compiler
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 成都
直面自己的人格缺陷
杂谈
我太难了
我太懂了
打通
Parsing
Python 字节码
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
FSYM: An Abstraction On Tagless-Final Style To Compositing And Decoupling Multiple Interpretations
Terminology
Background
Introduction
Application
Scoping: Name Resolution
Typing: Type Inference
References
Tagless Final For Writing Compilers
Problem
Tagless Final For Compiler Phases
Quick Start for Tagless Final
“Grammar”
Expanding Representation
Problems of Decoupling and Compositing
FSYM
Laziness, for Mutual Dependencies
Example
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