F#, pitanja, odgovori, diskusije

Posto smo svi manje vise newbies za F#, mozemo ovde da razmenjujemo iskustva, probleme i zanimljivosti tokom ucenja ovog jezika.

Za one neupoznate, F# (FSharp) je novi jezik u paleti .NETa. Zanimljiva novost koja ga istice u odnosu na C# je dodavanje funkcionalnih kontrukcija u jezik sto ce olaksati neke poslove, mada ima jos neih noviteta.

Koga mrzi da ceka novi VS2010, postoji CTP addon za VS 2008 koji dodaje F# jezik i par osnovnih project template-a. Isti plugin se moze naci ovde a neka osnovna dokumentacija se moze naci na Microsoft F# Developer Center

Potpis

Sloba je za 12 godina promenio antropološki kod srpskog naroda. On je od jednog
naroda koji je bio veseo, pomalo površan, od jednog naroda koji je bio znatiželjan, koji
je voleo da vidi, da putuje, da upozna,
od naroda koji je bio kosmopolitski napravio narod koji je namršten, mrzovoljan,
sumnjicav, zaplašen, narod koji se stalno nešto žali, kome je stalno neko kriv - Z.Đinđić

Ted Neward and Amanda Laucher on F# - Audio Podcast

Ted Neward Introduces F# - Screencast part 1
Ted Neward on F# Part 2 - Screencast part 2

Potpis

My programs don’t have bugs, they just develop random features.

Da li sam dobro razumeo da se F# kod interpretira?
Ako jesam, nije mi baš jasno gde je mesto F# interpretatora u .net platformi:
Inače imamo kompajliranje do MSIL-a, i onda interpretaciju na .net platformi, a gde tu sad dođe F# interpretator?

I da i ne - F# je kompajlirani jezik, F# kompajler pravi .exe koji možeš da otvoriš recimo Reflectorom i vidiš da se radi o potpuno normalnom IL kodu.

Ono što F# ima kao dodatak je "F# Script", skriptovi se pišu malčice drugačije nego programi za kompajler (drugačije se uzimaju parametri komandne linije, recimo), pa kome treba skript jezik koji može da se lako poveže sa .net platformom F# script može biti dobar izbor.

i F# skripte (.fsx .fsscript) su isto kompajlirane u IL i emitovane kao in-memory assembly i poterane na metalu, nema interpretacije.

Potpis

Sloba je za 12 godina promenio antropološki kod srpskog naroda. On je od jednog
naroda koji je bio veseo, pomalo površan, od jednog naroda koji je bio znatiželjan, koji
je voleo da vidi, da putuje, da upozna,
od naroda koji je bio kosmopolitski napravio narod koji je namršten, mrzovoljan,
sumnjicav, zaplašen, narod koji se stalno nešto žali, kome je stalno neko kriv - Z.Đinđić

Pre par meseci mi je trebao programčić koji automatizuje posao koji svakodnevno radim, pa sam ga napisao u F#, čisto da probam kako izgleda novi jezik. Pretpostavljam da bi neki iskusni F# ili ML vuk celu stvar napisao mnogo kraće, ali dobro, svaki početak je težak ;) - kačim program uz poruku, možda nekom pomogne u učenju jezika.

