Aleš Šturala | Blog | česká verze

go to english version »

Znáte Foldr? Foldr je funkce, kterou najdeme ve většině funkcionálních jazycích jako je například Haskell (Foldr) či F# (List.Fold_r). Jedná se o velice užitečnou funkci pokud potřebujete zpracovat jednotlivé prvky pole a vrátit jako jeden výsledek (ne pole). Takovým příkladem by mohlo být například sečtení všech čísel v poli.

Foldr není součástí .NET frameworku! Implementaci této funkce najdete na konci tohoto článku.

Funkce Foldr má 3 parametry, první je zpracovávané pole (list), pak defaultní hodnota (def), která je použita jako poslední prvek pole a funkce (fun), která je volána na každé dva sousední prvky pole.

forma:          Foldr ( list, def, fun )

Jak to tedy funguje? Řekněme, že potřebujete sečíst všechna čísla v poli…

Teorie

forma:          Foldr (  list,                 def,  fun )
kód:            Foldr ( { 1,   2,   3,   4 },  0,    + )
sečtení:                  1 + (2 + (3 + (4 +   0)))      = 10

(more…)

go to english version »

V nové verzi C# 3.0 můžeme najít nové vlastnosti, které známe spíše z funkcionálních jazyků (například lambda expressions). Když jsem ale zpočátku zkoušel různé základní funkcionální postupy, byl jsem celkem zklamaný - nemohl jsem nadeklarovat rekurzivní funkci.

Jaký byl tedy problém? Podívejme se na implementaci jednoduché funkce factorial (int -> int) - má jeden parameter int a vrací int:

Test 1

Func<int, int> fac = x => x == 0 ? 1 : x + fac(x - 1)

Toto je optimální jednořádkové řešení, které ale bohužel v C# nefunguje, dostaneme chybu “Use of unassigned local variable ‘fac’“. Nemůžeme takto psát rekurzivní funkce, protože compiler nezná naši fac funkci při rekurzivním volání.

Test 2
Zkusíme tedy nadeklarovat fac funkci o jeden řádek dřív:

Func<int, int> fac;
fac = x => x == 0 ? 1 : x + fac(x - 1);

Stejná chyba, “Use of unassigned local variable ‘fac’”

Test 3

Func<int, int> fac = null;
fac = x => x == 0 ? 1 : x + fac(x - 1);

Toto řešení již funguje, pokud tedy chceme volat funkci rekurzivně, musíme ji nadeklarovat a přiřadit hodnotu null dřív, před implementací samotné funkce. Nicméně jak můžeme vidět, C# 3.0 nám nedovolí deklarovat ’sexy’ jednořádkové funkce.

This is quick introduction to F# and its syntax for Haskell programmers. In this article, you can find essential operations written in both Haskell and F#. So if you have already some experience with Haskell then it will be easy to get into the secrets of F#.

Basics, Functions, Lists, Types and some others…

(more…)