我正在寻找一种功能数据结构,它代表两种类型之间的有限双射,即节省空间和节省时间.
例如,考虑到大小为n的双射f,我会很高兴:
我知道排列的有效表示,就像本文一样,但似乎并没有解决我的问题.
ocaml haskell functional-programming bijection data-structures
bijection ×1
data-structures ×1
functional-programming ×1
haskell ×1
ocaml ×1