These are chat archives for scalajp/functional

17th
Oct 2014
pocketberserker
@pocketberserker
Oct 17 2014 08:18
そういえば、trifectaのscala再実装版のコードって公開される予定あります?
kenji yoshida
@xuwei-k
Oct 17 2014 08:47
あー、ある程度実装できて気が向けば・・・。ただ、全部翻訳できる気がしてないし、ましてや実用的に使えるのかかなりあやしい(ほとんどHaskellの勉強のためにやってる)
pocketberserker
@pocketberserker
Oct 17 2014 08:50
なるほどー
todesking
@todesking
Oct 17 2014 09:04
そういえばpublicで出たた話題、型「Intかつ0以上」みたいなのを表現するのはRefinement typesと言うらしい
https://twitter.com/notae_c/status/523018048131694592
Ryoichiro Oka
@ryo0ka
Oct 17 2014 09:27
前見たのはこれか・・・思いっきり間違えてすいません
todesking
@todesking
Oct 17 2014 09:31
どうやら構造的部分型のことをStructual refinement typeとも言ったりするみたいですね……(ややこしい)
Ryoichiro Oka
@ryo0ka
Oct 17 2014 09:35
scalaで実現するとなるとどういう実装になるんでしょうね
todesking
@todesking
Oct 17 2014 10:03
型レベル自然数や文字列の実装事例はあるので、がんばれば型レベル条件式とか可能なも……