[SIMILAR] WITH 610 以降 WITH 134 ミ!! WITH 122 ツッ WITH 117 ッコ WITH 115 コミ WITH 1 !! WITH 1 ( WITH 1 snak WITH 1 ) WITH 1 xp2 WITH 1 のsp WITH 1 sp2 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 ね。 の検索結果 121 件中 71 - 80 件目 (0.161821518 秒)
xyzzyでビルドするときには、C-x &でmakeするのですが、makefileとソースが別のディレクトリにあると、makefileのディレクトリにいってからビルドする必要があって面倒です。というわけで、親ディレクトリをたどっていって、makefileが見つかったところでビルドするコマンドを作ってみました。 (defun parent-d ...
Type Familiesを使って型レベルで階乗を実装してみます。基本の考え方としては、dataで定義する型が型レベルの値で、type familyで定義する型属が型レベルの関数になります。 まずは、数の定義から。EmptyDataDecls拡張を使います。 {-# LANGUAGE TypeFamilies, EmptyDataDecls, UndecidableInstances, ScopedT ...
# (スコア:0)
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)
# (スコア:0)