Thinking About Logic And Object

title: 对逻辑与物质的思考 date: 2019-10-16 16:40:04 +0800 categories: philosophy tags: logic object —

源:《自然辩证法》作业

感觉写了点东西,随便放一下。

类型类、逻辑与哲学

起因

之前因为作业,写一个多项式计算的实现(来自课《计算机代数基础》,教材料《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宣布解散。

邮件标签与文件夹

现代电子邮件有着很多功能,比如folder、tags等。但是folder是包含在imap协议里的,而tags则。 其中又以gmail最为特殊,完全使用tags,但gmail对tags针对imap进行了folder变换,所以使用上没什么影响。可是对于其它邮箱就不一样了,我们分类应该是用tags还是用folder呢?