PPL2014

第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) @阿蘇に関連するつぶやきのまとめです。 基本的には発表内容に関するものを拾いました。質問とその回答が連なって読めるように一部順序を入れ替えています。 編集自由ですので、まとめられたくないつぶやきがありましたら削除してください。また、更なるコメント等をご存知でしたら (& 多少時間があったら) お気軽に追加してください。
9
前へ 1 2 ・・ 28 次へ
phenan @phenan

どれくらい静的にチェックできるのだろうか。ある程度は静的にチェックするんだよね? #ppl2014

2014-03-05 13:50:06

単純かつ実用的な静的サイズ検査つき線形代数演算ライブラリ

山本和彦 @kazu_yamamoto

TaPL 読んでない人にはまったく質問できそうにない気配。。。 #ppl2014

2014-03-05 13:50:27
山本和彦 @kazu_yamamoto

依存型は使ったことがないけど、型変換に苦労するのか。なるほど。 #ppl2014

2014-03-05 13:53:27
山本和彦 @kazu_yamamoto

metalb などでは、行列演算のサイズの整合性は保証されない。 #ppl2014

2014-03-05 13:58:56
山本和彦 @kazu_yamamoto

@esumii さんが、幽霊型、幽霊型って言ってたのはこれか! #ppl2014

2014-03-05 13:59:25
山本和彦 @kazu_yamamoto

構成子がないのが幽霊型。。。 #ppl2014

2014-03-05 14:00:48
山本和彦 @kazu_yamamoto

ファイルからベクトルを読み込むときなどは、静的に大きさが決まらない。 #ppl2014

2014-03-05 14:02:55
S (ツイートはスレッド全体をご確認ください) @esumii

「幽霊型」の用語法についてHaskell方面から苦情が来そうですが:-) http://t.co/phyQ0234F1 への返信(個人宛を含む)では、本来は「コンストラクタがない型」のこと、という意見でほぼ一致していました #ppl2014

2014-03-05 14:07:00
Yoshihiro Imai @yoshihiro503

「MatLabやSなどはベクトル、行列のサイズの整合性を静的に検査していない。実行時エラーや不具合の原因になっている。」 #ppl2014

2014-03-05 14:07:40
山本和彦 @kazu_yamamoto

移植されている? バインディングがあるという意味? #ppl2014

2014-03-05 14:08:42
Yoshihiro Imai @yoshihiro503

@yoshihiro503 「OCamlで幽霊型を使うと、ベクトルや行列のほとんどの高水準な演算についてサイズの整合性が静的に保証される」 #ppl2014

2014-03-05 14:10:38
山本和彦 @kazu_yamamoto

OCaml では実装できないと言ったような気がするのだが、どうやって実装したのだろう。Functor を使えば壁を越えられるのかな? #ppl2014

2014-03-05 14:12:42
XENO @xenophobia__

サイズの一致しか見ないように型制約を緩めれば、既存の型システムに大きな変更を加えなくても実装できるし、静的にサイズが決まらないベクトルにも型がつけられるという利点も得られるということか。 #ppl2014

2014-03-05 14:14:06
山本和彦 @kazu_yamamoto

やっぱり、バインディングだ。移植という表現はよくないなぁ。 #ppl2014

2014-03-05 14:14:09
Κeіsuke Νakanο @ksknac

GADT を使った方がきれいに書けそうな気がする… #ppl2014

2014-03-05 14:14:42
Yoshihiro Imai @yoshihiro503

「アルゴリズムのサンプルコードは https://t.co/nPF3C0cjVp にある」 #ppl2014

2014-03-05 14:14:51
山本和彦 @kazu_yamamoto

検証できたというのはどういう意味だろう? 型エラーを起こすコードに対して、型エラーを検知できたのだろうか? #ppl2014

2014-03-05 14:16:17
山本和彦 @kazu_yamamoto

さっきの研究でも同じこと思ったんだけど、実行時検査してエラーになるのと、例外が飛ぶのは、何が違うんだろう。説明された例に限った話だけれど。 #ppl2014

2014-03-05 14:21:23
S (ツイートはスレッド全体をご確認ください) @esumii

このバックアップスライド数は私がこれまでの人生で見た中でダントツ最多 #ppl2014

2014-03-05 14:21:37
前へ 1 2 ・・ 28 次へ