haskell-jp / questions #38

sgsh
2019-01-24 08:28:17 +0900
モジュールは定義してないので読まれないのはいいんですけど、まあたぶんdoubleMeも読まれてませんよね？、ここで
するとどうなりますか？あと念のためprojectのディレクトリ構成とghciを立ち上げている位置でのpwdを見せてください
sgsh
2019-01-24 08:34:44 +0900
あと、いつも使ってるIDEのhaskell plug-inとか、emacsのinteroとか使った方が楽かもしれません。
igrep
2019-01-24 08:37:27 +0900
あと、いつも使ってるIDEのhaskell plug-inとか、emacsのinteroとか使った方が楽かもしれません。

それは今は後回しにして良いんじゃないかと。。。多分すごいH本を読んでGHCiで試そうとしているだけですからおそらくまだそれらをインストールしてませんし、端末の操作に不慣れだと、それらのインストールもまた大変です。
igrep
2019-01-24 08:39:54 +0900
そして今更気づいたんですが、画面をスマホでとるよりはスクリーンショットという機能を使った方が見やすくて良いです。
https://support.apple.com/ja-jp/HT201361 を参考に、スクリーンショットで直接画面を画像として保存してみせてください。
（macOS Mojaveでない場合はすみません...）

あるいは、ターミナルの画面は、基本的にすべてそのままコピーできるようになっているので、 @Lizyc-jp さんの入力と、それに対する結果がわかるよう選択してコピーしてこちらに貼り付けてみてください。
大抵はそれで十分です。
sgsh
2019-01-24 08:45:17 +0900
https://haskell-jp.slack.com/archives/C5666B6BB/p1548286647228600?thread_ts=1548136855.190500&channel=C5666B6BB&message_ts=1

そうですね、失礼しました。
では<@UFDKZJBLK> さんは、端末操作に慣れてきたらもっと楽にhaskellプログラミングができる楽しいソフトがある程度に思っていただければ、

（ご回答の邪魔になるのでinteroなどの話は私からは以上にいたします。）
Lizyc-jp
2019-01-24 11:36:16 +0900
すみません。本当に初めてやるのがhaskellでなにもかも分かってない状態で初めてました。ターミナルも全くの初見です笑笑。:cd /path/to/directory baby.hs でやってみれば確認できるでしょうか？
りんご姫
2019-01-24 11:38:36 +0900
:cd /path/to/directory
:load baby.hs です　違うコマンドですよ
Lizyc-jp
2019-01-24 11:41:05 +0900
@sgsh さんが言ってたソフトもいずれは必要になるかもしれませんので、入れて色々と遊んでみますね！！
Lizyc-jp
2019-01-24 11:44:09 +0900
@りんご姫 さんありがとうございます:blush:まだまだ修行が足りないですね笑笑頑張ります！！
matsubara0507
2019-01-24 12:33:26 +0900
Haskell が初なの珍しい、ぜひ感想とか聞きたいですね :star:
Lizyc-jp
2019-01-24 12:40:24 +0900
こう言ったら失礼かもしれませんが、自分の親の友人のプログラマーが安全なhaskellが良いよと言われたのもありますしhaskellはjava程人気ではないというところがあって他と違うことがやりたいなって感じがしたというのもありやりたいなと思いました笑笑将来起業もしたいので、
sirkerf
2019-01-24 15:21:10 +0900
@sirkerf has joined the channel
sawada
2019-01-25 00:41:20 +0900
QuickCheckに関しての質問なのですが、以下のYampaプログラムをテストしたいです。
そのために必要なこととして、
１．初期座標、初期速度を変数にする(コマンドラインで指定できるようにする)
２．Yampaプログラムから直接テストを行うことは難しいので1000ループで区切りその座標速度ベクトルを配列に入れる
３．上でもとめた配列が条件に合うかどうか検証する(今回の場合は座標が-100以上)
だと思うのですが、具体的にどうプログラムを加えていけばいいでしょうか？
sawada
2019-01-25 00:46:21 +0900
上の動画の通り、あえて地面の接触判定が雑なプログラムで地面に整地せず、想定とは違う動きになるというのをQuickCheckでさまざまな初期位置初期速度を入力したときに座標が負になることでbool型で返していくイメージです。
2019-01-25 08:14:14 +0900
@ has joined the channel
fumieval
2019-01-25 09:13:08 +0900
http://hackage.haskell.org/package/Yampa-0.13/docs/FRP-Yampa.html#v:embed　embed関数を使うと、SFの出力をリストとして取り出すことができます。`embed (bouncingBall p0 v0) ((), repeat (0.1, Just ()))`の結果を検査すれば良いのではないでしょうか
apo
2019-01-25 11:31:28 +0900
@apo has joined the channel
sawada
2019-01-25 13:09:22 +0900
ありがとうございます。
embed関数を用いてためしてみます
sawada
2019-01-25 13:36:20 +0900
再度質問すみません
stack ghci上で上に似たようなコマンドを入力してリストが出たのを確認したのですがこれをどうやってQuickCheckの判定を含めて導入すればよいのでしょうか？
そもそもstack ghci上で上のコマンドを打つのが間違いなのでしょうか？
Lizyc-jp
2019-01-25 14:11:09 +0900
これは(show a)と記載されてると言うことはaを返すのではないのですか？自分としてはたしかにaに入ってるものはstring値ですが、なぜ最後はaではないのですか？
2019-01-25 14:12:38 +0900
これは「aがShowである」という制約を示しているだけで、返り値を示しているわけではないですね。
Lizyc-jp
2019-01-25 14:17:53 +0900
あーそういうことか笑笑自分制約あまり分からないものでもう少し勉強してきます笑笑
kakkun61
2019-01-25 14:53:29 +0900
ちなみに Show a の S は大文字ですね
2019-01-25 15:00:56 +0900
型は大文字から、関数は小文字から始まるのがHaskellの文法ですからね！
hexirp
2019-01-25 16:40:24 +0900
ラムダ式とクロージャって何が違うんですかね？ Haskell 関係でクロージャという言葉を聞いたことがないんですが、Haskell にクロージャはあります？
igrep
2019-01-25 16:52:38 +0900
「自由変数が含まれる関数」を返す関数によって返された関数、ぐらいの認識でした。
参照している自由変数はその「自由変数が含まれる関数」にしかアクセスできないのでprivateなフィールドをシミュレートする、みたいな例をあちこちの言語で見かけましたね。
典型的には https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AD%E3%83%BC%E3%82%B8%E3%83%A3 の最初に出てくるSchemeの例です。
同じ要領でHaskellでもできると思います。
igrep
2019-01-25 16:57:43 +0900
Haskellだと https://en.wikipedia.org/wiki/Closure_(computer_programming) に載っているようなPythonの例
def h(x):
    return lambda y: x + y  # Return a closure.

