haskell-jp / random #54

tmym
2019-07-17 12:46:16 +0900
@tmym has joined the channel
notogawa
2019-07-17 12:49:15 +0900
Internal(s)っぽいモジュールはそれが何のためにexposeされるかはパッケージ毎に提供者の意図によって異なるからです．
たとえば「テスト等の事情でexposeされているだけ」なのと「(速度のためなどで)内部構造にアクセスしたい人がいるかもでexposeしてる」では，
パッケージ提供者だけが使うのかパッケージ利用者も使うのかが違ってきます．
ここが違うと検索にひっかかって欲しいかどうかも異なってくるのではないでしょうか．
igrep
2019-07-17 12:55:19 +0900
パッケージ利用者が検索するにしても、Hoogleで検索しますかね？わざわざInternalを使おうとするユーザーは直接パッケージのドキュメントを読みませんか？
そしていずれにしてもあくまで「デフォルトでは」という話ですし、わかりやすいところにチェックボックスを一つ置くなりして誘導すればいいでしょうし。
igrep
2019-07-17 13:00:36 +0900
まさに同じ話をしているissueがあった https://github.com/ndmitchell/hoogle/issues/246
隠すのではなく検索結果での表示順を下げる、と
notogawa
2019-07-17 13:01:52 +0900
どうやって対応するんですかね．「それがInternal(s)相当である」ことをHoogle側が判断するのは不可能ですよね．
ネーミングは慣習でしかないし，Internal/Internalsで既にユレがあります．
やるなら「このモジュールはそういうモジュールである」ことを示す何かが入ってないと禍根を残すと思いますが．
igrep
2019-07-17 13:06:48 +0900
「Internal(s)という名前を付ける」という慣習は十分に普及しているので、名前で特別扱いするので十分かと思います。
もちろん厳密な解ではありませんが、（実際私自身 PublicForTesting なんて名前を付けたことがありますし）厳密でなければならないという話ではないと思います。
慣習が広まっている以上、わざわざ公開しているmoduleにInternalなんて名前を含めるのは希でしょうし。
maton
2019-07-17 14:08:32 +0900
Testing時だけ全部Exposeされたものとして扱えるような言語機能があると嬉しそうですが…
notogawa
2019-07-17 14:10:10 +0900
それはそれで欲しいですね．
2019-07-17 15:36:10 +0900
Internalなモジュールの関数を｢とりあえず今は呼ばないとやりたいこと実現できねえ!次のバージョンアップの前にpull request出せば良い!｣って呼び出すこと結構あるので検索に出ないのはちょっと困りますね
igrep
2019-07-17 15:37:09 +0900
検索結果の順位を下げるのはどうでしょう？
2019-07-17 15:38:43 +0900
まあそれなら別に問題はだいたいなさそうですね
りんご姫
2019-07-17 17:48:11 +0900
それこそ、なんちゃらっていう正規表現（？）にマッチした・しないモジュールは除外みたいなオプションがあればいいってことなんですかね？ そういう機能要望とかはありそうですけどどうなんですかね。
2019-07-17 17:55:30 +0900
順位を下げる方法だとサーバサイドの修正が必要ですけどInternalもう一切見たくないって人向けには検索画面にフロントエンドでオプションとして追加できそうですね
hongminhee
2019-07-18 02:25:02 +0900
@hongminhee has joined the channel
Takatoshi Ichikawa
2019-07-18 23:56:22 +0900
@Takatoshi Ichikawa has joined the channel
igrep
2019-07-20 11:24:45 +0900
Haskellで書かれたFRPライブラリー、Yampa製らしい。
https://linearity.itch.io/peoplemon
igrep
2019-07-20 11:25:02 +0900
名指しは控えますがこういうのもっとこっちにも共有して頂けるとありがたい。
こっち中心に見てる人もいるようなので！
2019-07-21 01:28:18 +0900
@ has joined the channel
(ツク)ヨミ
2019-07-21 19:26:43 +0900
@(ツク)ヨミ has joined the channel
rnons
2019-07-21 19:32:45 +0900
Hi, didn't find a #jobs channel, so posting here. I'm looking to hire a PureScript/Haskell intern or part-time developer, details at https://gist.github.com/rnons/c04acc1f4db94ffee890f425acfb3dc4, thanks
fumieval
2019-07-22 12:55:57 +0900
こっそりextensible-0.6をリリースしました。barbiesと互換になったので活用の機会も増えるはず http://hackage.haskell.org/package/extensible-0.6
lotz
2019-07-22 13:02:51 +0900
HKDが着せ替え人形のイメージでbarbieって名前なんですね :eyes:
karika
2019-07-22 13:05:11 +0900
@karika has joined the channel
igrep
2019-07-22 13:06:20 +0900
お気づきですか :smirk:
matsubara0507
2019-07-22 13:40:22 +0900
対応しなきゃ、extensible-0.6
igrep
2019-07-22 15:41:20 +0900
extensible-0.6, 早速今日用事が出てきたので使います :muscle:
Petri Kivikangas
2019-07-23 11:02:26 +0900
@Petri Kivikangas has joined the channel
kanimum
2019-07-23 16:07:33 +0900
@kanimum has joined the channel
fumieval
2019-07-23 23:09:10 +0900
http://hackage.haskell.org/package/winery-1.1.2 シリアライゼーションライブラリwinery-1.1.2をリリースしました。readFileSerialiseとencodeTermを追加しただけのささやかなアップデートです（もちろんGHC 8.8は対応済み）
as_capabl
2019-07-24 08:54:35 +0900
チラ裏ですけど、最近はやりのHKDを使って、Redux的な事ができるんじゃないかなあと考えたりした。
UIの状態をJSONで持っているために、更新フック等のコードをある程度自動生成できる事が、Reduxのコア技術の一つだと思っています。
似たような事をHaskellでやろうとするとHKDになるのかなと
もしかすると既にやってる人いるかも
fumieval
2019-07-24 09:50:55 +0900
2年前実験的なGUIライブラリを作っていたのを思い出しました。UIを表すDSLから型族で状態を導出するという仕組みで、その一部で拡張可能レコードのHKD能力を利用していましたが、全部HKDに統一するというアプローチもできるかもしれません　
as_capabl
2019-07-24 12:43:37 +0900
なるほど、かなりイメージに近い感じがします。
sumitek
2019-07-24 18:28:34 +0900
@sumitek has joined the channel
2019-07-27 08:16:55 +0900
@ has joined the channel
2019-07-27 11:53:37 +0900
@ has joined the channel
coord.e
2019-07-27 13:47:32 +0900
@coord.e has joined the channel
haskellheads
2019-07-27 13:49:08 +0900
@haskellheads has joined the channel
2019-07-27 13:49:22 +0900
@ has joined the channel
2019-07-27 13:51:19 +0900
@ has joined the channel
2019-07-27 15:01:17 +0900
@ has joined the channel
penguin
2019-07-27 15:20:15 +0900
@penguin has joined the channel
ほげやま
2019-07-27 18:02:53 +0900
@ほげやま has joined the channel
2019-07-28 09:48:32 +0900
@ has joined the channel
show
2019-07-28 17:51:35 +0900
@show has joined the channel
kazup0n
2019-07-29 15:06:22 +0900
@kazup0n has joined the channel
igrep
2019-07-29 17:10:41 +0900
マルチスレッド向けのRTS（ -threaded で有効になるやつ）がデフォルトで有効になる提案がacceptされました。
https://github.com/ghc-proposals/ghc-proposals/pull/240
igrep
2019-07-29 17:13:20 +0900
「実は -threaded が必要なライブラリーを使っていたけど有効にするのを忘れてたので全然うまく動かない」みたいなケースを未然に防げそうです（経験者談）。
igrep
2019-07-30 12:39:27 +0900
型レベルプログラミングを型レベルでテストする。should-not-typecheckパッケージとはまた違った使い心地で面白そう。
https://github.com/sheyll/type-spec