#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 件中 1 - 10 件目 (0.151922531 秒)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 ... 次へ

2007-06-06 [類似検索]

■<<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> <g>sg>trong>g>Sg>Tg>sg>trong>

<g>sg>trong>fg>sg>trong> <g>sg>trong>::g>sg>trong> <g>sg>trong>ag>sg>trong> <g>sg>trong>->g>sg>trong> <g>sg>trong>fg>sg>trong>or<g>sg>trong>ag>sg>trong>ll g>sg>g>.g> <g>sg>trong>g>Sg>Tg>sg>trong> g>sg> <g>sg>trong>ag>sg>trong> <g>sg>trong>fg>sg>trong> g>xg> g>=g> g>dog> g>sg> g><-g> <<g>sg>trong>g>sg>tg>sg>trong>rong>new<g>sg>trong>g>Sg>Tg>sg>trong>Re<g>sg>trong>fg>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong> g>xg> <<g>sg>trong>g>sg>tg>sg>trong>rong>re<g>sg>trong>ag>sg>trong>d<g>sg>trong>g>Sg>Tg>sg>trong>Re<g>sg>trong>fg>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong> g>sg> g g>=g> <<g>sg>trong>g>sg>tg>sg>trong>rong>run<g>sg>trong>g>Sg>Tg>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong> (<g>sg>trong>fg>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><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>) はOKだけれど、 g g>=g> <<g>sg>trong>g>sg>tg>sg>trong>rong>run<g>sg>trong>g>Sg>Tg>sg>trong>g>sg>trong>g>sg>tg>sg>trong>rong> $ <g>sg>trong>fg>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><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>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>.g>g>.g>g>.g>

# (スコア:10000)

2009-10-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> The Typecl<g>sg>trong>ag>sg>trong>g>sg>g>sg>opedi<g>sg>trong>ag>sg>trong>

by Brent Yorgey <<g>sg>trong>fg>sg>trong>ir<g>sg>trong>g>sg>tg>sg>trong> initi<g>sg>trong>ag>sg>trong>l l<g>sg>trong>ag>sg>trong><g>sg>trong>g>sg>tg>sg>trong> n<g>sg>trong>ag>sg>trong>me <g>sg>trong>ag>sg>trong>t cig>sg>g>.g>upenng>.g>edu> 標準<<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>H<g>sg>trong>ag>sg>trong>g>sg>kellg>sg>trong>g>sg>tg>sg>trong>rong>ハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや g>.g>g>.g>g>.g>

# (スコア:1758)

2007-12-19 [類似検索]

■<<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> Bitg>Sg>ynt<g>sg>trong>ag>sg>trong>g>xg>を使ってtz<g>sg>trong>fg>sg>trong>ileをパースする

<<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>にはバイナリを読み書きする時に使えるBitg>Sg>ynt<g>sg>trong>ag>sg>trong>g>xg>というライブラリがあります。rubyで言うところのp<g>sg>trong>ag>sg>trong>ckとかunp<g>sg>trong>ag>sg>trong>ckに近いでしょうか。パースする時には返り値の型が引数に依存するので、その部分のコードはTempl<g>sg>trong>ag>sg>trong>te <<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>になっています。例えば、tz<g>sg>trong>fg>sg>trong>ile形式のファイルをパースするならこんな感じになり g>.g>g>.g>g>.g>

# (スコア:1758)

2010-09-15 [類似検索]

■<<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> 設定ファイルのパースをTempl<g>sg>trong>ag>sg>trong>te <<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>で

キーと値からなる設定ファイルをパースするとします。設定ファイルはこんな感じです。 n<g>sg>trong>ag>sg>trong>meg>=g>Te<g>sg>trong>g>sg>tg>sg>trong> v<g>sg>trong>ag>sg>trong>lueg>=g>5 マップなどで値を持つという方法もありますが、ちゃんと型付けするために専用の型を用意することにします。そうするとパースするコードはこんな感じでしょうか。 import Controlg>.g>Mon<g>sg>trong>ag>sg>trong>d import D<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong>g>.g>M<g>sg>trong>ag>sg>trong>ybe g>.g>g>.g>g>.g>

# (スコア:1758)

2006-02-13 [類似検索]

■<<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> Hoogle

<<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>Ag>sg>trong>PIの検索ができます。関数名はもちろん型からも検索できるのが面白いです。 Ord <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>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>ortなどが出てきます。引数の順番が変わっていても認識するので、 <<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> b) <g>sg>trong>->g>sg>trong> <<g>sg>trong>g>sg>tg>sg>trong>rong>[g>sg>trong>g>sg>tg>sg>trong>rong>b<<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> でもm<g>sg>trong>ag>sg>trong>pが出てきます。 g>Xg>ML-RPCなどで呼び出せるようにして、エディタから引けるようにすると便利そ g>.g>g>.g>g>.g>

# (スコア:1758)

2006-09-17 [類似検索]

■<<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> 多相型っぽいリスト (2)

GHC 6g>.g>6からは、 li<g>sg>trong>g>sg>tg>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>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><<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> li<g>sg>trong>g>sg>tg>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>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, <<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> <g>sg>trong>Fg>sg>trong>lo<g>sg>trong>ag>sg>trong>t, <<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> Integer<<g>sg>trong>g>sg>tg>sg>trong>rong>]g>sg>trong>g>sg>tg>sg>trong>rong> のようにして多相型のリストをそのまま作ることができるようです。 g>.g>g>.g>g>.g>

# (スコア:1758)

2009-09-17 [類似検索]

■<<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> M<g>sg>trong>ag>sg>trong>ybeを<g>sg>trong>fg>sg>trong>ilterする

