Site-32 Considered Harmful =============================== **Driven by the desire of making a difference**. Quick links: - `thautwarm's open source contributions <./Others/contributions.html>`_ - `thautwarm's diaries and fictions(我的日志和小说) <./Fiction/index.html>`_ .. raw:: html
Summer 2021: Parser Generator Targeting Julia
keywords: Parser Generator , Julia , Chinese-中文
Check Mon, May 17, 2021.  09: 07
.. raw:: html
Some Use Cases for Higher Rank Polymorphisms(No Monad)
keywords: Higher Rank Polymorphisms
Check Thu, September 17, 2020.  06: 35
.. raw:: html
More about PEP 622(V2)
keywords: Python , PEP 622 , Pattern Matching
Check Sat, July 04, 2020.  11: 56
.. raw:: html
My Comments about PEP 622(V1)
keywords: Python , PEP 622 , Pattern Matching
Check Wed, June 24, 2020.  19: 25
.. raw:: html
Julia Benefits from Tagless Final
keywords: Programming Language , Julia , Tagless Final , Algebraic Data Types , Performance
Check Mon, April 13, 2020.  20: 19
.. raw:: html
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
.. raw:: html
Julia Counts for PL Researcher
keywords: Programming Language , Julia , Macro , Staging , Code Generation
Check Wed, April 01, 2020.  10: 29
.. raw:: html
Tagless Final For Writing Compilers
keywords: Tagless Final , Compiler , OCaml , Interpretation
Check Sun, December 22, 2019.  21: 41
.. raw:: html
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
.. raw:: html
Some Thoughts About The Restrain JIT
keywords: Python , Python JIT , Julia , Julia Generated Functions
Check Mon, September 23, 2019.  12: 19
.. raw:: html
Staging和Julia生成函数
keywords: Chinese-中文 , Julia , Staging技术 , Julia生成函数 , Julia的World Age问题
Check Mon, August 19, 2019.  20: 43
.. raw:: html
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
.. raw:: html
Write You A Query Language
keywords: EDSL , Julia , Query Language , Pattern Macthing , MLStyle.jl , Tutorial
Check Fri, February 08, 2019.  11: 04
.. raw:: html
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
.. raw:: html
Higher Kinded Types
keywords: Higher-Kinded-Types , Introduction
Check Fri, February 01, 2019.  15: 32
.. raw:: html
Type Classes
keywords: Type Class , Introduction , Polymorphism
Check Fri, February 01, 2019.  15: 32
.. raw:: html
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