Back to Questions
1.7k
views1
comment
Is staged computation possible using a F# Quotation?
f#haskell

Given

1

let q = <@ 1 + 1 @>

Is there a way to define a variable using q

1

let x = .... define using q

In template haskell this is called splicing. For example,

1
2
3
4
5

Prelude Language.Haskell.TH> :t [| 1 + 1 |]
[| 1 + 1 |] :: ExpQ
Prelude Language.Haskell.TH> $([| 1 + 1 |])
2
it :: Integer

What library function should I use to do something like this in F#?

I want to generate a generic function on tuples and such. (e.g. generate zip, zip2, zip3 from quotation).

.

No, not in F# 1.9.4. The explicit aim of F# quotations in 1.9.4 is to allow you to convert them to LINQ expression trees (and other meta-programming libraries) to enable you to execute them as, for example, SQL queries. You can also use this technique to compiule and run a small subset of quotations (using LINQ's ".Compile" on expression trees)

thanks

don

By on 7/14/2008 2:37 PM ()

    Topic tags

    IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
    Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy     		Built with WebSharper