连接本地docker内的mysql

问题描述

docker开起一个对本地的mysql后(Port已设置),但运行mysql -u root -p后会出错

Haskell类型限制

起因

起因其实是关于catch以及catchIOError。对于catch,一开始,博主怎么弄都是错误信息,最后的原因是在于lambda中第一个参数的类型是非确认而引起的。

笔记使用工具

最近对使用的工具整理了一下。一开始是使用印象笔记来做各种笔记整理。后来转到了MWeb,但是因为印象笔记没有比较好的导出方案,所以就还是使用着那个。两者同时。后来学了Org,基本上部分文件从markdown转到的org去了。

函子,应用函子,单子

Haskell

嗯,继续写函数式。之前有比较过,也提及过关于类型类相关的事。这次主要写写单子吧。主要是这个东西学起来快,但是真的理解有点麻烦啊。