[SIMILAR] WITH 8246 報, WITH 1230 す. WITH 925 議論 WITH 495 勉強 WITH 282 情報 WITH 134 ミ!! WITH 122 ツッ WITH 117 ッコ WITH 115 コミ WITH 68 ます WITH 1 !! WITH 1 ( WITH 1 h WITH 1 . WITH 1 aoyama 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 して の検索結果 117 件中 61 - 70 件目 (0.329031929 秒)
xyzzyでビルドするときには、C-x &でmakeするのですが、makefileとソースが別のディレクトリにあると、makefileのディレクトリにいってからビルドする必要があって面倒です。というわけで、親ディレクトリをたどっていって、makefileが見つかったところでビルドするコマンドを作ってみました。 (defun parent-d ...
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)
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)
的確に状況を伝えられませんが、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)
たとえばこんなクラスがあるとして、 class ToString a where toString :: a -> String 以下の型にインスタンスを宣言することを考えます。 newtype Wrap a = Wrap a 普通のインスタンス宣言は、たとえばこんな感じ。 instance Show a => ToString (Wrap a) where toString (Wrap x) = "Normal:" ++ show x たと ...
# (スコア: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)
久しぶりに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)
SIGALRMシグナルを使っているライブラリをFFIで呼び出すと、コールバックのスタブの中でInterruptedというメッセージを出してプロセスが落ちてしまうことがあるので、テストコードを書いて調べてみました。 alarm.h void test(); alarm.c #include <signal.h> #include <string.h> #include <stdio.h> #include ...
# (スコア:0)
# (スコア:0)