Snippets tagged quotations
-
Traverse quotation
Shows how to use the 'ExprShape' module to recursively traverse an entire quotation and how to write quotation transformations. As an example, the snippet replaces all numeric constants in the quotation and then runs the transformed code.
26 people like this
Like the snippet!Posted: 13 years ago by Tomas Petricek
-
Clojure-like lambda function syntax
This snippet implements a Clojure-like lambda function syntax using Code Quotations. However, this implementation is slow and, moreover, not type-safe. So I'm looking for a way to solve the issues.
5 people like this
Like the snippet!Posted: 13 years ago by einblicker
-
Expanding quotations
The snippet implements a function "expand" that takes a quotation and performs two operations. It replaces all calls to methods marked with ReflectedDefinition with the body of the method and it simplifies all expressions that can be reduced in call-by-name style (let binding & application of lambda).
7 people like this
Like the snippet!Posted: 12 years ago by Tomas Petricek
-
Declarative validation
Simple combinator library to declarative validation.
16 people like this
Like the snippet!Posted: 12 years ago by Kaspar
-
Eval Quotations
Evaluates a useful subset of F# quotations at run-time (without the F# PowerPack API).
15 people like this
Like the snippet!Posted: 11 years ago by Phillip Trelford
-
Using Expressions to Clone F# Values
How to generate functions for copying F# record-array-union trees with Expr.
1 people like this
Like the snippet!Posted: 10 years ago by Rick Minerich
-
WebSharper: compile a quotation to JavaScript
This function compiles an F# quotation to a JavaScript string, or prints errors to stderr and returns None on failure.
4 people like this
Like the snippet!Posted: 9 years ago by Loïc `Tarmil` Denuzière
-
Quotation Printer
Allows you to pretty print a quotation.
7 people like this
Like the snippet!Posted: 8 years ago by Colin Bull
-
Where does the Celsius come from?
An exploration of the power of Computation Expressions, Type Extensions, Extension Methods, and Method Overloading. May or may not be a monad or a monoid - we're not sure, nor do we care to check.
7 people like this
Like the snippet!Posted: 6 years ago by Tomas Petricek, Krzysztof Cieślak, John Azariah, Phillip Carter
-
Normalization by Evaluation
Optimizing F# quotations by applying Normalization-by-Evaluation
3 people like this
Like the snippet!Posted: 4 years ago by Eirik Tsarpalis
-
Recursive active pattern for expanding list quotations
This is a recursive active pattern for extracting the elements of a list quotation as a list of Exprs, There doesn't seem to be a List pattern in the standard library. The compiler will complain about this recursive pattern unless you use #nowarn "40".
4 people like this
Like the snippet!Posted: 3 years ago by allisterb
-
Supercompilation using quotations
This code sample shows how to create a function that raises number to a given power using supercompilation with quotations. For any given power, the function returns quoted expression for calculating the power using explicit multiplications, which is then evaluated.
21 people like this
Like the snippet!Posted: 13 years ago by Dmitry Soshnikov
-
Transform expressions into Excel formulae
Sometimes it is extremely useful to check some calculations with Excel. The snippet shows how F# expressions can be transformed into Excel formulae. The data is exported together with the formulae, e.g. a, b and sum function as input sets A1's value to a, B1's to b and C1's formula to "=$A$1+$B$1"
17 people like this
Like the snippet!Posted: 12 years ago by Natallie Baikevich
-
Translating quotations to LINQ
A sample that translates simple F# quotations (method calls, property getters) to stnadard C# LINQ expression trees.
7 people like this
Like the snippet!Posted: 12 years ago by Tomas Petricek
-
Mocking library
F# Mocking library with a fluent interface Moq users should find familiar. Generate mocks for interfaces and abstract types. Supports mocking methods, properties and events. Specify arguments as wildcards or values to match. Define results as values, computed values or exceptions.
6 people like this
Like the snippet!Posted: 11 years ago by Phillip Trelford
-
In-list / contains expression
Filter by list of properties when provider supports filter expressions but doesn't support Contains. Equivalent C# : https://gist.github.com/mausch/6893533
2 people like this
Like the snippet!Posted: 11 years ago by Mauricio Scheffer
-
Normalisation by evaluation
Normalisation of "F# quotations" by evaluation.
4 people like this
Like the snippet!Posted: 9 years ago by Nick Palladinos
-
Mutating provided XML types
Using F# 4.0 Automatic Quotations to mutate provided XML documents with static type checking
2 people like this
Like the snippet!Posted: 9 years ago by Green Eagle Solutions
-
A Simple Evaluator for F# quotations
A simple evaluator for F# quotations using TypeShape
2 people like this
Like the snippet!Posted: 7 years ago by Eirik Tsarpalis
-
Compiling quotations
Demonstrates how to compose code at run time using F# quotations (both typed and untyped) and how to compile and run/execute the quotation using F# Quotations Evaluator (based on F# 2.0 PowerPack code) from the F# Software Foundation. (Updated October 25, 2019)
0 people like this
Like the snippet!Posted: 5 years ago by Tomas Petricek, Zane Purvis
-
Dynamic Invocation of Generic Functions In A Module
A quick snippet showing three different ways of dynamically/reflectively locating a module then invoking a generic function. The first two don't rely on a class. But the third is more readable/understandable for most .NET devs.
5 people like this
Like the snippet!Posted: 3 years ago by Cerberus (FSharp Discord)