[SIMILAR] WITH 7748 ピゼ WITH 6955 ゼマ WITH 4795 マ) WITH 1183 エピ WITH 567 ビル WITH 433 windows WITH 413 ルド WITH 134 ミ!! WITH 122 ツッ WITH 117 ッコ WITH 115 コミ 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 たい WITH 1 いで WITH 1 です WITH 1 すね WITH 1 ねぇ WITH 1 ぇ。 の検索結果 225 件中 191 - 200 件目 (0.312279888 秒)
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)
的確に状況を伝えられませんが、q3u-win-x86-ja-3_0_6にバージョンアップすると、アドレス帳を使った場合に次のような状況になるようです。 q3u-win-x86-ja-3_0_5で、 アドレス帳の「RFC2822形式(P)」にチェックを入れて、 (1) ○○さん <aaa.bbb@ccc.co.jp> (2) □□さん <ddd.eee@fff.co.jp> と登録して使っていた ...
# (スコア: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)
指定した年・月を以下のような感じでカレンダーっぽく表示。 | 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)
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)
久しぶりにEmacs Lispを書いたら、基本的なところではまったのでちょっとメモ。 lambdaで匿名関数を作ったときに、 ((lambda (x y) (+ x y)) 1 2) と呼べるのに、 (setq f (lambda (x y) (+ x y))) (f 1 2) で呼べずにはまります。呼び出すには、 (funcall f 1 2) とする必要があります。変数と関数の名前空間に ...
# (スコア: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)
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)
# (スコア:0)