タイプ同義語の機能

Question

愚かな疑問を抱いて申し訳ありませんが、あるデータベースパッケージから別のデータベースパッケージへの変換を行うためにHaskellに戻ってきましたが、これを正しく行う方法について少し困惑しています。 Database.SQLite3モジュールにおいて

は、

execWithCallback :: Database -> Text -> ExecCallback -> IO() 

次に、コールバックは、タイプExecCallback マイ愚かなテストコードコンパイルを持つ関数である

type ExecCallback = ColumnCount -> [Text]-> [Maybe Text] -> IO() 

として定義されているタイプのexecWithCallbackあります正しく実行されます。

{-# LANGUAGE OverloadedStrings #-} 

import Database.SQLite3 
import Data.Text 

cb :: ColumnCount -> [Text] -> [Maybe Text] -> IO() 
cb n cnl ct = do print $ cnl !! 1 
        return() 

main = do 
    dh <- open "fileinfo.sqlite" 
    execWithCallback dh "select * from files;" cb 
    close dh 

しかし、タイプのポイントは何ですか？そして、cbがExecCallbackであると指定するにはどうすればいいですか？

Answer 1

ハスケルでtypeと入力した場合は、のという同義語を定義します。あなたの例では、ExecCallbackはタイプColumnCount -> [Text]-> [Maybe Text] -> IO()の単なるエイリアスであることを意味しますが、これらは互換性があります。

あなたは

cb :: ExecCallback 
cb n cnl ct = do print $ cnl !! 1 
        return() 

に次の行に

cb :: ColumnCount -> [Text] -> [Maybe Text] -> IO() 
cb n cnl ct = do print $ cnl !! 1 
        return() 

を変更することができ、すべてがまだあるとして動作します。コードを短くて読みやすくすることができます。

もう一つの良い例は

type String = [Char] 

in Preludeです。ほとんどの場合[Char]の代わりに通常Stringを使用すると思います。しかし、あなたはどちらも自由に使えます。任意の型iの値のためのシンク何かのために

type Sink i = ConduitM i Void 
type Consumer i m r = forall o. ConduitM i o m r 

、Sink iがConduitM i Voidより道より読みやすいようだ：

別（全く無関係）の例では、いくつかのtype synonymsが大きな違いを生むconduitパッケージです。 Consumerと同じです。