をそのまま再現しても単に2引数の関数を定義するのと変わらないので、意識されにくいというのはあるでしょうね。。。
fumieval
2019-01-25 17:06:02 +0900
ラムダ式は構文で、クロージャはオブジェクト(値など)の一種であると言えば違いは明らかになると思います。 でGHCのクロージャが説明されています
fumieval
2019-01-25 17:07:28 +0900
何かを習得するとき一般に言えることですが、複雑なことを成し遂げたいときはまず個々の動きから始めましょう。この場合の考え方は
• QuickCheckは純粋な関数をテストする仕組みである
• 簡単なもの(足し算の交換則など)をQuickCheckしてみて、基本的な使い方を知る
• SFを純粋に検査できるようにする(embed)
• 両者を組み合わせ、目標を達成する
Lizyc-jp
2019-01-25 17:10:10 +0900
そういう細かいとこも注意して頑張ってみます！！
hexirp
2019-01-25 18:03:06 +0900
回答ありがとうございます！ どちらも言われてみればそうですね！ クロージャ内では破壊的な代入が可能な必要があるという変な勘違いをしていました。そして、GHC のクロージャについての説明をつまみ読みしたんですが、Heap に保存される一つ一つのオブジェクトは全てクロージャ (GHC の呼び方に従えば) という理解で合ってます？ まるで空気のようですね……
syocy
2019-01-25 18:20:12 +0900
pure Haskell と言うとき、FFIやCとかがない Haskell コードを指すのか、IOなどの副作用がない Haskell コードを指すのか、どちらでしょうか。
kakkun61
2019-01-25 18:33:34 +0900
前者かなという気持ち
hexirp
2019-01-25 18:33:37 +0900
私は no IO の方を連想したんですが、検索してみると no FFI という意味が多い感じでした https://www.google.com/search?q=%22pure+haskell%22
sawada
2019-01-25 18:35:18 +0900
もう少しQuickCheckについて勉強していこうと思います
ありがとうございました！
aiya000
2019-01-25 18:57:12 +0900
完全に感覚の話なのですが、僕も前者だと感じました:wink:
りんご姫
2019-01-25 19:02:54 +0900
この場合のpureが前者だと感じるのは他言語からのアナロジーである可能性が多いと思います。無論私も前者と感じました pure JavaScriptだなどと言った場合に純JS製である事を意図していることから
fumieval
2019-01-25 19:04:29 +0900
GHC拡張などを使わないHaskell…というのはさておき私も前者派です
kazu
2019-01-25 19:42:43 +0900
Haskell の関数は、デフォルトでカリー化されているので、クロージャが陽には見えません。部分適応すれば、他言語でいうクロージャが返されますが、それをクロージャだと意識することはないです。
kazu
2019-01-25 19:43:41 +0900
ただ、Haskell の部分適応では、複数の関数で共有しているが、他からアクセスできないような変数は作れませんね。
kazu
2019-01-25 19:45:14 +0900
Haskell は pure であるというときと、pure Haskell で作るというときとでは、意味が変わると思います。
igrep
2019-01-25 20:43:57 +0900
タプルとか、何かしら複数の値を入れられるものに入れて返さない限りは無理でしょうから、確かに部分適用ではできませんね…
syocy
2019-01-25 22:11:00 +0900
みなさんありがとうございます。pure Haskell というのを only Haskell のこととしてみる方が多いようですね。pure Haskell implementation という表現をしているライブラリがあって気になっていました。
2019-01-26 01:30:44 +0900
@ has joined the channel
2019-01-26 13:41:35 +0900
D言語だとfunctionと外の値を持つdelegateが明確に別れていて面白いですね
https://tour.dlang.org/tour/en/basics/delegates
2019-01-26 13:57:59 +0900
@ has joined the channel
tiquer
2019-01-26 14:04:06 +0900
@tiquer has joined the channel