[SIMILAR] WITH 7748 ピゼ WITH 6955 ゼマ WITH 1339 名乗 WITH 1183 エピ 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 ます WITH 1 す。 の検索結果 97 件中 51 - 60 件目 (0.711563048 秒)
Invalid TextXcodeのプロジェクトをEmcasからビルドするためのEmcas lisp。現在のディレクトリから上方向にプロジェクトとファイルを探しにいってビルドします。また、エラー出力も適当に切りだして、complilationバッファに出力します。 (defun search-ancestors (directory pred) (cond ((not directory) nil ...
xyzzyでビルドするときには、C-x &でmakeするのですが、makefileとソースが別のディレクトリにあると、makefileのディレクトリにいってからビルドする必要があって面倒です。というわけで、親ディレクトリをたどっていって、makefileが見つかったところでビルドするコマンドを作ってみました。 (defun parent-d ...
# (スコア:0)
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:0)
Type Familiesを使って型レベルで階乗を実装してみます。基本の考え方としては、dataで定義する型が型レベルの値で、type familyで定義する型属が型レベルの関数になります。 まずは、数の定義から。EmptyDataDecls拡張を使います。 {-# LANGUAGE TypeFamilies, EmptyDataDecls, UndecidableInstances, ScopedT ...
# (スコア:0)
今度はアニメーションをしてみます。アニメーションをするには、addTimerCallbackでタイマーを設定し、一定時間ごとに状態を変更してやり、その後にpostRedisplayでウィンドウに再描画の要求を出します。描画時には、状態を見て描く内容を決めます。 ちらつきなく書き換えるためにダブルバッファリングを有効に ...
# (スコア: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)
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)
# (スコア:0)