Site-32 Considered Harmful

Driven by the desire of making a difference.

Quick links:


Summer 2021: Parser Generator Targeting Julia
keywords: Parser Generator , Julia , Chinese-中文
Check Mon, May 17, 2021.  09: 07

Some Use Cases for Higher Rank Polymorphisms(No Monad)
keywords: Higher Rank Polymorphisms
Check Thu, September 17, 2020.  06: 35

More about PEP 622(V2)
keywords: Python , PEP 622 , Pattern Matching
Check Sat, July 04, 2020.  11: 56

My Comments about PEP 622(V1)
keywords: Python , PEP 622 , Pattern Matching
Check Wed, June 24, 2020.  19: 25

Julia Benefits from Tagless Final
keywords: Programming Language , Julia , Tagless Final , Algebraic Data Types , Performance
Check Mon, April 13, 2020.  20: 19

First-class Pattern Matching in the Final Approach
keywords: Programming Language , Haskell , Higher Rank Types , Tagless Final , First-class Pattern Matching
Check Thu, April 09, 2020.  17: 47

Julia Counts for PL Researcher
keywords: Programming Language , Julia , Macro , Staging , Code Generation
Check Wed, April 01, 2020.  10: 29

Tagless Final For Writing Compilers
keywords: Tagless Final , Compiler , OCaml , Interpretation
Check Sun, December 22, 2019.  21: 41

FSYM: An Abstraction On Tagless-Final Style To Compositing And Decoupling Multiple Interpretations
keywords: Tagless Final , Compiler , Decoupling , OCaml , Functional Programming , Interpretation
Check Thu, December 12, 2019.  15: 19

Some Thoughts About The Restrain JIT
keywords: Python , Python JIT , Julia , Julia Generated Functions
Check Mon, September 23, 2019.  12: 19

Staging和Julia生成函数
keywords: Chinese-中文 , Julia , Staging技术 , Julia生成函数 , Julia的World Age问题
Check Mon, August 19, 2019.  20: 43

General Programming In Julia From An Advanced Standpoint
keywords: Julia , General Programming , Pattern Macthing , Syntactic Macro , Hygineic Macro , Programming Language , Polymorphism , Haskell
Check Fri, April 05, 2019.  19: 19

Write You A Query Language
keywords: EDSL , Julia , Query Language , Pattern Macthing , MLStyle.jl , Tutorial
Check Fri, February 08, 2019.  11: 04

Compelling Higher Kinded Types and Type Classes in F#
keywords: F# , Higher Kinded Types , Type Class , Ad-hoc Polymorphism , Active Patterns , Static Resolved Type Parameters , Implicits
Check Mon, February 04, 2019.  14: 10

Higher Kinded Types
keywords: Higher-Kinded-Types , Introduction
Check Fri, February 01, 2019.  15: 32

Type Classes
keywords: Type Class , Introduction , Polymorphism
Check Fri, February 01, 2019.  15: 32

Paper Reading: Lightweight-Higher-Kinded-Polymorphism
keywords: Programming language , Higher Kinded Types , Type Class , OCaml , Ad-hoc Polymorphism
Check Wed, January 02, 2019.  23: 32