haskell-jp / random #29

nobsun
2018-11-07 17:40:06 +0900
evalShow :: Int -> Expr -> String
というのを実装してみました．値の近似列を指定した段数まで，または，確定するまで表示します．
as_capabl
2018-11-07 18:05:58 +0900
@ それは1/0が無限ループになるようにDivの定義を変えて辻褄合わせるしかないですね…
as_capabl
2018-11-07 18:09:51 +0900
個人的にはdenotation、つまり式が抽象的に持つ値をvalueと呼ぶ立場は実はけっこう好きなんですが、ただ一般的なプログラマの感覚とずれる部分は間違いなくあるっぽいんですよね…
2018-11-07 18:10:00 +0900
@as_capabl 停止するボトムにコンストラクタを割り当てることでも可能じゃないですかね?
nobsun
2018-11-07 18:10:30 +0900
変更したLazy版は 1/0が無限ループに落るようになってます．:)
as_capabl
2018-11-07 18:11:06 +0900
たとえば今回の場合、Iter Value'をvalueと呼んでしまうとcall-by-valueというタームが意味不明になってしまう
as_capabl
2018-11-07 18:16:48 +0900
Porの定義は、何をfalseとするかの問題なので、あまり細かく考えてないです
nobsun
2018-11-07 18:21:15 +0900
call-by-hogehoge はあんまり使いたくないというのが正直なところ，
一般的な「imperative」プログラマの感覚とはずれるけど．．．
(私はもはやimperativeな感覚を失なっているようで，declarativeな表現の方がしっくりきます)
as_capabl
2018-11-07 18:29:01 +0900
新しいPorの定義だと、 Por (Con 1) (Con 2) と Por (Let (...) (Con 1)) (Con 2) が違う値になってしまうのが気持ち悪いかな…
nobsun
2018-11-07 18:34:12 +0900
この場合は Por の意味は先に計算が終った方という意味なので，ありかなと思います．
2018-11-07 18:36:47 +0900
まあ，最適化とか考えるときに問題にはなると思いますが，あくまでToyなのでそこは突っ込みませんでした
nobsun
2018-11-07 18:37:02 +0900
もちろん，左のオペランドにすこしバイアスがありますが，
nobsun
2018-11-07 18:39:58 +0900
Por は非決定性をもちこむことになるので，決定性があることが前提の最適化とは最悪の相性でしょうねぇ．
2018-11-07 18:44:22 +0900
(かなり本題から外れる気がしますが)多分一番の問題はまともなequational reasoningが書けないことにあると思いますね(本来のporの定義であれば書けます)（なお， @as_capabl さんの方も書けなそう．あと，porがstrictじゃない(⊥ por ⊥ /= ⊥)のも気になる感じですね）．なので，今の定義だと幾つか嬉しい性質が壊れる気がします
nobsun
2018-11-07 19:01:10 +0900
eval (Por bot bot)が停止しないのと，evalShow 20 (Por bot bot) =>"⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,⊥,..." なので多分 Por ⊥ ⊥ = ⊥になると思います．
2018-11-07 19:27:17 +0900
あ，すいません勘違いでした． 想定してたのは Por (Div (Con 1) (Con 0)) (Div (Con 1) (Con 0)) みたいなやつなんですが，普通にこれは exception 吐くんですね．普通にstrictでした
nobsun
2018-11-07 19:29:03 +0900
あれっ．いまのは，例外をはかないと思います．
2018-11-07 19:32:42 +0900
あ， @as_capabl さんの方ので言っています．多分， @nobsun の方も問題ないと思いますね (ミスって， random にも投稿してしまったっっ)
2018-11-07 19:38:39 +0900
一応補足ですが， @as_capabl さんの方で問題になりそうと思ったのは，
>>> eval $ Div (Con 1) (Con 0) `Por` Con 1
1
>>> eval $ Div (Con 1) (Con 0) `Por` Div (Con 1) (Con 1)
*** Exception: divide by zero

