Site-32 Index Page

Driven by the desire of making a difference.


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