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-中文

Some Use Cases for Higher Rank Polymorphisms(No Monad)
keywords: Higher Rank Polymorphisms

More about PEP 622(V2)
keywords: Python , PEP 622 , Pattern Matching

My Comments about PEP 622(V1)
keywords: Python , PEP 622 , Pattern Matching

Julia Benefits from Tagless Final
keywords: Programming Language , Julia , Tagless Final , Algebraic Data Types , Performance

First-class Pattern Matching in the Final Approach
keywords: Programming Language , Haskell , Higher Rank Types , Tagless Final , First-class Pattern Matching

Julia Counts for PL Researcher
keywords: Programming Language , Julia , Macro , Staging , Code Generation

Tagless Final For Writing Compilers
keywords: Tagless Final , Compiler , OCaml , Interpretation

FSYM: An Abstraction On Tagless-Final Style To Compositing And Decoupling Multiple Interpretations
keywords: Tagless Final , Compiler , Decoupling , OCaml , Functional Programming , Interpretation

Some Thoughts About The Restrain JIT
keywords: Python , Python JIT , Julia , Julia Generated Functions

Staging和Julia生成函数
keywords: Chinese-中文 , Julia , Staging技术 , Julia生成函数 , Julia的World Age问题

General Programming In Julia From An Advanced Standpoint
keywords: Julia , General Programming , Pattern Macthing , Syntactic Macro , Hygineic Macro , Programming Language , Polymorphism , Haskell

Write You A Query Language
keywords: EDSL , Julia , Query Language , Pattern Macthing , MLStyle.jl , Tutorial

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

Higher Kinded Types
keywords: Higher-Kinded-Types , Introduction

Type Classes
keywords: Type Class , Introduction , Polymorphism

Paper Reading: Lightweight-Higher-Kinded-Polymorphism
keywords: Programming language , Higher Kinded Types , Type Class , OCaml , Ad-hoc Polymorphism