Skip to content

Instantly share code, notes, and snippets.

View xiaohuazi123's full-sized avatar
💭
Replies will be slow

Steven xiaohuazi123

💭
Replies will be slow
View GitHub Profile

Monads and delimited control are very closely related, so it isn’t too hard to understand them in terms of one another. From a monadic point of view, the big idea is that if you have the computation m >>= f, then f is m’s continuation. It’s the function that is called with m’s result to continue execution after m returns.

If you have a long chain of binds, the continuation is just the composition of all of them. So, for example, if you have

m >>= f >>= g >>= h

then the continuation of m is f >=> g >=> h. Likewise, the continuation of m >>= f is g >=> h.

@xiaohuazi123
xiaohuazi123 / SQL Server笔记.txt
Last active June 18, 2020 07:04
SQL Server笔记
SQL Server是微软推出的商业数据库产品,现在最新版本是SQL Server 2019
在SQL Server2017推出的时候,正式支持Linux,是支持Linux的第一个版本