[SIMILAR] WITH 20867 po2 WITH 15241 existential WITH 15241 quantification WITH 13180 polymorphic WITH 12695 components WITH 10384 po WITH 8585 num WITH 7748 象型 WITH 7620 addex WITH 7620 addpo WITH 7620 addpo2 WITH 7438 fromintegral WITH 7319 引数 WITH 6859 具象 WITH 6676 forall WITH 5958 な型 WITH 5632 タコ WITH 4927 がex WITH 4200 築さ WITH 3841 ex WITH 2985 、po WITH 2960 二番 WITH 2702 て構 WITH 2572 、da WITH 2569 haskell WITH 2489 、ex WITH 2387 、ad WITH 2356 番目 WITH 2269 構築 WITH 2058 クタ WITH 2043 ラク WITH 2017 型が の検索結果 129 件中 1 - 10 件目 (0.06733877 秒)
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のイ ...
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') のように定義 ...
# (スコア:4158)
MessageCreateActionに引数を追加しました。二番目の引数でテンプレートの引数を、三番目の引数で処理対象となるメッセージのURIを指定できるようにしました。たとえば、アクティブ振り分けを送信箱に設定してSubjectが空だったら再編集するならば、 <ruleSet account="..." folder="送信箱"> <rule match="@No ...
# (スコア:1820)
自動振り分け処理中はロックをこまめにはずすようにしました。 また、スパムフィルタ自身がホワイトリストとブラックリストを持てるようにしたため、@Junkで個別にホワイトリストやブラックリストを指定できる必要はないであろうと考え、@Junkの動作を変えました。新しい書式は、 Boolean @Junk(Boolean?, Bool ...
# (スコア:1805)
@Passedに日数以外に時間や分も指定したいという話があったので、引数を増やして指定できるようにしてみました。 この二番目の引数のようなタイプを指定するような引数を持つ関数はいくつかあるのですが、結構増えてきてしまったので、覚えづらいし読みづらくなってきてしまっています。というわけで、定数を導 ...
# (スコア:1800)
上の例だと、GADTを使っても同じような事ができます。 {-# LANGUAGE GADTs #-} import qualified Data.Sequence as Seq data Vector a where BoolVector :: [Bool] -> Vector Bool IntVector :: Seq Int -> Vector Int add :: a -> Vector a -> Vector a add v (BoolVector l) = BoolVector $ v:l add v (IntVe ...
# (スコア:1771)
作るだけ作っておいて放置されていたx64版ですが、実行環境が近くにあったので試してみました。 まず実行しようとすると、いきなり、 q3u.exe は有効な Win32 アプリケーションではありません。 というメッセージが…サンプルなどを作りながらコンパイルオプションを変えてテストしてみたところ、サブシステムの ...
# (スコア:1771)
コンテキストメニューだけでなくてメインメニューもカスタマイズできるようにした方が良いかなということで（というより、Pocket PCとかを考えたときに自分が楽というあたりも考え合わせて^^;）、動的に作成したメニューをウィンドウにつける方法を調べてみました。 普通のWindowsは当然SetMenuですね。 HPC/Ps ...
# (スコア:1766)
Invalid Textスパムフィルタと自動振り分けを統合しました。普通に使っている分にはそれほど使い勝手に変化はないと思います。凝った事をやりたかったり、手動でスパムフィルタをかけたい場合には、アカウントの設定の[Advance]タブで[Enable junk filter]のチェックをはずして、振り分けルールで@Junkを使って ...
# (スコア:1725)
Synonym Familiesの別の良くある例はこんな感じのもの。 class Mul a b where type Result a b (*) :: a -> b -> Result a b instance Mul Int Int where type Result Int Int = Int (*) = (Prelude.*) instance Mul Int Double where type Result Int Double = Double (*) x y = fromIntegral Prelude.* y これ ...
# (スコア:1716)
# (スコア:10000)