関数の結果タイプに基づく最適化

Question

以下はおそらく愚かな例ですが、これを解決すると、別の問題が解決します。詳細はin this questionです。

私はこのシグネチャを持つ関数を書きたい：

myread :: (Read a) => String -> a 

なときa ~ Int、その場合myread _ = 0を除いて、myread = read、その。

明らかにこの関数は愚かですが、ポイントは戻り値の型に基づいて最適化したいのです。

書き換えルールなどはここでは問題ありません。私の実際の問題については、ソリューションが書き換えルールであれば、起動しないケースがあるかどうかは問題ではありませんが、答えが出てくる場所を例に挙げてみたいと思います。

Answer 1

未定義のインスタンスで新しいクラスを定義することはどうですか？あなたはルールの左手側は表現コンテキストであることを思い出した場合

{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE UndecidableInstances #-} 

class MyRead a where 
    myread :: String -> a 

instance {-# OVERLAPPABLE #-} Read a => MyRead a where 
    myread = read 

instance MyRead Int where 
    myread = const 0 

main = do 
    print $ (myread "True" :: Bool) -- True 
    print $ (myread "\"string\"" :: String) -- "string" 
    print $ (myread "12" :: Int) -- 0 

Answer 2

あなたは、パターンの文脈では、（おそらく）で、書き換えルールと直接ないを明白な方法でこれを行うことができます。特に、左側のタイプのアプリケーションは完全に有効です。でもタイプのアプリケーションなし

{-# LANGUAGE TypeApplications #-} 

module A where 

{-# INLINE [1] myread #-} 
{-# RULES "myread" forall s . myread @Int s = 0 #-} 

myread :: Read a => String -> a 
myread = read 

は、次のようにも完全に有効です（ただし、出力タイプはf aだった、あなたは、あなたが.. = (result :: [ _ ])を持っていることができなかっただけでf「最適化」したかった場合例えば、一般的にはできない場合があります）：

{-# RULES "myread" forall s . myread s = (0 :: Int) #-} 

そして、一例として

module B where 

import A 

fun :: String -> String -> (Int, Bool) 
fun x y = (myread x, myread y) 

ルール火災は常に（もちろん、コアを見ていることを証明を使用します省略無関係ビット）：

fun4 :: Int 
fun4 = I# 0# 

fun :: String -> String -> (Int, Bool) 
fun = 
    \ _ (w1 :: String) -> 
    (fun4, 
    case readEither6 (run fun3 w1) of _ { 
     [] -> fun2; 
     : x ds -> 
     case ds of _ { 
      [] -> x; 
      : ipv ipv1 -> fun1 
     } 
    }) 

注、これは正確に目標が何であるかを実際にコメントしていない私はよく分からないという理由だけ答えですが、コードはコメントに適合していないでしょう。