ポスト

#Julia言語 Holy traitでは、中身のない型を struct A end struct B end のように定義し、これと既存の型S, T, …を組み合わせて attr(::S) = A() attr(::T) = A() attr(::U) = B() …… f(x) = f(attr(x), x) f(::A, x) = 属性Aのf(x)の定義 f(::B, x) = 属性Bのf(x)の定義 と書きます。

メニューを開く

黒木玄 Gen Kuroki@genkuroki

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