sofs模块，你听说过没有？如果没有，很正常。今天我在阅读rebar源码的时候，在rebar生成热更新文件的时候，发现了下面一段话：
<pre>
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}.
</pre>

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

• 首先构造一个关系映射
  <pre>
  R = sofs:relation([{b,1},{c,2},{c,3},{b,20}]).
  结果为：
  {'Set',[{b,1},{b,20},{c,2},{c,3}],{atom,atom}}
  </pre>

• 计算domain
  <pre>
  sofs:domain(R).
  结果为{'Set',[b,c],atom}
  </pre>

• 计算range
  <pre>
  sofs:range(R).
  结果为{'Set',[1,2,3,20],atom}
  </pre>

• 计算image
  <pre>
  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}
  </pre>

• 其它
  <pre>
  sofs:relation_to_family(R).
  结果为：{'Set',[{b,[1,20]},{c,[2,3]}],{atom,[atom]}}
  </pre>

用处

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

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