haskell-jp / questions #30

そうです。ただ、「最初の発行年」の部分を「ウェブサイトは毎年新たに発行されうるものだから～」と解釈して都度更新する習慣もないわけではないので、そういう慣習にしたがった人が見れば「あれ？」と思うであろうと言うことで「体裁の問題」と言いました。
https://liginc.co.jp/designer/archives/11313

そう考えると「2017 - 2018」と書くのが法的にも体裁的にも一番的確な気がしますね。
来年やります。 :sweat_smile:

深くやったものは特にはないんですが、SwiftとC++とExcelのVBAとHTML(後者二つはプログラミング言語と言っても良いのでしょうか)を触りだけやりました。Cはこれからやる予定です。

なるほど、ターミナルやコンソールなどを使ったことはありますか？

ターミナルはHaskellを使う時に使用しました。コンソールはないです。

homebrew を使うと、いろんなアプリケーションをターミナルでコマンドを打ち込むだけでインストールできるようになります。
stack は Haskell の処理系である GHC をより扱いやすくするためのツールです。
たとえば、プロジェクトごとに GHC のバージョンを管理したりできます。

いつも2017-とか書いてます

なるほど！使いやすくするのにあれば嬉しい機能ですね…！
今は使わないかもしれないので置いておきます。でもしっかり覚えておいて必要な時に思い出して使ってみたいと思います♪
ありがとうございました！

@yuya.gt has joined the channel

@toshihident has joined the channel

@ykaneoka7 has joined the channel

@decimaltsukumo has joined the channel

@knaito has joined the channel

Twitterでふみさんにもリプライしたのですが, https://wiki.hask.moe/ の証明書が11月10日に切れているので見れなくなってます,誰が管理者でしょう?

私必要ないと思ってるのでそもそも年書かないですね

stack repl 起動中に cabal ファイル（や package.yaml）を更新したときにそれらをリロードすることってできますかね？

そのドメインは fumi さん個人だったような

見落としていました。明日直します

私が知る限り無理

ghcid を使ったらどうですか？

ghcid --restart=package.yaml でいける気がしますが、あんまり使ったことないので実用に耐えれなかったらすみません。。

あ、けどこれだと repl にならないですね:sweat_smile:

ghcid -c "stack repl" --restart=package.yaml こっちでした。

これも上手くいかないですね:cold_sweat:

そういえばこちらに流すの忘れてましたが、いちよイシュー立てときました
https://github.com/haskell-jp/blog/issues/142

@yamanntyu22 has joined the channel

dhall で型などを別ファイル(例えば types/hoge_type.dhall )で定義して参照すると相対パスになるから cat tmp/hoge.dhall | dhall と実行するとうまくいかないんですけど良い方法ありますか？

自己解決 dhall < tmp/hoge.dhall ってすればいいのか

うそ、治ってないw

dhallおもしろい！

やっと見つけた！
https://github.com/dhall-lang/dhall-lang/issues/68

dhall <<< ./tmp/hoge.dhall でいいみたい
( ./ をつけないとダメ )

:thinking_face: f :: Monad m => a -> b -> m c なアクションと
x :: m a, y :: m b な値があるとき
join (f <$> x <*> y)
と書くのが一番簡潔な書き方なんですかね。
ほかにあるかな。 f の引数が3つ以上の時もいけるっぽいです。

僕もそれが一番簡潔だと思います

無理やり作った例がこちら

どんな簡潔さかによりますが、 join (liftA2 f a b) だと 1文字短いとか…

2引数限定ですが liftA2 f x y >>= uncurry f とも書けます。

@mihchang has joined the channel

@maoe liftA2 (,) x y >>= uncurry f ですかね?

そうです

前回、#generalのほうでimportについてお世話になりました
研究内容としてHaskell-Yampaでのデバッグ方法について勉強しているのですがその一つとしてQuickCheckについて勉強しています。
そこで質問なのですがHaskell-Yampaのゲームのデバッグなどは皆さんどのように行っているのか教えてもらえないでしょうか？

Yampaユーザーは極めて少なく、残念ながらYampa固有のデバッグ方法について回答は期待できないです。Haskellはデバッグの方法論が充実しているとは言い難く、Debug.Traceモジュールによるいわゆるprintfデバッグが最もオーソドックスと言えるでしょう

QuickCheckはもっぱら純粋な関数に対してテストをするために使われていて、状態を持っていてテストが難しいFRPに応用する枠組みを作るのは面白い研究だと思います

Lensの over 関数の、Functorな値を返す関数を渡すバージョンってないんですかね。
型宣言で言うと overM :: Functor f => ASetter s t a b -> (a -> f b) -> s -> f t みたいな型になるのかな、と思うのですが。

それってまさにLensそのものでは…

そうでしたね！普通に関数として使ってみたらできました！ありがとうございます！ :+1:

そういえば%%~というid関数のエイリアスもありました。人によってはこちらのほうが驚きが少ないかもですね

hoogleのようなツールを用いて、型の定義やエイリアスのみを検索する良い方法はありますか？hoogleで普通に検索するとほとんど関数しかヒットせず、困る場面は少ないけどちょっと不便だなと思っています。

https://github.com/ndmitchell/hoogle#readme に

:: a searches for the type “a”

とありますが、これで思ったように結果が絞れたりするでしょうか?

@jeedo has joined the channel

:thinking_face: 大文字で始まる名前に特に -> とかを含めなければ普通に型の名前が優先されているように見えますが、これではダメなんでしょうか？
https://www.haskell.org/hoogle/?hoogle=Maybe
https://www.stackage.org/lts-12.19/hoogle?q=Maybe