ですね
2018-11-07 21:47:12 +0900
@ has joined the channel
as_capabl
2018-11-08 08:24:20 +0900
それも1/0が無限ループするようにすれば整合性がつきますが、それはそれとしてporの意味論とかはもう少し勉強してきます
hiratara
2018-11-08 12:04:28 +0900
「高階な」って言葉が気になるのは私だけですかねえ・・・。 MonadPlus m であれば m a はモノイド、ならシンプルかつ正しい主張でいいんですけど。
hexirp
2018-11-08 14:16:19 +0900
Monoid1みたいな？
olafs
2018-11-08 20:11:49 +0900
@olafs has joined the channel
nobsun
2018-11-09 12:44:15 +0900
私が勝手に意味を変えたPorは参照透明性を破壊します．
nobsun
2018-11-09 12:45:49 +0900
というわけでまともなものではないです．勝手に意味を変えてすみません．:disappointed:
2018-11-09 18:00:33 +0900
@ has joined the channel
calibur
2018-11-10 11:13:02 +0900
@calibur has joined the channel
kyusuke
2018-11-10 11:28:53 +0900
@kyusuke has joined the channel
2018-11-10 12:29:24 +0900
@ has joined the channel
qnoyxu
2018-11-10 12:42:15 +0900
@qnoyxu has joined the channel
m-nagashio
2018-11-10 14:29:11 +0900
@m-nagashio has joined the channel
2018-11-10 16:42:33 +0900
@ has joined the channel
2018-11-10 16:49:00 +0900
@ has joined the channel
hanotch
2018-11-10 18:17:53 +0900
@hanotch has joined the channel
mi-chang
2018-11-11 19:48:24 +0900
@mi-chang has joined the channel
fumieval
2018-11-12 11:06:56 +0900
賛成多数、反対意見はゼロだったので、当該チャンネルはアーカイブしました
KIMOTA
2018-11-14 11:22:35 +0900
@KIMOTA has joined the channel
kakkun61
2018-11-14 22:04:37 +0900
GHC か stack のバージョンが上がったせいなのか、Windows でこの手順で iconv がビルドできなくなっててしんどい
resolver: lts-12.17
https://teratail.com/questions/102462#reply-157722
kakkun61
2018-11-14 22:15:02 +0900
GHC 8.2 から GHC の iconv 依存がなくなったのかな？
kakkun61
2018-11-14 22:53:08 +0900
stack exec -- pacman -S libiconv-devel

して
stack build --extra-include-dirs="$(stack path --programs)\msys2-20180531\usr\include" --extra-lib-dirs="$(stack path --programs)\msys2-20180531\usr\lib"

でいけた
kakkun61
2018-11-14 23:06:40 +0900
リンク時にエラーになった……
> `libiconv_open' に対する定義されていない参照です
kakkun61
2018-11-14 23:12:20 +0900
--- a/iconv.cabal
+++ b/iconv.cabal
@@ -26,7 +26,7 @@ library
   includes:        hsiconv.h
   include-dirs:    cbits
   c-sources:       cbits/hsiconv.c
-  if os(darwin) || os(freebsd)
+  if os(darwin) || os(freebsd) || os(windows)
     -- on many systems the iconv api is part of the standard C library
     -- but on some others we have to link to an external libiconv:
     extra-libraries: iconv

で大丈夫っぽい
kakkun61
2018-11-14 23:14:55 +0900
iconv って darcs 管理なんですけど PR とかどうすればいいんですかね？
メールでパッチ？
as_capabl
2018-11-15 00:21:32 +0900
ちょっとずれるかもしれませんが、Windowsでposix系ライブラリを使う場合、msysを別途インスコしてstackでskip-msysする手順の方が色々うまくいく印象があります http://fumieval.hatenablog.com/entry/2017/10/11/230117
as_capabl
2018-11-15 00:24:02 +0900
もう一つ蛇足ですが、窓まで考慮に入れるとiconvよりicuの方が良さそうという意見も https://twitter.com/as_capabl/status/783601389666643968