I am a tech enthusiast and a software developer, mainly focus on system development, with some kinds of web development.

I am also interested in the fundamental theoretical aspects in programming languages like:

• Computation models (lambda calculus, term rewriting)
• Polymorphism (ad-hoc, parametric, subtyping)
• Type systems (soundness, Hindley–Milner systems)
• Formal logic (Curry–Howard correspondence)

Last but not least, I am not such a fan of OOP, many people tend to misunderstand or overuse the OO since it often gets things more complicated. Something like 'Dependency Injection' is just another 25-dollar term for a 5-cent concept. Fortunately, many programming paradigms have been invented in these years.

Having a trouble to understand something like quick sort? Try functional language like Haskell.

The implementation is so obvious just the description of the algorithm.

qsort::Orda=> [a]-> [a]qsort[]=[]qsort (x:xs)=  [x'| x'<- xs, x'<= x ]++ [x]++                   [x'| x'<- xs, x'>  x ]

Ask me about anything when you run into a problem with functional programming.

PinnedLoading

1. ccmdlinerccmdlinerPublic

   A Light-weight Commandline Parser implemented in Modern C++

   C++

2. hmchmcPublic

   A Huffman Encoder and Decoder using new C++ 11 Features

   C++

3. leetcodeleetcodePublic

   Solutions for Leetcode problems

   Go

4. dhcpsvdhcpsvPublic

   A DHCP Server Implementation in C#

   C#

5. sudokusudokuPublic

   A Haskell Sudoku Solver using MiniSAT

   Haskell

6. fileupfileupPublic

   A Simple File upload/Delete Manager, Server-side and Client-side Solution

   JavaScript