（エミュレートされた）Haskellのマクロ？

Question

Redditの上の人は私の注意にこのコードをもたらしています：

main = do 
    let ns = [print 1, print 2, print 3] 
    sequence_ ns 
    sequence_ $ reverse ns 
    sequence_ $ tail ns ++ [head ns] 
    head ns 

ここで何が起こっているが、我々は逆のように、とのものを行うか、その尻尾や頭を取得することができます操作の配列を持っています。

驚くばかりです。

私がしたいことは、個々の要素に入り、それらを変えることです。

ns !! 0 

など何かを取得[印刷を、1]、その後、関数は3.14を印刷なるように3.14、たとえば、に最後の要素を変更します。たとえば、私はこのような何かを行うことができるようにしたいです。

ハスケルでも可能ですか、それともLISPに戻るべきですか？

重要な編集：私は一掃された。私は新しいリストを作成する必要があることを理解しています。リストの一部である関数の引数を取得することは可能ですか？私が望むのは、識別子/引数から関数を構成する能力であり、関数が評価される前に識別子/引数に関数を分解することも可能です。

Answer 1

Lispよりも少し複雑ですが、Haskellでのメタプログラミングの場合は、Template Haskellを使用できます。

例えば、[|print 1|]型Q Exp（発現の引用）を有する

return $ AppE (VarE $ mkName "print") (LitE $ IntegerL 1) 

に変換されます。

自分のデータを引用してスプライスする場合は、[|print $(foo 3.14)|]はコンパイル時にfoo 3.14を実行します。

Answer 2

リストを変異させたいですか？あなたはlispに戻ってください;-)

値はHaskellでは不変です。 Haskell-wayは、最後の要素を除いて古いリストと等価な新しいリストを作成することです。

（そこでは、可変値とポインタをシミュレートすることができモナドを含むいくつかのトリックがありますが、それはあなたがここに欲しいものはおそらくありません。）

編集：私は、編集された質問を理解全くわからないが、あなたのことができ関数と引数を別々にデータとして扱い、後に "適用する"。

do 
    let ns = [(print, 1), (print, 2), (print, 3)] 
    sequence_ $ map (\(f,a)->f a) ns 

Answer 3

値を関数に適用したら、戻す方法はありません。関数とその引数を必要に応じて評価または分解できるデータ型でラップしてみてください。

data App a b = App (a -> b) a 
runApp (App a b) = a b 
ns = [App print 1, App print 2, App print 3] 
main = do 
    sequence_ $ map runApp ns 
    let ns2 = [App fun (arg^2) | App fun arg <- ns] 
    sequence_ $ map runApp ns2 

出力

1 
2 
3 
1 
4 
9 

Answer 4

などはHaskellのやり方はちょうど新しいリストを作成することであると言われてきたが、あなたは本当に

import Data.Array.IO 

seqArr_ arr = getElems arr>>=sequence_ 

main= do 
    arr <- newListArray (0,2) [print 1,print 2,print 3] :: IO (IOArray Int (IO())) 
    seqArr_ arr -- prints 1 2 3 
    writeArray arr 2 (print 3.14) -- change the last element 
    seqArr_ arr -- prints 1 2 3.14 

をしたい場合は、IOArrayとIOモナド内の可変配列を持つことができます