M<g>sg>trong>ag>sg>trong>ybeの中の値を元に、M<g>sg>trong>ag>sg>trong>ybe自体をNothingにしたいケースが結構あります。例えば、M<g>sg>trong>ag>sg>trong>ybe <g>sg>trong>g>Sg>tg>sg>trong>ringで中の文字列が空の場合にはNothingにしたいケースなどです。 nonEmpty<g>sg>trong>g>Sg>tg>sg>trong>ring <g>sg>trong>::g>sg>trong> M<g>sg>trong>ag>sg>trong>ybe <g>sg>trong>g>Sg>tg>sg>trong>ring <g>sg>trong>->g>sg>trong> M<g>sg>trong>ag>sg>trong>ybe <g>sg>trong>g>Sg>tg>sg>trong>ring nonEmpty<g>sg>trong>g>Sg>tg>sg>trong>ring g>sg> g>=g> c<g>sg>trong>ag>sg>trong>g>sg>e g>sg> o<g>sg>trong>fg>sg>trong> Ju<g>sg>trong>g>sg>tg>sg>trong> g>sg> | g>sg> /g>=g> "" <g>sg>trong>->g>sg>trong> Ju<g>sg>trong>g>sg>tg>sg>trong> g>sg> _ <g>sg>trong>->g>sg>trong> Nothing これを少し一般化すると、こ g>.g>g>.g>g>.g>

# (スコア:1758)

2009-12-03 [類似検索]

■<<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> インスタンス宣言と拡張機能

たとえばこんなクラスがあるとして、 cl<g>sg>trong>ag>sg>trong>g>sg>g>sg> To<g>sg>trong>g>Sg>tg>sg>trong>ring <g>sg>trong>ag>sg>trong> where to<g>sg>trong>g>Sg>tg>sg>trong>ring <g>sg>trong>::g>sg>trong> <g>sg>trong>ag>sg>trong> <g>sg>trong>->g>sg>trong> <g>sg>trong>g>Sg>tg>sg>trong>ring 以下の型にインスタンスを宣言することを考えます。 newtype Wr<g>sg>trong>ag>sg>trong>p <g>sg>trong>ag>sg>trong> g>=g> Wr<g>sg>trong>ag>sg>trong>p <g>sg>trong>ag>sg>trong> 普通のインスタンス宣言は、たとえばこんな感じ。 in<g>sg>trong>g>sg>tg>sg>trong><g>sg>trong>ag>sg>trong>nce g>Sg>how <g>sg>trong>ag>sg>trong> g>=g>> To<g>sg>trong>g>Sg>tg>sg>trong>ring (Wr<g>sg>trong>ag>sg>trong>p <g>sg>trong>ag>sg>trong>) where to<g>sg>trong>g>Sg>tg>sg>trong>ring (Wr<g>sg>trong>ag>sg>trong>p g>xg>) g>=g> "Norm<g>sg>trong>ag>sg>trong>l:" ++ g>sg>how g>xg> たと g>.g>g>.g>g>.g>

# (スコア:1758)

2009-09-07 [類似検索]

■<<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>

Inv<g>sg>trong>ag>sg>trong>lid Teg>xg>tD<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong> <g>sg>trong>Fg>sg>trong><g>sg>trong>ag>sg>trong>milieg>sg>は、型パラメータに依って実装を変えたいときに使えます。C++のテンプレートでの特殊化みたいなものでしょうか。 {-# L<g>sg>trong>Ag>sg>trong>NGU<g>sg>trong>Ag>sg>trong>GE Type<g>sg>trong>Fg>sg>trong><g>sg>trong>ag>sg>trong>milieg>sg> #-} import qu<g>sg>trong>ag>sg>trong>li<g>sg>trong>fg>sg>trong>ied D<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong>g>.g>g>Sg>equence <g>sg>trong>ag>sg>trong>g>sg> g>Sg>eq d<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong> <g>sg>trong>fg>sg>trong><g>sg>trong>ag>sg>trong>mily Vector <g>sg>trong>ag>sg>trong> -- BoolのVectorはリストで表現 d<g>sg>trong>ag>sg>trong>t<g>sg>trong>ag>sg>trong> in<g>sg>trong>g>sg>tg>sg>trong><g>sg>trong>ag>sg>trong>nce Vector Bool g>=g> BoolVector g>.g>g>.g>g>.g>

# (スコア:1758)

2006-10-23 [類似検索]

■<<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> IOとMon<g>sg>trong>ag>sg>trong>dIO

Inv<g>sg>trong>ag>sg>trong>lid Teg>xg>tたとえば、HDBCを使うときに普通にIOモナドの中から直接扱うには、 <g>sg>trong>fg>sg>trong> <g>sg>trong>::g>sg>trong> IO () <g>sg>trong>fg>sg>trong> g>=g> br<g>sg>trong>ag>sg>trong>cket (connectODBC dg>sg>n) (dig>sg>connect) (\conn <g>sg>trong>->g>sg>trong> g>.g>g>.g>g>.g>) のようにすればOKです。ところがこれをIOモナドを合成するモナドの中で扱うとすると、br<g>sg>trong>ag>sg>trong>cketの型がIO <g>sg>trong>ag>sg>trong> <g>sg>trong>->g>sg>trong> (<g>sg>trong>ag>sg>trong> <g>sg>trong>->g>sg>trong> IO b) <g>sg>trong>->g>sg>trong> (<g>sg>trong>ag>sg>trong> <g>sg>trong>->g>sg>trong> IO c) <g>sg>trong>->g>sg>trong> IO cなのでbr<g>sg>trong>ag>sg>trong> g>.g>g>.g>g>.g>

# (スコア:1758)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 ... 次へ