Skip to content

Instantly share code, notes, and snippets.

@pocketberserker
Created December 16, 2017 05:00
Show Gist options
  • Save pocketberserker/4f2af64bfb0a26ee86079d3ffe075cfd to your computer and use it in GitHub Desktop.
Save pocketberserker/4f2af64bfb0a26ee86079d3ffe075cfd to your computer and use it in GitHub Desktop.

F# 探検隊 ~ =の謎 ~

https://centerclr.connpass.com/event/71414/ 用のメモ書き

自己紹介

  • なかやん / ぺんぎん / もみあげ / ぽけば
  • @pocketberserker / id:pocketberserker
  • Microsoft MVP for F# (2013/04/01~ 2018/07)
    • Visual Studio and Development Technologies

前提知識

  • F# は = が比較演算子
  • 型安全
  • なぜか配列もちゃんと比較できる
  • 「F# の =演算子ってどういう風に定義されているのだろう?」
  • その謎を解明すべく我々はコンパイラの奥地へと向かった

メモ

(=)

GenericEquality

GenericEqualityFast

GenericEqualityObj

PER: Partial equivalence relation

ER: equivalence relation

https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88#.E5.8D.8A.E9.A0.86.E5.BA.8F

https://ja.wikipedia.org/wiki/%E5%AF%BE%E7%A7%B0%E9%96%A2%E4%BF%82

https://ja.wikipedia.org/wiki/%E5%8F%8D%E5%B0%84%E9%96%A2%E4%BF%82

https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%96%A2%E4%BF%82

https://en.wikipedia.org/wiki/Partial_equivalence_relation

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment