nixpkgs configre与build相关思考

问题主要在于nixpkgs的mkDerivate都干了些什么,为什么可以自动处理cmake等构建。以及 在最近,nix使用placeholder "out"来代替了$out。不知道这里的原因。

最近突然想到nix的包一些原理,有点好奇就去看文档,但nix一套的manual太过于简单了, 同时部分内容编写有点混乱,或者说比较难查到想查的东西。比如override和callPackage 需要看pill才能理解,而pills里写的内容又非常有限。而setup-hook的选项和和一些内建的 setup-hook是分放在不同的两个章节且没有跳转或说明。

类型类、逻辑与哲学

起因

之前因为作业,写一个多项式计算的实现(来自课《计算机代数基础》,教材料《Ideals, Varieties and Algorithms》)。其实遇到了些问题,在data构建中,传入了太多子类型的参数,又将操作类型类化,导致实例化时出现了编译不通过(主要为无法deduce),根本原因在于对于一个forall的返回值类型,在其它函数中调用时,如果存在约束条件,是无法duduce的。哪怕不是约束,只要存在一定的类型限制就是不行的。这其中查找了相当的内容,也有解决方案,但并没有直接去修正。这源于我对类型类的一些理解问题。

haskell pettern synonyms and view

最近需要写一个多项式相关的东西(代数课练习),而正好看到一个人用pattern做的方程解析,就有点好奇是怎么做到的,然后查找各种资料后得出了结论,主要是用到了ghc的扩展,这里小记一下。

毕设遇到C语言相关记录

起因

最近做毕设,题目是以ARM与Linux为基础的一些设计,由于是第一次接触嵌入式设计,再加之C语言学完已经有快7年了,平时不怎么用。虽然当初刚学习的时候看了相当多C/C++的书籍,很多知识细节也知道,但真写起来还是遇了不少坑,在此记录一下。

minori解散感触

2019/02(上个月)底,gal制作公司minori宣布解散。