scala coursera функциональное задание по программированию FunSets

e называется параметром. Параметр привязывается к аргументу, когда функция применяется к аргументу.

Например, в функции

val f: Int ⇒ Int = i ⇒ i + 1

i — это параметр. Если применить функцию, на которую ссылается f, к аргументу, скажем, 2, то внутри функции i привязывается к значению аргумента, т.е. внутри функции разыменование i оценивается как 2. Таким образом, применение функции, на которую ссылается f, будет оцениваться как 3:

f(2)
//=> 3

def union(s: Set, t: Set): Set = (e: Int) => s(e) || t(e)

Давайте разобьем это на маленькие кусочки.

• def union() Я определяю метод, который я назову union.
• (s: Set, t: Set) Этот метод будет принимать 2 параметра, которые я назову s и t, оба типа Set.
• : Set Этот метод вернет значение typeSet. Подожди... что такое Set?
• type Set = Int => Boolean А, хорошо, Set — это функция, которая принимает Int в качестве параметра и возвращает Boolean в качестве результата. Понятно. Вернемся к методу union().
• (e: Int) => s(e) || t(e) Это функция, которая принимает один параметр типа Int. Я назову этот параметр e. Когда эта функция получает Int, она будет передана как s, так и t. s и t оба относятся к типу Set, что означает, что при подаче Int они возвращают Boolean. Итак, у нас будет 2 значения Boolean, и они будут объединены по ИЛИ, чтобы получить одно Boolean, которое соответствует определению Set (Int вход, Boolean выход), так что мы закончили.

Итак, теперь давайте создадим пример и посмотрим, как это можно использовать.

val setA:Set = x => x == 5   //this Set is true only for 5
val setB:Set = y => y == 2   //this Set is true only for 2
val setU = union(setA, setB) //setA is parameter s, setB is parameter t

setU(2)  //'e' is now 2, this returns true
setU(5)  //'e' is now 5, this returns true
setU(25) //'e' is now 25, this returns false

Как упоминалось в видео-лекции... мы должны присвоить анонимную функцию базовой функции.

здесь (x: Int) не взято откуда-то, считайте его функциональным параметром другой функции. бывший:

def num(s: FunSet): FunSet = (x: Int) => x

this is similar to, 
def function(x: Int) = x

def num(s: FunSet): FunSet = function

Надеюсь, это поможет будущим учащимся...! У меня тоже было такое сомнение...

Помните, как в этом присваивании было определено Set: это просто функция, которая принимает Int и возвращает Boolean. Когда вы передаете Int этой функции, функция возвращает true, если Int находится в Set, и false, если это не так. Другими словами, этот тип Set на самом деле является не столько коллекцией, сколько определением того, что означает, что что-то находится в данном Set.

Теперь, что делает вызов union между двумя Set? Что ж, он создает Set, члены которого входят по крайней мере в одну из этих двух Set. Помните, что Set — это всего лишь функция Int => Boolean, поэтому:

(e: Int) => s(e) || t(e)

это функция, которая принимает некоторый параметр Int, называет его e и возвращает true, если ЛИБО s(e) истинно, ИЛИ t(e) истинно. Согласно объявлению метода union, что такое s и t?

def union(s: Set, t: Set):

s — это ФУНКЦИЯ, описывающая, находится ли Int в Set s или нет; аналогично для t. Таким образом, s(e) || t(e) означает, что e должно быть в одном или обоих Set, чтобы union из двух Set вернуло true, что и является определением union.