[SIMILAR] WITH 49481 maybewrapper WITH 24740 impredicative WITH 21640 polymorphism WITH 14647 相型 WITH 14111 newtype WITH 14000 nothing WITH 8246 impredicativetypes WITH 8246 rank2types WITH 8246 polymorphiccomponents WITH 8246 単相 WITH 7323 多相 WITH 6676 forall WITH 6590 polymorphic WITH 6347 components WITH 6233 just WITH 5518 deprecated WITH 5057 language WITH 3931 maybe WITH 3615 、f WITH 3194 義し WITH 2569 haskell WITH 2402 char WITH 2134 定義 WITH 2107 に定 WITH 1914 head WITH 1425 に呼 WITH 814 パタ WITH 805 び出 WITH 747 f WITH 653 ンマ WITH 640 呼び WITH 628 出せ の検索結果 168 件中 1 - 10 件目 (0.105323908 秒)
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') のように定義 ...
あちこちで紹介されているので読んでみました。全て理解したわけではないですが、今までなんとなくもやもやだったkindについては結構スッキリしました。 型推論に関しては、Types and Programming Languagesがあちこちで薦められていますが理解できるんだろうか… ...
# (スコア:3080)
GHC 6.6からは、 list :: [forall a. Num a => a] list = [1 :: Int, 1 :: Float, 1 :: Integer] のようにして多相型のリストをそのまま作ることができるようです。 ...
# (スコア:2281)
もっとも簡単そうな方法 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] 簡単だけれど、種類を増やす ...
# (スコア:2252)
キーと値からなる設定ファイルをパースするとします。設定ファイルはこんな感じです。 name=Test value=5 マップなどで値を持つという方法もありますが、ちゃんと型付けするために専用の型を用意することにします。そうするとパースするコードはこんな感じでしょうか。 import Control.Monad import Data.Maybe ...
# (スコア:2054)
たとえばこんなクラスがあるとして、 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 たと ...
# (スコア:2050)
Invalid TextNewCGIはCGIモナドで、DBのアクセスはIOモナドの中で行われるので、もはや関数型というよりは単なる手続き型にしか見えません… import Control.Monad.Trans import Data.Maybe import qualified Database.HDBC as DB import qualified Database.HDBC.ODBC as ODBC import IO import Network.NewCGI ...
# (スコア:2030)
interface ITest : IDispatch { HRESULT doSomething([in] ITest* pTest); }; のようなインターフェイスがあったときに、JScriptから var test = ...; test.doSomething(null); とやると、型の不一致でランタイムエラーになってしまうんですね。VBScriptなら、 set test = ... test.doSomething Nothing とする ...
# (スコア:2030)
エディットビュー上で修正する部分などを作りこむのはおいおい考えるとしても、外部のスペルチェッカを簡単に呼び出せると便利かもしれません。そんな機能を入れてみようかと思ったのですが、スクリプトでやれそうなので試しに書いてみました。 以下のスクリプトを保存してscriptsフォルダに適当なファイル名で ...
# (スコア:2030)
スクリプトからマクロを呼び出すときに変数を設定できるようにしました。こんな感じになります。 set macro = macroParser.parse("@Add($x,$y)") macro.setVariable "x", "10" macro.setVariable "y", "22" z = macro.evaluate(nothing, document.accounts("test")) MsgBox z スクリプトからマクロに何か値を渡 ...
# (スコア:2030)
# (スコア:10000)