These are chat archives for scalajp/functional

6th
Jun 2015
kenji yoshida
@xuwei-k
Jun 06 2015 11:13
というわけで(?) smallcheck と同時に feat についても知る必要がでてきた感じある https://twitter.com/xuwei_k/status/607142128968343553
pocketberserker
@pocketberserker
Jun 06 2015 12:02
なんと、こんなものがあるとは
kenji yoshida
@xuwei-k
Jun 06 2015 12:12
論文これかな(正式というか最終版なのかどうかわからないけど) http://www.cse.chalmers.se/~almstroj/lic.pdf
Shun Yanaura
@yanana
Jun 06 2015 12:19
FEATのペーパーはこれですかね。上記のものは修士(?)論文でこの内容も含まれている様ですが。
http://archive.alvb.in/msc/thesis/reading/enumeration-algebraic-types_Feat.pdf
kenji yoshida
@xuwei-k
Jun 06 2015 12:24
お、ありがとうございます
"含まれてる" というのは、前半の "Embedded Parser Generators" の部分は、直接関係ないかもしれない部分ということか
自分が貼った方のやつの2章の最初に "This chapter is an extended version of a paper originally published in the
proceedings of the 2012 Haskell Symposium under the same title." って書いてあるな
pocketberserker
@pocketberserker
Jun 06 2015 12:34
testing-featの依存にTHがある…
kenji yoshida
@xuwei-k
Jun 06 2015 12:36
はい・・・。ソース詳細に読んでみないと移植がどのくらいあれなのかはよくわからないけど・・・・
pocketberserker
@pocketberserker
Jun 06 2015 12:37
これも必要みたいですね
https://hackage.haskell.org/package/tagshare
kenji yoshida
@xuwei-k
Jun 06 2015 12:37
TH使ってない部分だけ(あるのか?)移植でも役に立つのか、マクロ使えばTH部分も素直に移植可能なのか?など
そもそもTHがどうとか以前に、これ自体だいぶ新しいし、どの程度有効なのか、Haskellで有効でもScalaだとどうなのか?という話はあるけど
pocketberserker
@pocketberserker
Jun 06 2015 12:39
ですねぇ
kenji yoshida
@xuwei-k
Jun 06 2015 12:39
ライブラリの説明で "This can be used for SmallCheck-style systematic testing, QuickCheck style random testing, and hybrids of the two." と言ってるの、もしそれが本当で、かつあまりデメリットというか使いづらい部分ないなら最強っぽく見える
ソースコードのリンクないけどどこにあるんだ・・・(githubじゃない?)
githubのリンクないと、実用的にメンテしていくつもりのライブラリなのかどうか全くわからなくて不安になるな・・・(とりあえず論文書くために作って終わり的な)
pocketberserker
@pocketberserker
Jun 06 2015 12:42
hackageからダウンロードできますよ
kenji yoshida
@xuwei-k
Jun 06 2015 12:43
いや、ダウンロードはできますけど、githubじゃなくても何でもいいけど、そういうサイトにホストされてすらいないとしたら、pull reqもissue報告もできなくて、OSSとして簡単に死にやすいのでは?という意味で
pocketberserker
@pocketberserker
Jun 06 2015 12:43
aa,naruhodo
kenji yoshida
@xuwei-k
Jun 06 2015 12:47
おっ?
2 commit で star 1 か・・・
pocketberserker
@pocketberserker
Jun 06 2015 12:48
githubリンクがhackageにないから誰も見つけられていない?
kenji yoshida
@xuwei-k
Jun 06 2015 12:49
これが公式なら、cabalファイルにgithubのリンクその他を載せるpull reqすればいいのか
(さっきから全くScalaの話してないな・・・。まぁこのチャンネルならいいのか?)
Shun Yanaura
@yanana
Jun 06 2015 12:50
"extended version”なのか
pocketberserker
@pocketberserker
Jun 06 2015 12:52
最新コミットのほうはhackageにない…?
Hackageに上がってない感じする?し、色々つらみがありそう
pocketberserker
@pocketberserker
Jun 06 2015 13:18
試したいなら全部ローカルでビルドするしかなさそうですね…
kenji yoshida
@xuwei-k
Jun 06 2015 13:23
探せばこういうの他にもいっぱいでてきそうだなぁ・・・
論文で言及されてるやつ https://github.com/JacquesCarette/GenCheck
これも "generalizes both QuickCheck and SmallCheck" と主張しており・・・