Елементи функціональних мов

Функціональне програмування – парадигма, в якій процес обчислення трактується як обчислення значень функцій в її математичному розумінні. Немає змінних.

Представники: LISP, F#, Haskell, Erlang.

Концепції:

Функції вищих порядків – функції які пожуть приймати і повертати функції.

Чисті функції – функції, які немають побічних ефектів введення-виведення і памяті.

Рекурсія – цикл реалізується у виляді рекурсії.

Переваги:

Надійність коду

Легкість організації модульного тестування.

Можливість складної оптимізації при компіляції.

Можливість легкого розпаралелення.

Функціонал – це функція, що приймає функції як параметри і оперує цими функціями, і може повертати функцію.

Лямбда-вирази надають більш природний спосіб створення і виклику функціоналів.

Лямбда-вираз – це синтаксис при допомозі якого можна оголошувати анонімні функції (делегати) простіше і зрозуміліше.

=> - лямбда-оператор, який читається як «переходить в».

Func<double, double> expr = x => x/2;

Замиканя (Closure)

Int counter = 0;

WriteStream(() => counter++);

Private static void WriteStream(Func<int>generator){

For(int i=0; i<10;i++)

Generator();

}

Лямбда-оператор – лямбда-вирах але з блоком для виконання більш ніж одної операції.

(x,y) => {return x*y;}

Predicate<T> - представляє метод, який містить набір притеріїв і визначає, чи зазнчений обєкт відповідає цим критеріям.

Predicate<int> eql = x => x<10;

Expression<Func<int,int>> expr = n => n+1;

Expr = Expression<Func<int,int>>.Lambda<Func<int,int>>

(Expression.Multiply(expr.Body,Expresion.Constant(2)),expr.Parameters);

Func<int,int> func = expr.Compile();

For(int i=0; i< 10; i++)

Console.WriteLine(func(i));

Expression<Func<int,int>> expr1 = n => n+1;

Expression<Func<int,int>> expr2 = n => 5*n;

Expression<Func<int,int>> expr =

Expression<Func<int,int>>.Lambda<Func<int,int>>

(Expression.Invoke(expr1,expr2.Body), expr2.Parameters);

Func<int,int> fn = expr.Compile();

Карирування – приймає функцію з багатьма параметрами, а повертає з одним.

LINQ – сукупність мовних засобів, які дозволяють звертатися до даних в стилі, подібному до класич мов засобів.

var evens = from p in numbers where (p%2) == 0 select p/2;

let – створює для запиту тимчасову змінну.

Into – результат group or join присвоюється змінній, яка використовується в запиті пізніше.

var query = from x in Enumerable.Range(0, 10)

from y in Enumerable.Range(0, 10)

Дата добавления: 2013-12-14