• Sep 4, 2016

  直和

• Sep 3, 2016

  C++编译期类型信息的利用

  http://stackoverflow.com/questions/8001207/compile-time-typeid-without-rtti-with-gcc

  https://gcc.gnu.org/onlinedocs/gcc-4.9.0/gcc/Function-Names.html

  http://stackoverflow.com/questions/4384765/whats-the-difference-between-pretty-function-function-func

  https://gcc.gnu.org/onlinedocs/gcc/Typeof.html

2016-07

• Jul 20, 2016

  Blas与Lapack库的使用

• Jul 2, 2016

  Deep Understanding of Fold in Haskell

  fold is a very important combinator in functional programming. In Haskell four versions of fold operation are provided: foldl, foldr, foldl' and foldr'. Now lets take a close look at them. We’ll gain a better understanding of the underlying principles behind fold operation and learn how to use them correctly and efficiently in our real world applications.

2016-06

• Jun 25, 2016

  类型安全

  编程语言的类型系统可以带来诸如减少错误、文档化、利于编译器优化等好处。读MirageOS的论文，作者提到了 使用OCaml的类型安全的好处，本文大致整理了一些类型安全相关的概念。

• Jun 22, 2016

  Monomorphism Restriction

  Haskell Wiki上Monomorphism Restriction的定义为

  a counter-intuitive rule in Haskell type inference. If you forget to provide a type signature, sometimes this rule will fill the free type variables with specific types using “type defaulting” rules.

• Jun 16, 2016

  Kinds of (Micro)Kernel

  There are many different types of Operating System kernels: the monolithic kernel, the microkernel, and the newly appeared Exokernel as well as Unikernel.

• Jun 14, 2016

  Notes on MIT 18.06 Linear Algebra

• Jun 10, 2016

  Heterogeneous containers in Haskell

• Jun 3, 2016

  A Better Approach for Timing Multi-thread Computations

  There’s already a package named timeit on hackage, it provides utilitities under the System.TimeIt module which can be used to time an IO computation. It depends on the getCPUTime to get timestamp with picoseseconds precision and it works quite well for single thread applications, however when I use the timeIt function to time a multi-thread computation, it report the wrong time usage. After some experiments, I proposed a proper approach for time computations in IO environment, both for single-thread applications and multi-thread applications.

Subscribe via RSS