[SIMILAR] WITH 344 名前 WITH 134 ミ!! WITH 122 ツッ WITH 117 ッコ WITH 115 コミ WITH 1 !! WITH 1 ( WITH 1 takao WITH 1 - WITH 1 k WITH 1 ) WITH 1 ああ WITH 1 あ、 WITH 1 、ま WITH 1 まだ WITH 1 だね WITH 1 ねこ WITH 1 こぽ WITH 1 ぽい WITH 1 いの WITH 1 の名 WITH 1 前が WITH 1 が.. WITH 1 ... の検索結果 80 件中 31 - 40 件目 (0.171078384 秒)
Type Familiesを使って型レベルで階乗を実装してみます。基本の考え方としては、dataで定義する型が型レベルの値で、type familyで定義する型属が型レベルの関数になります。 まずは、数の定義から。EmptyDataDecls拡張を使います。 {-# LANGUAGE TypeFamilies, EmptyDataDecls, UndecidableInstances, ScopedT ...
Existential Quantificationは、 data Ex = forall a. Num a => Ex a のような形式で、Polymorphic Componentsは、 data Po = Po (forall a. Num a => a) のような形式です。 Exの方はデータコンストラクタを呼び出す時点で具体的な型が確定するので、 ex = Ex (1 :: Int) のようにできますが、Poの方はNumのイ ...
# (スコア:0)
今度はアニメーションをしてみます。アニメーションをするには、addTimerCallbackでタイマーを設定し、一定時間ごとに状態を変更してやり、その後にpostRedisplayでウィンドウに再描画の要求を出します。描画時には、状態を見て描く内容を決めます。 ちらつきなく書き換えるためにダブルバッファリングを有効に ...
# (スコア:0)
もっとも簡単そうな方法 data Animal1 = Dog1 String | Cat1 String Int call1 :: Animal1 -> String call1 (Dog1 name) = name call1 (Cat1 name whiskers) = name ++ " with " ++ show whiskers ++ " whiskers" test1 = mapM_ (putStrLn . call1) [Dog1 "pochi", Cat1 "tama" 12] 簡単だけれど、種類を増やす ...
# (スコア:0)
GHC 6.12でDeprecatedになるらしいImpredicative Polymorphismをどうやって書き換えるのか考えてみました。 例えばこんなの。 {-# LANGUAGE ImpredicativeTypes, Rank2Types #-} f :: Maybe (forall a. [a] -> a) -> (Int, Char) f (Just g) = (g [1, 2, 3], g ['a', 'b']) f Nothing = (99, 'z') のように定義 ...
# (スコア:0)
指定した年・月を以下のような感じでカレンダーっぽく表示。 | 1 2 3 | 4 5 6 7 8 9 10 | 11 12 13 14 15 16 17 | 18 19 20 21 22 23 24 | 25 26 27 28 29 30 31 なんとなく考えると、具体的な方法を考えなくても書けてしまうのが良い感じです。 import Data.List (dropWhile, intersperse, takeWhile, unfoldr ...
# (スコア:0)
Invalid TextData Familiesは、型パラメータに依って実装を変えたいときに使えます。C++のテンプレートでの特殊化みたいなものでしょうか。 {-# LANGUAGE TypeFamilies #-} import qualified Data.Sequence as Seq data family Vector a -- BoolのVectorはリストで表現 data instance Vector Bool = BoolVector ...
# (スコア:0)
xyzzyではコンパイルしたときのエラー出力やgrepの結果から、F10(first-error), F11(next-error)でジャンプできますが、HHKPro2にしたらファンクションキーを押すにはFnと組み合わせなくてはいけなくなってしまい微妙に不便になってしまいました。 xyzzyのカスタマイズで紹介されているemacs-next-errorを試して ...
# (スコア:0)
Invalid TextOutlookのドキュメントを見て最初に思いついたのはこれです。 var app = new ActiveXObject("Outlook.Application"); var ns = app.GetNameSpace("MAPI"); var entries = ns.AddressLists.Item(1).AddressEntries; for (n = 1; n <= entries.Count; ++n) { var entry = entries.Item(n); WScript.S ...
# (スコア:0)
data Color = RED | BLUE のような型があるときに、この値と整数をマッピングするにはEnumを使うのが楽です。 data Color = RED | BLUE deriving Enum intToColor = toEnum colorToInt = fromEnum ところが、intToColorに範囲外の整数を渡されると例外になってしまってうれしくありません。適当なデフォルト値に ...
# (スコア:0)
# (スコア:0)