(Visual Studio 2008, F# 1.9.7.8)

*

Šta program radi? Pa, ja sam ovisnik o serijama i filmovima i dosta materijala ;) skidam sa rapidshare i sličnih sajtova. Često su to arhive u arhivama, i dok čovek dođe do .avi-ja ili .mkv-a treba dosta kucanja, plus je u arhivama i razno đubre u vidu .nfo fajlova i sličnih gluposti. Programče uz poruku koristi unrar.dll biblioteku da raspakuje arhivu, a ako je odabrano rekurzivno raspakivanje, sve arhive u arhivi će takođe biti raspakovane. Program ume da preskoči zadate foldere (Sample, recimo), da iz arhive izvuče samo fajlove određenih ekstenzija (avi, mkv, sub...), da "spljošti" strukturu direktorijuma tako da će u output folderu biti svi željeni fajlovi, bez obzira da li u arhivi postoje folderi cd1, cd2 i slični. U konfiguracionom fajlu (.unpacker) koji se može staviti u download folder ali i u users folder se mogu navesti i često korišćene loziknke pa će ih program isprobavati i ako ni jedna ne radi pitati koju lozinku da koristi. Posle raspakivanja se može pokrenuti bilo koji izvršni program sa raspakovanim fajlovima kao argumentom (ja koristim tvnamer python script, koji downloadovanu epizodu serije automatski reimenuje, skript je priložen u arhivi)... itd, itd, kome je tema interesantna može da proba program na sopstvenu odgovornost - pravio sam ga za sebe, meni radi i ne nudim nikakvu podršku :)

Ok, imam mallih problema u konceptualnom razumevanju white-space delimited scopes (samo najgori sado-mazohista moze da osmisli jezik u kome se scope definise space-om )

primer male rekurzivne matching fukcije preko lambda match:



Nije mi bas najjasnije sta je ovde sa cim u scope-u. Npr, ako 2, ili x patern pomeriteu levo kompajler ce vrisnuti cak iako ima dodatnih spaceova (samim tim je takodje u novom scope-u kao i pre):


Sa druge strane ako dodam variajbilni broj space-ova pred patern, to prolazi lagano iako bi trebalo da vristi zbog novih scope-ova:


slicna prica se pojavljuje i u "match x with" formi, generalno uvek pravi problem ako je token ispred prvog tokena bez obzira gde se on nalazi, sto je onda u suprotnosti sa generalnom pricom o scopes u F# osim ako je sama patern match lista scope za sebe za koji ne vaze opsta pravila.
Da mi je samo znati sta je toliko problematicno sa je*enim viticastim zagradama za definisanje scope-a.

Potpis

Sloba je za 12 godina promenio antropološki kod srpskog naroda. On je od jednog
naroda koji je bio veseo, pomalo površan, od jednog naroda koji je bio znatiželjan, koji
je voleo da vidi, da putuje, da upozna,
od naroda koji je bio kosmopolitski napravio narod koji je namršten, mrzovoljan,
sumnjicav, zaplašen, narod koji se stalno nešto žali, kome je stalno neko kriv - Z.Đinđić

samo F# još nije toliko raširen.

evo jedan mali primjer

kreiramo F# library (dll)

dodamo slijedeći code




prva funkcija računa faktorijelu, a druga zbroj.

kreiramo projekt u win C#, na formu stavimo jedan gumb i jedan textbox.
u naš C# prokjekat ubacimo referencu F# dll.

na klik gmba dodamo



u textbox će nam se ispisati rezultat u našem primjeru 5.

učim haskell, ali mislim da ću prijeći na F#.

smatram da F# ima budućnost posebno u financijskom sektoru, pa u proračunima itd...
samo da nisu dodali OOP u F# , jer nije potrebno.

a velika je vjerojatnost da zamijeni cobol i da postane ono što je cobol bio nekad.


evo upravo stavio VS 2010.

Bez OOPa bi ga tesko integrisao u CLR svet.

Potpis

Sloba je za 12 godina promenio antropološki kod srpskog naroda. On je od jednog
naroda koji je bio veseo, pomalo površan, od jednog naroda koji je bio znatiželjan, koji
je voleo da vidi, da putuje, da upozna,
od naroda koji je bio kosmopolitski napravio narod koji je namršten, mrzovoljan,
sumnjicav, zaplašen, narod koji se stalno nešto žali, kome je stalno neko kriv - Z.Đinđić

Microsoft-ov časopis partner u učenju (na srpskom) je predstavio F# jezik, zasad je izašlo 6 nastavaka.

nabavio sam knjigu F# programming, ali nije nešto.

jel mi netko može preporučiti iz koje knjige učiti?

