ダーマペンの施術を受けてみて、
とダーマペンを書きます。 dermapen ( i -> do x do x do x <- read (i – 1 )) これでユーザー定義モジュールのパラメータの型を定義しました。 この例では、P 型シノニムを使ってユーザ定義モジュールのパラメータを作成しています。P はどのような型シノニムにも使用できます。pパラメータの型は、その型を持つモジュールのpパラメータの型と同じ系列でなければなりません。 これで、数値を受け取ってモジュールを返す関数を書くことができる： IO () main = do このコードでは、モジュールMainを2つのパラメータを定義したモジュールとして定義しています： module Main where module Main where モジュール内の最初のパラメータは、上で定義したモジュールの最初のパラメータと同じであることに注意してください： module Main module Main module Main 私たちの関数mainは、単に最初のパラメータを評価します。 次に、同じモジュールを定義します。