scala linq&monad

scala linq & monad

Overview

最近看SparkSQL,想到scala原生集合支持这么多操作,就想搞个scala的linq出来。

linq无非就是一层语法糖,解糖后就是一堆lambda+方法调用而已,scala的for也能实现类似的功能,简洁度似乎还更胜一筹。那我为什么还要搞这个呢?因为有得搞呗。暂时给这个项目取名叫slinq,最终能不能成型还不一定。

linq要素

参考这个问题,c#中完整的linq有这么几个要素:

  1. Lambda Expression
  2. Query Expression
  3. Extension Methods
  4. Expression Tree
  5. Anonymous Types

1是有的不用说。
2的话很难做到完整的形式,只能用scala的中缀语法+宏实现类似的,最终可能是这样的效果:

var x,y:Int=0
linq from x in List(1,2,3)
  from y in List(1,2,3)
  where x > 0 && y > 0
  select (x, y);

where子句后面的那个表达式要在编译时用宏展开成一个lambda。多余的是前面那一堆元素的声明还有开头的linq。scala目前宏的能力貌似并不能灵活到取消前置的声明,目前也没想到其它的办法。但是其实留着还是有好处的,毕竟可以方便IDE的自动补全。

然后,4表达式树,宏和反射的部分都有,但暂时还没考虑做linq provider,先做好linq to objects就满足了。

5匿名类型,这个好像不是很有必要,没了解清楚,个人觉得用Map就够了吧。

Monad

写得比较乱哈,一些基础的东西都省略了。有空再详细更吧。

要实现一个linq必须要理解monad,因为linq语法有一个很大的用途就是把一堆monad连起来,这是通过SelectMany实现的。

那么monad到底是什么呢,说白了,就是自函子范畴上的一个幺半群而已。。。好吧,其实我也理解不深。总的来说呢,monad是一种类型,关于它定义了两个操作id和bind,并且满足三个条件。

以类型M[T]为例吧,对于这个类型,其中id的签名是:

def id[T](value:T):M[T]

也就是将类型T的元素打包一下返回一个M[T]

然后bind操作,就把bind定义在类型里面吧,这样调用bind可以写成中缀的形式:

class M[T] {
   def bind[R](func:T => M[R]):M[R]
}

可以这样理解,bindM[T]类型的值拆箱得到T类型的元素,然后调用函数func,得到类型M[B]

如果idbind满足以下三个条件,那么M就是一个monad了。

val x:T
val m: M[T]
val f,g: T => M[R]

id(x) bind f == f(x)  // 条件1
m bind id == m        // 条件2
(m bind f) bind g == m bind ( x => (f(x) bind g) )  // 条件3

(上面的代码是不合法的,读者只需要注意类型签名即可。)

其实从数学意义上讲,M[T]这种带参数的类型都是函子,它把范畴映射为范畴,这里映射前后的范畴都是类型也就是自己没变,所以叫做自函子。省略xxxx……

那么有什么用呢?参考第三个条件,它可以把返回monad的一系类操作串起来。IEnumrable<T>就是一个monad,SelectMany其实就是bind操作,于是linq通过SelectMany也就可以方便的书写串起来的操作,而不是一个个lambda嵌套了。

了解更多可以参考 here

SelectMany

在翻译这样的嵌套查询时:

from q in items
from r in a(q)
from s in b(q, r)
from t in c(q, r, s)
from v in d(q, r, s, t)
select e(q, r, s, t, v)

由于变量作用域的原因,两层的话可以直接翻译成三参数的SelectMany,而太多层的话,只能翻译成嵌套的lambda和SelectMany,静态分析很困难,类型签名写起来也麻烦。

这里 提到了c#编译器使用了transparent identifiers的技术,让变量在整个查询里始终可见。实现slinq的时候,怎么解决这个问题还要再想一想。

最后

玛德研究了半天才发现。。。linq这样的糖scala早就有了,也就是for,它会编译成嵌套的flatmap和map调用,也等价于Haskell的do notation,能把monad操作连接起来。

但是还是喜欢linq的用法,继续搞吧。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 151,511评论 1 330
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 64,495评论 1 273
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 101,595评论 0 225
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 42,558评论 0 190
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 50,715评论 3 270
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 39,672评论 1 192
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,112评论 2 291
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 29,837评论 0 181
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 33,417评论 0 228
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 29,928评论 2 232
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 31,316评论 1 242
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 27,773评论 2 234
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 32,253评论 3 220
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 25,827评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,440评论 0 180
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 34,523评论 2 249
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 34,583评论 2 249

推荐阅读更多精彩内容