[SIMILAR] WITH 749 仲間 WITH 634 大事 WITH 134 ミ!! WITH 122 ツッ WITH 117 ッコ WITH 115 コミ WITH 1 !! WITH 1 ( WITH 1 snak 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 と効 WITH 1 効く WITH 1 く人 WITH 1 人も の検索結果 67 件中 31 - 40 件目 (0.75260516 秒)
import Data.List on :: (a -> a -> b) -> (c -> a) -> (c -> c -> b) f `on` g = \x y -> g x `f` g y のようなonを定義しておくと、 sortBy (compare `on` snd) [(1,2),(2,1),(1,3)] のように書くことができます。以下と同じですが、ちょっと読みやすげ。 sortBy (\ (_, x) (_, y) -> compare x y) [(1,2),(2 ...
# (スコア:13)
バグトラックですが、VERIFIEDにして送信しようとしたところ、 Following errors occurred. Please contact administrator. wrong argument type Object (expected String) (TypeError) Content-Type: text/plain Following errors occurred. Please contact administrator. wrong argument type Object (expec ...
# (スコア:9)
私が使おうとしていたca.pemはThawte Server CAの証明書を一番上に貼り付けて合計210KBぐらいでした。私のPCでエクスポートされたThawte Server CAの証明書自体はsnakさんに送っていただいたca.pemとおなじだと思うのですが、私が貼り付けたオリジナルのca.pemのサイズが大きすぎたのではないかもしれません。た ...
# (スコア:9)
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:0)
Invalid TextXcodeのプロジェクトをEmcasからビルドするためのEmcas lisp。現在のディレクトリから上方向にプロジェクトとファイルを探しにいってビルドします。また、エラー出力も適当に切りだして、complilationバッファに出力します。 (defun search-ancestors (directory pred) (cond ((not directory) nil ...
# (スコア:0)
xyzzyでビルドするときには、C-x &でmakeするのですが、makefileとソースが別のディレクトリにあると、makefileのディレクトリにいってからビルドする必要があって面倒です。というわけで、親ディレクトリをたどっていって、makefileが見つかったところでビルドするコマンドを作ってみました。 (defun parent-d ...
# (スコア:0)
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)
# (スコア:17)