9

Haskell の型宣言の場所の標準はありますか?

たとえば、次の 2 つの関数があるとします。

abs' x = if x >= 0 then x else -x

pow x 0 = 1
pow x e = x * (pow x (e-1))

その型宣言は次のとおりです。

abs' :: Int -> Int
pow :: Int -> Int -> Int

次のように、ファイルの先頭に宣言を配置する方が適切/読みやすいですか?

abs' :: Int -> Int
pow :: Int -> Int -> Int

abs' x = if x >= 0 then x else -x

pow x 0 = 1
pow x e = x * (pow x (e-1))

または、次のように、それぞれをそれぞれの機能の上に配置します。

abs' :: Int -> Int
abs' x = if x >= 0 then x else -x

pow :: Int -> Int -> Int
pow x 0 = 1
pow x e = x * (pow x (e-1))

どちらの方法も私には完全に実行可能であるように思われるので、これに何らかの基準があるかどうか疑問に思っていました. また、これらが a にあると仮定するとmodule、外界からのアクセシビリティは型宣言の配置に影響しますか?

4

1 に答える 1