仕事で使うF#

F# bleis-tiftAugust 28, 2011

F# F#NParsec FParsec

F#OCaml.NET Framework

F#cons

1 3[1; 2; 3][1..3]1::2::3::[]1::2::[3][ 1 2 3 ]

let xs = [2..10]let ys = 1::xs

int string int * string

1let x, y = 10, 20printfn "%A" (x, y) // => (10, 20) 2let (x, y) as tpl = 1, 2printfn "%A" tpl // => (1, 2)printfn "%A" (x, y) // => (1, 2)printfn "(%d, %d)" x y // => (1, 2)

let [x; y] as lst = [1; 2]printfn "%A" lst // => [1; 2]printfn "%A" [x; y] // => [1; 2]printfn "[%d; %d]" x y // => [1; 2]warning FS0025: ’[_;_;_]’

2(2, "hoge") // int * string//[2; "hoge"][box 1; box "hoge"] // obj list

// ,let p = " ", 21type Person = { Name: string Age: int}let p = { Name = " "; Age = 21 } 4

F#type Person(name: string, age: int) = member this.Name = name member this.Age = agelet p = Person(" ", 21)type Person = { Name: string; Age: int }let p = { Name = " "; Age = 21 }

type Person(name: string, age: int) = member x.Name = name member x.Age = agelet f p = p.Nameerror FS0072:

type Person = { Name: string; Age: int }let f p = p.Nametype Person = {Name: string; Age: int;}val f : Person -> string

(enum)

HtmlElem

C#public abstract class HtmlElem {}public class Heading : HtmlElem { public int Level { get; private set; } public string Text { get; private set; } public Heading(int level, string txt) { Level = level; Text = txt; } }public class Text : HtmlElem { public string Text { get; private set; } public Text(string txt) { Text = txt; } }public class HorizontalLine : HtmlElem {}

F#type HtmlElem =| Text of string| Heading of int * string| HorizontalLine

EqualsGetHashCodeMake static analyzers happy== !=ToString

sprintf ”%A”

F#F# C#

let add = function| 0, y -> y| x, 0 -> x| x, y -> x + y function

match functionmatchlet add tpl = match tpl with | x, y -> x + yfunctionlet add = function| x, y -> x + y

type t = { Tag: int; Value: int }let value { Value = v } = v

matchmatchlet add tpl = match tpl with | x, y -> x + yfunctionlet add = function| x, y -> x + ylet add (x, y) = x + y

Persontype Name = { FirstName: string LastName: string}type Person = { Name: Name; Age: int }let f x = let { Name = { FirstName = fn } } = x fn

Maybetype MaybeBuilder() = member this.Bind(x, f) = x |> Option.bind f member this.Return(x) = Some xlet maybe = MaybeBuilder()let plus db = maybe { let! x = db |> Map.tryFind "x" let! y = db |> Map.tryFind "y" return x + y}

Map-Reduce ( )fold reducefold

fold reducefold reduce

F#fold reduce> List.fold;;val it : ((’a -> ’b -> ’a) -> ’a -> ’b list -> ’a) = <fun:clo@1>> List.reduce;;val it : ((’a -> ’a -> ’a) -> ’a list -> ’a) = <fun:clo@2-1>foldreduce list list

foldfoldsumforallmapﬁlter

fold sumsumlet sum xs = List.fold (+) 0 xs

fold forallforalllet forall p xs = xs |> List.fold (fun acc x -> acc && (p x)) trueexists

fold mapmaplet map f xs = ([], xs) ||> List.fold (fun acc x -> acc @ [f x] )

fold ﬁlterﬁlterlet filter p xs = ([], xs) ||> List.fold begin acc x -> if p x then acc @ [x] else acc end

foldfold fold( unfold) fold

F#F# .NET

F# F#.NET Framework

.NET Framework 2.0 .NET Framework F#

.NET Framework F# .NET Framework2.0 Runtime .NET Framework2.0 LINQ F # List.NET Framework 2.0 F#

.NET Framework 4.0 F# TDDBC Tokyo 1.6 C# ( ) KeyValueTime.cs 42 SystemClock.cs 30 TddbcKeyValueStore.cs 67 F# ( ) KeyValueStore.fs 48C# 139 F# 48

.NET Framework 4.0 F# TDDBC Tokyo 1.6 C# ( ) KeyValueTimeTest.cs 141 SystemClockTest.cs 34 TddbcKeyValueStoreTest.cs 346 ( ) F# ( ) KeyValueStore.fs 170C# 521 F# 170

.NET Framework.NET Framework F# 2.0 C# F#

F#.NET F# option

F# C#VB

.NETC# VB

F# list F# dll array seq

staticNewHoge Tag IsHoge F#

module Hogelet plus10 = ((+)10) Hoge.plus10 FSharp.Core.FSharpFunc FSharp.Core.dll

NParsec FParsec

yacc lex yacc lex

parsecJParsecNParsecFParsecscala.util.parsingBoost.Spirit

NParsecparsec .NETC# C# JavaScanner

FParsecparsec .NETF#

NParsec FParsec

NParsecvar lazyexpr = new Parser<double>[1];var plazyexpr = Parsers.Lazy<double>(() => lazyexpr[0]);var pterm = plazyexpr.Between(popen, pclose) | pnum;var pexpr = ...lazyexpr[0] = pexpr;

FParseclet pexpr, exprref = createParserForwardedToRef()let pterm = pexpr |> between popen pclose <|> pnumdo exprref := ...

F# 10 C# 54 C# Visitor

NParsec Bindreturn Parsers.Return(...)FParsec

NParsec

F# FParsec F#

http://d.hatena.ne.jp	3863
http://webcache.googleusercontent.com	8
http://a0.twimg.com	3
http://s.deeeki.com	1
http://translate.googleusercontent.com	1
http://paper.li	1

仕事で使うF#

by bleis tift on Aug 29, 2011

Accessibility

Categories

Tags

Upload Details

Usage Rights

6 Embeds 3,877

Statistics

仕事で使うF# — Presentation Transcript