Neki lik iz Microsofta objašnjava funkcionalno programiranje što obuhvatai F#:
http://channel9.msdn.com/shows...amming-Fundamentals-Chapter-1/

Serija video predavanja.

Don Syme - Microsoft Research
http://research.microsoft.com/en-us/people/dsyme/
http://en.wikipedia.org/wiki/Don_Syme
http://blogs.msdn.com/b/dsyme/

InfoQ: Don Syme Answering Questions on F#, C#, Haskell and Scala (VIDEO: 46min 40sec) - Mar 27, 2009
Summary
In this interview made by InfoQ’s Sadek Drobi, Don Syme, a Senior Researcher at Microsoft Research, answers questions mostly on F#, but also on functional programming, C# generics, type classes in Haskell, similarities between F# and Scala.
http://www.infoq.com/interviews/F-Sharp-Don-Syme

InfoQ: F# - Succinct, Expressive, Efficient Functional Programming for .NET (VIDEO: 01h 00min 13sec) - Jul 17, 2009
Summary
Don Syme presents F# basics, a typed functional language for .NET that combines the succinctness, expressivity, and compositionality of functional programming with the runtime support, libraries, interoperability, tools, and object model of .NET.
http://www.infoq.com/presentations/F-Sharp-Basics-Don-Syme

InfoQ: Don Syme Talks About F# 2.0, a First Class Citizen in Visual Studio 2010 (VIDEO: 52min 08sec) - May 22, 2010
Summary
In this interview made by Sadek Drobi, Don Syme speaks about F# 2.0, its application fields, its integration in Visual Studio 2010 and F# open source Power Pack library. Don also discusses the genesis of F#, the ties with OCaml as well as its specificity. He explains how did OOP and FP mix into one language and mentions some of the language's design decisions and compromises he had to take.
http://www.infoq.com/interviews/don-syme-fsharp-2_0

-------------------------------

Dr. Don Syme is a principal researcher in MSR Cambridge. He has a rich history in programming language research, design, and implementation (C# generics being one of his most recognized implementations), and is the principle creator of F#. Who better to lecture on the topic than Don? This three part series will serve as an introduction to F#, including insights into the rationale behind the history and creation of Microsoft's newest language. In part 2, Dr. Syme provides an overview of the following topics: Functional Data, Pattern Matching, Imperative, Basics and Sequences. In Part 3, Dr. Don Syme elaborates further on: Patterns, Object Basics, Imperative and Programming.
C9 Lectures: Dr. Don Syme - Introduction to F#, 1 of 3 | Going Deep | Channel 9 (VIDEO: 37min 42sec)
C9 Lectures: Dr. Don Syme - Introduction to F#, 2 of 3 | Going Deep | Channel 9 (VIDEO: 37min 57sec)
C9 Lectures: Dr. Don Syme - Introduction to F#, 3 of 3 | Going Deep | Channel 9 (VIDEO: 29min 01 sec)

-------------------------------

Na ovo se nadovezuje sledeci serijal tutorijala:

Welcome to another series of C9 Lectures covering functional programming. For this series, Dr. Ralf Lämmel has generously taken the time to produce videos for Channel 9 from his office at the University of Koblenz-Landau (Germany), where he is a professor of computer science. The idea here is to take the next step from Erik Meijer's fantastic introductory series on functional programming. Accordingly, Ralf's series will dive into more advanced areas of functional programming, again focusing on the Haskell language (the functional concepts here span beyond any one functional language, however).

C9 Lectures: Dr. Ralf Lämmel - Advanced Functional Programming - The Expression Problem | Going Deep | Channel 9 (VIDEO)
C9 Lectures: Dr. Ralf Lämmel - Advanced Functional Programming - Type Classes | Going Deep | Channel 9 (VIDEO)
C9 Lectures: Dr. Ralf Lämmel - Advanced Functional Programming - Evolution of an Interpreter | Going Deep | Channel 9 (VIDEO)