#3 [全文検索]
[SIMILAR] WITH 8246 newstref WITH 8246 readstref WITH 8246 runst WITH 2569 haskell WITH 1538 所詮 WITH 595 エラ WITH 245 ラー WITH 1 [ WITH 1 ] WITH 1 st WITH 1 f WITH 1 :: WITH 1 a WITH 1 -> WITH 1 forall WITH 1 s WITH 1 . WITH 1 x WITH 1 = WITH 1 do WITH 1 <- WITH 1 g WITH 1 ( WITH 1 1 WITH 1 ) WITH 1 はok WITH 1 ok WITH 1 だけ WITH 1 けれ WITH 1 れど WITH 1 ど、 WITH 1 、g の検索結果
249 件中 41 - 50 件目
(0.103907499 秒)
前へ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 ... 次へ
■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> Wiki
ここ二三日で、試しに簡単なWikiを作ってみました。 何が大変って、最初は副作用が無いつもりだったメソッドが副作用を持つ必要があった場合に、呼び出し側の根っこまですべてをIOモナド内での操作に変えなくてはいけないところでしょうか。 g>.g>g>.g>g>.g>
■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> GHC 6g>.g>6
ライブラリ側の対応も進んできたようなので、GHC 6g>.g>6を入れてみました。 Crypto <g>sg>trong>Fg>sg>trong><g>sg>trong>ag>sg>trong><g>sg>trong>g>sg>tg>sg>trong>CGI HDBC HDBC-ODBC HTTP NewBin<g>sg>trong>ag>sg>trong>ry などは（一部<g>sg>trong>fg>sg>trong>pg>sg>に依存している部分があったのでc<g>sg>trong>ag>sg>trong>b<g>sg>trong>ag>sg>trong>lファイルを修正しましたが）問題なく入りました。<g>sg>trong>g>Sg>tg>sg>trong>re<g>sg>trong>ag>sg>trong>mg>sg>-0g>.g>2<<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong>g>g>g>g>g>g>1g>g>g>g>g>g>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>は色々とパッチを当てる必要があります。0g>.g><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong>g>g>g>g>g>g>1g>g>g>g>g>g>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>eはそのまま入るようです。 g>.g>g>.g>g>.g>
■ツッコミ!! (g>sg>n<g>sg>trong>ag>sg>trong>k)
ご指摘ありがとうございます。二番目を除いてほとんどそのまま反映させました。 二番目は、「<<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong>は同等の数式を定義するのに、joinの代わりに(>>g>=g>)を使用します。これは、その方が便利なためです。」にしてみました。"equiv<g>sg>trong>ag>sg>trong>lent <g>sg>trong>fg>sg>trong>ormul<g>sg>trong>ag>sg>trong>tion"が、圏論においてモナドを定義する式と同等な式（つまりMon<g>sg>trong>ag>sg>trong>dの g>.g>g>.g>g>.g>
■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> The Typecl<g>sg>trong>ag>sg>trong>g>sg>g>sg>opedi<g>sg>trong>ag>sg>trong>を訳しました
The Mon<g>sg>trong>ag>sg>trong>dg>.g>Re<g>sg>trong>ag>sg>trong>derのIg>sg>g>sg>ue <<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong>g>g>g>g>g>g>1g>g>g>g>g>g>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>3に掲載されたThe Typecl<g>sg>trong>ag>sg>trong>g>sg>g>sg>opedi<g>sg>trong>ag>sg>trong>という記事が、<g>sg>trong>Fg>sg>trong>unctor, Mon<g>sg>trong>ag>sg>trong>d, Monoid, <g>sg>trong>Ag>sg>trong>pplic<g>sg>trong>ag>sg>trong>tive, <g>sg>trong>Fg>sg>trong>old<g>sg>trong>ag>sg>trong>ble, Tr<g>sg>trong>ag>sg>trong>verg>sg><g>sg>trong>ag>sg>trong>ble, <g>sg>trong>Ag>sg>trong>rrowといったような型クラスについて良くまとまっていて、そのあたりを知りたい時の取っ掛かりになりそうだったので翻訳してみました。 作者のBrent Yorgeyさんからも許 g>.g>g>.g>g>.g>
■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> Type <g>sg>trong>Fg>sg>trong><g>sg>trong>ag>sg>trong>milieg>sg> (5)
g>Sg>ynonym <g>sg>trong>Fg>sg>trong><g>sg>trong>ag>sg>trong>milieg>sg>の別の良くある例はこんな感じのもの。 cl<g>sg>trong>ag>sg>trong>g>sg>g>sg> Mul <g>sg>trong>ag>sg>trong> b where type Reg>sg>ult <g>sg>trong>ag>sg>trong> b (*) <g>sg>trong>::g>sg>trong> <g>sg>trong>ag>sg>trong> <g>sg>trong>->g>sg>trong> b <g>sg>trong>->g>sg>trong> Reg>sg>ult <g>sg>trong>ag>sg>trong> b in<g>sg>trong>g>sg>tg>sg>trong><g>sg>trong>ag>sg>trong>nce Mul Int Int where type Reg>sg>ult Int Int g>=g> Int (*) g>=g> (Preludeg>.g>*) in<g>sg>trong>g>sg>tg>sg>trong><g>sg>trong>ag>sg>trong>nce Mul Int g>Dog>uble where type Reg>sg>ult Int g>Dog>uble g>=g> g>Dog>uble (*) g>xg> y g>=g> <g>sg>trong>fg>sg>trong>romIntegr<g>sg>trong>ag>sg>trong>l Preludeg>.g>* y これ g>.g>g>.g>g>.g>
■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> Type <g>sg>trong>Fg>sg>trong><g>sg>trong>ag>sg>trong>milieg>sg> (3)
Inv<g>sg>trong>ag>sg>trong>lid Teg>xg>t次はg>Sg>ynonym <g>sg>trong>Fg>sg>trong><g>sg>trong>ag>sg>trong>milieg>sg>。引数の型によって関連づけられた型を変えたいときに使います。C++でいうところの、特殊化されたテンプレートの中のtypede<g>sg>trong>fg>sg>trong>とでも言えるでしょうか。 ありがちな例としては、コレクションクラスがあります。 cl<g>sg>trong>ag>sg>trong>g>sg>g>sg> Collection <g>sg>trong>ag>sg>trong> where type Elem <g>sg>trong>ag>sg>trong> empty <g>sg>trong>::g>sg>trong> <g>sg>trong>ag>sg>trong> <g>sg>trong>ag>sg>trong>dd <g>sg>trong>::g>sg>trong> Elem <g>sg>trong>ag>sg>trong> g>.g>g>.g>g>.g>
■ツッコミ!! (g>sg>n<g>sg>trong>ag>sg>trong>k)
<<g>sg>trong>g>sg>tg>sg>trong>rong>所詮g>sg>trong>g>sg>tg>sg>trong>rong>ヘッダで振り分けるのは形式上の整頓ということになってしまうのかも。 内容で振り分けようとしても、ひとつのメールに複数の話題が入っていて、どのフォルダに振り分けるか悩むくらいだったら最初から全部同じフォルダに入れておけということなんでしょうか。 でも、見た目を整えたい欲求と戦うのは難しい g>.g>g>.g>g>.g>
■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong>Q3<<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> @Regeg>xg>M<g>sg>trong>ag>sg>trong>tchでキャプチャした部分にアクセス
Inv<g>sg>trong>ag>sg>trong>lid Teg>xg>t今の@Regeg>xg>M<g>sg>trong>ag>sg>trong>tchはマッチしたかどうかしかわからないので、マッチさせたときにキャプチャした文字列も取り出したいという話（）。方法としては、 固定名の変数を使って自動的にそこに代入される（たとえば、$$<<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong>g>g>g>g>g>g>1g>g>g>g>g>g>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>から$$nまでとか） 変数を使うけれども変数名は公開せず、@Regeg>xg>Get(<<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong>g>g>g>g>g>g>1g>g>g>g>g>g>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>)とかでアクセスで g>.g>g>.g>g>.g>
■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> Eg>xg>i<g>sg>trong>g>sg>tg>sg>trong>enti<g>sg>trong>ag>sg>trong>l Qu<g>sg>trong>ag>sg>trong>nti<g>sg>trong>fg>sg>trong>ic<g>sg>trong>ag>sg>trong>tionとPolymorphic Componentg>sg>の違い
Eg>xg>i<g>sg>trong>g>sg>tg>sg>trong>enti<g>sg>trong>ag>sg>trong>l Qu<g>sg>trong>ag>sg>trong>nti<g>sg>trong>fg>sg>trong>ic<g>sg>trong>ag>sg>trong>tionは、 d<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong> Eg>xg> g>=g> <g>sg>trong>fg>sg>trong>or<g>sg>trong>ag>sg>trong>ll <g>sg>trong>ag>sg>trong>g>.g> Num <g>sg>trong>ag>sg>trong> g>=g>> Eg>xg> <g>sg>trong>ag>sg>trong> のような形式で、Polymorphic Componentg>sg>は、 d<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong> Po g>=g> Po (<g>sg>trong>fg>sg>trong>or<g>sg>trong>ag>sg>trong>ll <g>sg>trong>ag>sg>trong>g>.g> Num <g>sg>trong>ag>sg>trong> g>=g>> <g>sg>trong>ag>sg>trong>) のような形式です。 Eg>xg>の方はデータコンストラクタを呼び出す時点で具体的な型が確定するので、 eg>xg> g>=g> Eg>xg> (<<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong>g>g>g>g>g>g>1g>g>g>g>g>g>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong> <g>sg>trong>::g>sg>trong> Int) のようにできますが、Poの方はNumのイ g>.g>g>.g>g>.g>
■<<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> Impredic<g>sg>trong>ag>sg>trong>tive Polymorphig>sg>m
GHC 6g>.g><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong>g>g>g>g>g>g>1g>g>g>g>g>g>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>2でDeprec<g>sg>trong>ag>sg>trong>tedになるらしいImpredic<g>sg>trong>ag>sg>trong>tive Polymorphig>sg>mをどうやって書き換えるのか考えてみました。 例えばこんなの。 {-# L<g>sg>trong>Ag>sg>trong>NGU<g>sg>trong>Ag>sg>trong>GE Impredic<g>sg>trong>ag>sg>trong>tiveTypeg>sg>, R<g>sg>trong>ag>sg>trong>nk2Typeg>sg> #-} <g>sg>trong>fg>sg>trong> <g>sg>trong>::g>sg>trong> M<g>sg>trong>ag>sg>trong>ybe (<g>sg>trong>fg>sg>trong>or<g>sg>trong>ag>sg>trong>ll <g>sg>trong>ag>sg>trong>g>.g> <<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong>ag>sg>trong><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> <g>sg>trong>->g>sg>trong> <g>sg>trong>ag>sg>trong>) <g>sg>trong>->g>sg>trong> (Int, Ch<g>sg>trong>ag>sg>trong>r) <g>sg>trong>fg>sg>trong> (Ju<g>sg>trong>g>sg>tg>sg>trong> g) g>=g> (g <<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><<g>sg>trong>g>sg>tg>sg>trong>rong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong><g>sg>trong>g>g>g>g>g>g>1g>g>g>g>g>g>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>g>sg>trong>g>sg>tg>sg>trong>rong>, 2, 3<<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong>, g <<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong>'<g>sg>trong>ag>sg>trong>', 'b'<<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong>) <g>sg>trong>fg>sg>trong> Nothing g>=g> (99, 'z') のように定義 g>.g>g>.g>g>.g>
前へ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 ... 次へ
# (スコア:1758)