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