haskell-jp / random #46

PreviousTopNext
2019-04-10
00:20:53 +0900
fumieval
(絶対遅れそう…)
2019-04-10
04:00:44 +0900
yharuhi39
遅れてほしくはないが。8.6.4の段階だとTHが使い物にならない(コンパイル時間的に)ので、それを直してから8.8に行ってほしいとは思う。 もうすでに当初の8.8.の予定から遅れてるし。
2019-04-10
08:02:45 +0900
igrep
Cのコードを生成する組み込みシステム向けHaskell製DSL https://copilot-language.github.io/
同じようにCのコードを生成するDSLといえばIvoryがありますが、こちらはまた対象がちょっと違うのかな?
2019-04-10
10:00:57 +0900
notogawa
あんまりHaskellerっぽくはないCコードを生成しますね.
2019-04-10
10:11:33 +0900
notogawa
サンプルコードから生成されたものですが,.cと.hがセットで吐かれて,.hが
uint8_t temperature;
void heatoff(float heatoff_arg0);
void heaton(float heaton_arg0);
void step(void);

みたいな感じ..cで実装されてるのは step のみで, heatonheatoff は自分で別途実装する.これを利用する側では「 temperature にセンサ等から拾った温度を代入して step 呼ぶ」 を無限ループするような処理を書くと, temperature がHaskell側で定義した条件に合致したときに heatonheatoff が呼ばれるような step になっているので,ハードウェアの制御とかができますよ的な.
2019-04-10
15:09:17 +0900
igrep
GHC 8.6.5-rc1, やっぱり https://gitlab.haskell.org/ghc/ghc/issues/16408 この問題直していただけてました。 :tada:
久々に手元のパッケージのhaddockを手元で変なワークアラウンドなしに出せたのでうれしい。 :joy:
2019-04-10
17:54:26 +0900
a_kirisaki
Stackでpackage.yaml使う場合alexとhappy入れておけば自動で使ってくれるという知見を得ました
2019-04-10
18:25:15 +0900
igrep
ん?どういう意味ですか?
hpackを入れておけば自動で使ってくれる、ではなくて?
2019-04-10
18:28:56 +0900
a_kirisaki
cabalファイルみたく明示的に書かなくても.xと.yで自動的にalexとhappy使ってくれるという、多分自明っぽいやつです
2019-04-10
18:31:52 +0900
yharuhi39
.chsとかはどうなんでしょ?
2019-04-10
18:37:50 +0900
a_kirisaki
stackのソース見たら対応してるっぽいですね 
2019-04-10
18:43:41 +0900
igrep
そうか... cabalでalexやhappyを使ったことがないので存じませんでした... :serval:
2019-04-11
12:41:06 +0900
lotz
ゼロコストは言い過ぎとRedditで突っ込まれてますが実際速いみたいですね :eyes:
https://www.reddit.com/r/haskell/comments/bbqzrd/ann_polysemy_higherorder_noboilerplate_zerocost/
2019-04-12
14:07:40 +0900
igrep
今日のHaskell Weeklyから。なんかHaskellを使ったプログラミング未経験者でも読める本を出すらしい。 :books:
https://atypeofprogramming.com/
2019-04-13
13:42:07 +0900
kometsuga
@kometsuga has joined the channel
2019-04-13
19:21:52 +0900
a_kirisaki
STM使ったマルチキャストなロガーライブラリをhackageに上げてみました。初めてなので緊張した……。英語は大目に見てください https://hackage.haskell.org/package/caster-0.0.1.0
2019-04-14
19:59:48 +0900
fumieval
続報を待て
2019-04-15
15:12:53 +0900
igrep
依存型と線形型つきな言語?
https://github.com/granule-project/granule
2019-04-15
16:26:28 +0900
yharuhi39
(ghc)Haskellの機能として依存型と線形型は欲しいですよね。
2019-04-15
20:28:52 +0900
e0956224
@e0956224 has joined the channel
2019-04-16
10:52:54 +0900
kazu
prime.haskell.org の証明書って、期限切れになってませんか?
2019-04-16
10:53:29 +0900
matsubara0507
なってる
2019-04-16
10:53:45 +0900
matsubara0507
2019年4月11日木曜日 6時03分43秒 日本標準時
2019-04-16
11:09:42 +0900
kazu
GHC 8.8 では、Monadクラスからfailメソッドが取り除かれ、パッケージが多数死亡。リリースされても、嵐が通り過ぎるのを待ってご利用下さい。
2019-04-16
11:23:16 +0900
igrep
お使いのパッケージがまだ対応できてない!という場合、 http://head.hackage.haskell.org/ のご利用もご検討ください。
https://github.com/hvr/head.hackage で管理されている、パッチを当てたバージョンを取得することが出来ます。
2019-04-16
11:24:03 +0900
igrep
(まぁ、8.8がリリースされる頃には本家Hackageに対応済みのバージョンがリリースされると思いますが)
2019-04-16
11:34:31 +0900
kazu
ありがとう。headを試してみたけど、最新の Cabal & cabal-install が入ってないと、結局使えないみたい。
2019-04-16
17:45:03 +0900
yharuhi39
baseライブラリの fail の報告イケてないと思います 絶対消すって決定した時点でdeprecated なりwarning なり入れとくべきでしょ。 少なくともそれで多くのユーザにまだ、 Monad.failを使ってるって情報を与えて変更しやすくしないと…
2019-04-16
17:49:04 +0900
fumieval
MonadFailに関する仕様変更は当初の計画とも違っており、反面教師にしなければならない例ですね…
2019-04-16
17:49:55 +0900
fumieval
8.6の時点で壊れるのはdoの中で部分的なパターンを使った場合のみで、8.8ではかなりのコードが壊れることが予想されます
2019-04-16
17:50:09 +0900
kazu
-Wcompat が-Wallに含まれてない問題?
2019-04-16
19:13:46 +0900
ncaq
-Wcampat有効にしてたから警告消すの気持ち良いんじゃ~ってやってましたね
こういう破壊的変更は確かに一度-Wallにも入れるべきな気がします
2019-04-16
23:02:37 +0900
mizunashi-mana
GHC 8.8 では StarIsType が次の段階に行く他、 local の kind generalization のアルゴリズムも変わるので、 type level coding を多用してるコードも、 warning なりコンパイル出来なくなったりすることが増えそうですね
https://gitlab.haskell.org/ghc/ghc/wikis/migration/8.8
2019-04-17
13:18:00 +0900
kazu
確認しましたが、fail の問題は、GHC 8.6 + -Wcompat でも警告は出ませんでした。
ダメだこりゃ。
2019-04-17
13:26:08 +0900
fumieval
「Monadのfailメソッドを使っている」ことに関しては一切警告はないので、完全に不意討ちを喰らいましたね
2019-04-17
13:27:06 +0900
kazu
ちょっと、haskell-cafe に行ってくる(ghc-dev だと狭すぎる)。:-)
2019-04-17
16:40:32 +0900
igrep
https://wiki.haskell.jp/Hikers%20Guide%20to%20Haskell#%E3%81%9D%E3%81%AE%E3%81%BB%E3%81%8B%E8%A8%98%E5%8F%B7%E3%81%AE%E8%AA%BF%E3%81%B9%E6%96%B9
Haskellで使われる記号についてお悩みの方をTwitterで見かけたので、「Haskellの歩き方」に https://github.com/takenobu-hs/haskell-symbol-search-cheatsheet などの情報を追記しておきました(有用なまとめだと自負しているので気が向く度に宣伝します :triumph: )。
2019-04-17
16:44:48 +0900
fumieval
はてなブックマーク数1は明らかに過小評価されてますよね…
2019-04-17
16:52:24 +0900
ekmett
@ekmett has joined the channel
2019-04-17
19:03:47 +0900
cutsea110
wow, @ekmett was here!
2019-04-17
19:05:33 +0900
igrep
Haskell Dayにて講演いただくプランが進行中です。 :sunglasses:
ビデオチャットでの講演になるかもですが
2019-04-18
09:36:52 +0900
kazu
@lotz Foldableの背景ですが、Crushは読みましたか? (単なるHutton本2の受け売りです。僕は理解していません。)
2019-04-18
09:37:55 +0900
kazu
"Calculate Polytypically!", Lambert Meertens
2019-04-18
10:24:46 +0900
lotz
読んでませんでした!
Hutton本2は持ってないんですが、調べたら意外にも出てきて、恐らく [28] が "Calculate Polytypically!", Lambert Meertens でしょうか…?
読んでみます :pray: :exclamation:
ありがとうございます!
https://books.google.co.jp/books?id=75C5DAAAQBAJ&pg=PA210&lpg=PA210&dq=foldable+%22Crush%22+haskell&source=bl&ots=na3vVkoxz1&sig=ACfU3U1a3cmytF_FL_xTLjL9bR5vVTHZPg&hl=en&sa=X&ved=2ahUKEwjn6dbUutjhAhVFzbwKHXR0AQ0Q6AEwAXoECAgQAQ#v=onepage&q=foldable%20%22Crush%22%20haskell&f=false
2019-04-18
20:50:32 +0900
ogtkzk712
@ogtkzk712 has joined the channel
2019-04-19
00:00:08 +0900
hiroto.shioi
参加してるカンファレンスにて
2019-04-19
00:00:24 +0900
hiroto.shioi
2019-04-19
00:00:41 +0900
hiroto.shioi
2019-04-19
00:00:49 +0900
matsubara0507
ラムダマン(笑)
2019-04-19
00:01:47 +0900
hiroto.shioi
ラムダマンいつも通り印象的なスピーチしてました。
PreviousTopNext