Функциональное программирование на JavaScript

Илья Лахин

www.lakhin.com

Императивное

Описывает, что должен делать компьютер

Декларативное

Описывает, составные части желаемого результата

Программирование

Императивное

Декларативное

Программирование

var array = [1, 2, 3];

var sum = 0;

for (var i = 0; i++; i < 3) {
  sum = sum + array[i];
}

print(sum);
arraySum([first]) := first;

arraySum([first, rest...]) :=
    first + arraySum(res);

print(arraySum([1, 2, 3])); // 6

Императивное

C, C++, Java 

Декларативное

Haskell, Lisp

Программирование

Декларативное/функциональное программирование

Особенности:

  • Множества функций и их комбинаций.
  • Все функции "чистые". Нет сторонних эффектов.
  • Определение через рекурсию(индукцию).
  • Аргументы функции - другие функции.
  • Результат функции - функция.

Декларативное/функциональное программирование

array() = [1, 2, 3];

reduce([x], f) = x;
reduce([x, xs...], f) = f(x, reduce(xs));

sum(a, b) = a + b;

arraySum(xs) = reduce(xs, sum);

print(arraySum(array()));

Основания теории вычислимости

Алонзон Чёрч

Лямбда-исчисление

Алон Тьюринг

Иперативное программирование

Моисей Шейнфинкель

Комбинаторная логика

JavaScript

Источник: octoverse.github.com 2017
Источник: www.modulecounts.com

JavaScript

  • Разработка Front-End, Back-End и Mobile
  • Огромное количество библиотек на все случаи жизни(npm)
  • Развитый современный синтаксис
  • Интепретируемый и компилируемый язык
  • Имеет типизированный диалект(TypeScript)
  • Хорошо оптимизированные движки
  • Почти все современные языки имеют трансляторы в JS

JavaScript

  • Синтаксис, как в C
  • Семантика, как в Scheme(Lisp)
function inc(x) {
  return x + 1;
}

var twice = function(f) {
  return function(x) {
    return f(f(x));
  };
};

var Plus2 = twice(inc);

console.log(inc(5)); // 6
console.log(Plus2(5)); // 7

Современный EcmaScript/TypeScript

ES6/7 и TypeScript компилируются в ES5, как в ассемблер (Webpack, Babel)

  1. Краткий синтаксис для функций
  2. Модули
  3. Классы, интерфейсы, наследование, полиморфизм
  4. Destructuring assignment
  5. Генераторы
  6. Async/Await promises

Функциональные программирование на ES/TS

import _ from 'lodash';

var obj = {
  x: [1, 2, 3],
  y: [4, 5, 6]
};

var accumulator = [];

for (var key in obj) {
  var subarray = obj[key];

  for (var i = 0; i < subarray.length; i++) {
    accumulator.push(subarray[i] * 2);
  }
}

var result = 0;

for (var j = 0; j < accumulator.length; j++) {
  result = result + accumulator[j];
}

Функциональные программирование на ES/TS

import _ from 'lodash';

var obj = {
  x: [1, 2, 3],
  y: [4, 5, 6]
};

var result = _(obj)
  .values()
  .flatten()
  .map(x => x * 2)
  .reduce((a, b) = a + b)
  .value();

Функциональные программирование на ES/TS

import _ from 'lodash';

var obj = {
  x: [1, 2, 3],
  y: [4, 5, 6]
};

var result = _(obj)
  .values() // [ [1, 2, 3], [3, 4, 5] ]
  .flatten() // [1, 2, 3, 4, 5, 6]
  .map(x => x * 2) // [2, 4, 6, 8, 10, 12]
  .reduce((a, b) = a + b)
  .value(); // результат

Асинхронное программирование на ES/TS

var timeout = async function(value, time) {
  return new Promise((resolve) => {
    setTimeout(() => resolve(x), time * 1000);
  });
};

timeout('a', 5);
timeout('b', 2);
timeout('c', 3);

// b c a
// in 5 seconds


async function synchronizeMe() {
  var a = await timeout('a', 5);
  var b = await timeout('b', 2);
  var c = await timeout('c', 3);

  // a b c
  // in 10 seconds

  return a + b + c;
}

var result = await synchronizeMe();

console.log(result); // 'abc';

Современный EcmaScript/TypeScript

import {Boo} from 'boolib';
import {Generic} from 'genericlib';

export class Foo extends Boo {
  private a: string;
  public readonly b: number;

  @AnnotationExample("with param")
  constructor() {}

  private somePrivateMethod<T>(
    x: Generic<T>,
    f: (number) => string[],
    obj: any): number|string {

    const z = (a) => {
      const b = a + x.y;

      return b;
    };

    const oneliner = (a, b) => a + b;

    const { c: number[]; d: { e: string, g: number } } = obj;

    console.log(c[0] + g);

    return 10;
  }
}

Илья Лахин

www.lakhin.com

Вопросы и ответы

Made with Slides.com