Cookwitter | Quetter | 関東渋滞
にらめったー(NearMetter)とは、気になる2人のTwitterユーザー対談が見られるツイ談(Twi談)サイトです。

Twitterユーザー名

vs

Twitterユーザー名

取得可能 (最終取得時間:2011-03-05 00:52:07)

shelarcytanakh のツイ談  

shelarcy

@tanakh リリース前にこの問題直さないとまずいのではないかしら? http://hackage.haskell.org/t...

2011-02-28 21:20:36 - 返信元ツイートを取得する

 

tanakh

@shelarcy うーむなんと・・・。プラットフォーム別にリリースできないもんなんですかね

2011-02-28 21:22:09 - 返信元ツイートを取得する

 

shelarcy

@tanakh いや、このようなプラットフォーム固有の問題だけではなくて、プラットフォーム非依存で critical な問題も残っているので、プラットフォーム別にリリースすることにするだけでは問題は解決しないと思います。

2011-02-28 21:29:18 - 返信元ツイートを取得する

 

にらめったーはご覧のスポンサード リンクの提供でお送りします

shelarcy

@tanakh 例えば、今日ようやく解決扱いになった性能問題 [ http://bit.ly/eSvZVs#comment... ] とか、最近新しく発見された性能問題 [ http://bit.ly/hw6EV9 ] とか。

2011-02-28 21:33:03 - 返信元ツイートを取得する

 

shelarcy

@tanakh (いずれも GHC 7.0.x を使うと、 6.12.x で生成するコードよりも遅くなるという問題です……。)

2011-02-28 21:34:22 - 返信元ツイートを取得する

 

shelarcy

@repeatedly @tanakh それも原因の一つではありますが、一番の原因は(Haskell Platform のリリースが見えてきたことで)GHC 7.0.2 のリリース間際になって critical な問題が多数報告されるようなったためだと思います。

2011-02-28 21:43:01 - 返信元ツイートを取得する

 

tanakh

@shelarcy うーん、なるほど。なかなか難しそうですね

2011-02-28 23:09:58 - 返信元ツイートを取得する

 

shelarcy

@tanakh さんも間違いなく巻き込まれますが、良いですか?

2011-03-01 19:28:54 - 返信元ツイートを取得する

 

tanakh

@shelarcy 僕はもう引退しているので、大丈夫じゃないでしょうか?

2011-03-01 19:30:32 - 返信元ツイートを取得する

 

shelarcy

@tanakh 狭義の競技プログラミングだと引退しているので安心かもしれませんが、広義の競技プログラミングだと ICFP などのプログラミングコンテストまで含まれる可能性が!

2011-03-01 19:35:11 - 返信元ツイートを取得する

 

tanakh

@shelarcy ああ、なるほど。しかし僕はそういうカップリングとは無縁だったので…。

2011-03-01 19:35:43 - 返信元ツイートを取得する

 

shelarcy

@tanakh 可愛いアイコンの人 = 男の娘なので、彼女になるのは躊躇う説。

2011-03-03 22:38:17 - 返信元ツイートを取得する

 

tanakh

@shelarcy 成る程、しかし彼女になる云々じゃなくて、映画を見に行くだけですよ?

2011-03-03 22:40:43 - 返信元ツイートを取得する

 

shelarcy

@tanakh ああっ、そうでしたね。でも、男の娘だから若い女性という条件が難しいの。 > http://twitter.com/tanakh/st...

2011-03-03 22:42:47 - 返信元ツイートを取得する

 

tanakh

@shelarcy なるほど…。若い女性という条件をつけるというのには賛否両論ありましたが、そのほうが肉食系をアピールできてよかろうということでした。

2011-03-03 23:04:07 - 返信元ツイートを取得する

 

shelarcy

@tanakh つ [haskell-jp:595] GHC 7.0.1 リリース http://www.sampou.org/cgi-bi...

2011-03-04 00:37:16 - 返信元ツイートを取得する

 

tanakh

@shelarcy おお、今回ので、cabal-installでもサポートされたということでしょうか?

2011-03-04 00:38:46 - 返信元ツイートを取得する

 

shelarcy

@tanakh cabal-install での test 機能は単なる皮の部分なので、今回のバージョンアップは特に関係ないはずです。

2011-03-04 00:43:33 - 返信元ツイートを取得する

 

tanakh

@shelarcy なるほど。そうでしたか。

2011-03-04 00:44:09 - 返信元ツイートを取得する

 

shelarcy

class PeroPero p where peropero :: (a -> b) -> p a -> p b; (<$) :: a -> p b -> p a QT @tanakh: peropero = fmap ということにすれば、いろいろぺろぺろできるとおもう。

2011-03-04 14:59:33 - 返信元ツイートを取得する

 

shelarcy

@tanakh 滅はやりましたか?

2011-03-04 15:19:38 - 返信元ツイートを取得する

 

tanakh

@shelarcy やってないです。そんなのがあったんですか

2011-03-04 15:20:26 - 返信元ツイートを取得する

 

shelarcy

@tanakh Ver.2以降では、「滅」モードというのが新しく加わっています。裏側のストーリーが描かれる(あと「滅」モードではゲーム性がちょっと変わっている)ので、まだやってないなら「滅」モードをプレイしてみると良いと思います。

2011-03-04 15:24:17 - 返信元ツイートを取得する

 

tanakh

@shelarcy なるほど。やってみようと思います。

2011-03-04 15:25:13 - 返信元ツイートを取得する

 

shelarcy

@tanakh 証明が好きというよりは、きちんと書かれた仕様(記述が正しいことを保障する証明付き)が欲しいのだと思います。Haskell を使っていても、型で説明されていない部分については、そうした仕様を詳しく書いたドキュメント(論文含)が欲しくなりますよね。

2011-03-04 17:39:50 - 返信元ツイートを取得する

 

tanakh

@shelarcy うーむなるほど。Haskellでも型で表されているのは部分的だということですね…

2011-03-04 17:41:25 - 返信元ツイートを取得する

 

shelarcy

@ikegami__ @erutuf13 @tanakh GADTs の Complete & Decidable な型推論は GHC 7.0.1 でようやく入りました。 http://bit.ly/dM4UzK http://bit.ly/9vcxk2

2011-03-04 17:46:54 - 返信元ツイートを取得する

 

tanakh

@shelarcy なんと。すばらしいです。

2011-03-04 17:48:18 - 返信元ツイートを取得する

 

shelarcy

@ikegami__ @erutuf13 @tanakh 代わりに GADTs や型族を使うと、let 式や where 節内のローカルな変数は(型シグネチャをつけない限り)単相的に推論されることになってしまいましたが。 http://bit.ly/fOsk2k

2011-03-04 17:49:31 - 返信元ツイートを取得する

 

tanakh

@shelarcy やはり制限しないと無理でしたか。

2011-03-04 17:50:01 - 返信元ツイートを取得する

 

shelarcy

@tanakh はい。(さっき書いたように) Hindley-Milner の機能を一部取り除くという制限を加える必要がありました。 http://bit.ly/dbrLT7

2011-03-04 17:52:19 - 返信元ツイートを取得する

 

tanakh

@shelarcy ふむふむ。なるほど。

2011-03-04 17:52:55 - 返信元ツイートを取得する

 

shelarcy

@tanakh にゃーん♩☆ミ

2011-03-05 00:22:32 - 返信元ツイートを取得する

 

tanakh

@shelarcy ごろにゃーん☆彡

2011-03-05 00:22:58 - 返信元ツイートを取得する

 

shelarcy

@tanakh ごろごろごろにゃーん♫★ミ

2011-03-05 00:24:06 - 返信元ツイートを取得する

 

tanakh

@shelarcy ごろごろ。すりすり。にゃ~ん。

2011-03-05 00:24:47 - 返信元ツイートを取得する

 

shelarcy

@tanakh すりすり♬☆にゃーん♪♥ミ

2011-03-05 00:25:53 - 返信元ツイートを取得する

 

tanakh

@shelarcy にゃーごにゃーご。ぺろぺろ。にゃーん☆彡

2011-03-05 00:26:28 - 返信元ツイートを取得する

 

shelarcy

@tanakh にゃーごにゃーご♬☆ミ /// ふわわふわ。ぺろぺろ。にゃーん♪★ミ

2011-03-05 00:31:02 - 返信元ツイートを取得する

 

tanakh

@shelarcy にゃあ、にゃあ、すりすり、すりすり。もみもみ。にゃーん。

2011-03-05 00:32:06 - 返信元ツイートを取得する

 

shelarcy

@tanakh にゃぁ♩☆ミ にゃぁ♫★ミ すりすり♬☆ミ すりすり♪★ミ ぽふぽふ♩☆ミ にゃーん♫★ミ

2011-03-05 00:35:47 - 返信元ツイートを取得する

 

shelarcy

@tanakh .。oO(???もみもみ???)

2011-03-05 00:36:23 - 返信元ツイートを取得する

 

tanakh

@shelarcy みゃーみゃーぺちゃぺちゃクンクンにゃーん☆彡

2011-03-05 00:36:55 - 返信元ツイートを取得する

 

shelarcy

@tanakh みゃぁ♬☆ミ みゃー♪★ミ ぺちゃぺちゃ。クンクン♩☆ にゃーん♫★ミ

2011-03-05 00:38:40 - 返信元ツイートを取得する

 

tanakh

@shelarcy にゃお~ん。にゃお~ん。もじもじ。

2011-03-05 00:39:26 - 返信元ツイートを取得する

 

shelarcy

@tanakh にゃお~ん♬♡ミ にゃお~ん♪♥ミ

2011-03-05 00:40:29 - 返信元ツイートを取得する

 

tanakh

@shelarcy ミーミークンカクンカにゃ~~ん☆彡

2011-03-05 00:41:53 - 返信元ツイートを取得する

 

shelarcy

@tanakh ミーミー♩☆ミ クンクン。にゃーん♫★ミ

2011-03-05 00:43:41 - 返信元ツイートを取得する

 

tanakh

@shelarcy にゃんにゃん♪にゃんにゃん!

2011-03-05 00:44:32 - 返信元ツイートを取得する

 

shelarcy

@tanakh にゃんにゃん♬☆ にゃんにゃん!♪★ミ

2011-03-05 00:45:17 - 返信元ツイートを取得する

 

tanakh

@shelarcy にゃもー、にゃもー。ぺろぺろ。にゃあ!

2011-03-05 00:46:05 - 返信元ツイートを取得する

 

shelarcy

@tanakh にゃも~、にゃも~♩☆ミ //// ぺろぺろ。にゃあ♫♥ミ

2011-03-05 00:48:48 - 返信元ツイートを取得する

 

tanakh

@shelarcy にゃ~~~~~~~~っ、にゃ~~~~~~~~っ、すりすり。

2011-03-05 00:50:30 - 返信元ツイートを取得する

 

shelarcy

@tanakh にゃ~~~~~~~~っ♬☆ミ にゃ~~~~~~~~っ♪★ミ すりすり。

2011-03-05 00:51:27 - 返信元ツイートを取得する

 

にらめったーはご覧のスポンサード リンクの提供でお送りしました

「@だれだれ」をベースに自動生成されております。返信元ツイートを取得するは「上記ツイート」から辿ってください。
Twitter Search APIを通して最新@ユーザーの100件をストリーミング表示しています。

shelarcytanakh のツイ談コメント一覧

shelarcytanakh のツイ談を転送する


その他のツイ談