erlang sofs模块

sofs模块，你听说过没有？如果没有，很正常。今天我在阅读rebar源码的时候，在rebar生成热更新文件的时候，发现了下面一段话：

 compare_dirs(Dir1, Dir2) ->
 R1 = sofs:relation(beam_files(Dir1)),
 R2 = sofs:relation(beam_files(Dir2)),
 F1 = sofs:domain(R1),
 F2 = sofs:domain(R2),
 {O1, Both, O2} = sofs:symmetric_partition(F1, F2),
 OnlyL1 = sofs:image(R1, O1),
 OnlyL2 = sofs:image(R2, O2),
 B1 = sofs:to_external(sofs:restriction(R1, Both)),
 B2 = sofs:to_external(sofs:restriction(R2, Both)),
 Diff = compare_files(B1, B2, []),
 {sofs:to_external(OnlyL1), sofs:to_external(OnlyL2), Diff}.
 

后来查阅了sofs的文档，纪录如下
(1) sofs是set of set的简称
(2) 既然函数在数学上定义为集合之间的映身，那么set of set能构造类似函数的用法应该就不奇怪了。
(3)sofs抽象映身主要用的是tuple:类似{a,1}，表示a ->1，类似的有自变量域domain, 值域range，映射image相关的概念了。举个例子

• 首先构造一个关系映射
  

  
   R = sofs:relation([{b,1},{c,2},{c,3},{b,20}]).
   结果为：
   {'Set',[{b,1},{b,20},{c,2},{c,3}],{atom,atom}}
   

• 计算domain
  

  
   sofs:domain(R).
   结果为{'Set',[b,c],atom}
   

• 计算range
  

  
   sofs:range(R).
   结果为{'Set',[1,2,3,20],atom}
   

• 计算image
  

  
   1> R = sofs:relation([{b,1},{c,2},{c,3},{b,20}]).
   {'Set',[{b,1},{b,20},{c,2},{c,3}],{atom,atom}}
   2> D = sofs:domain(R).
   {'Set',[b,c],atom}
   3> sofs:image(R, D).
   {'Set',[1,2,3,20],atom}
   

• 其它
  

  
   sofs:relation_to_family(R).
   结果为：{'Set',[{b,[1,20]},{c,[2,3]}],{atom,[atom]}}
   

用处

我觉得特别的用处，就是处理两个properlist。properlist刚好是{k,v}结构
比如，能够快速找出两个properlist中的key对应的所有value的集合，感受下

 1> R1 = sofs:relation([{b,1},{c,2},{c,3},{b,20}]).
 {'Set',[{b,1},{b,20},{c,2},{c,3}],{atom,atom}}
 2> R2 = sofs:relation([{c,2},{a,3}]).
 {'Set',[{a,3},{c,2}],{atom,atom}}
 3> F1 = sofs:domain(R1).
 {'Set',[b,c],atom}
 4> F2 = sofs:domain(R2).
 {'Set',[a,c],atom}
 5> {O1, Both, O2} = sofs:symmetric_partition(F1, F2).
 {{'Set',[b],atom},{'Set',[c],atom},{'Set',[a],atom}}
 6> OnlyL1 = sofs:image(R1, O1).
 {'Set',[1,20],atom}
 7> OnlyL2 = sofs:image(R2, O2).
 {'Set',[3],atom}
 

这个就是类似于文章最开始提到的compare_dirs函数使用