Обучение — Kotlin
Опубликовано 12 May 2022
ментальная карта

Функциональное программирование
Упражнения взяты из книги:
Функциональное программирование в Kotlin по учебникам
Написано Массимо Карли
repo: https://github.com/kodecocodes/fpk-materials
Синтаксис
FirstProgramTest
понятия: отображение экрана, функция
Первый тест программы:https://github.com/cheroliv/cheroliv.com/blob/master/codes/src/test/kotlin/programming/FirstProgramTest.kt[источник]+
ТестФункцииКонкатенации
понятия: память, переменная, значение, объект, расширение функции
ExampleUnitTest:https://github.com/cheroliv/cheroliv.com/blob/master/codes/src/test/kotlin/programming/ConcatFunctionTest.kt[источник]+
Сообщение о дне рождения тестовый вывод
понятия: множества, циклы
Введение в Kotlin
BirthdayMessageTestOutput:https://github.com/cheroliv/cheroliv.com/blob/master/codes/src/test/kotlin/programming/BirthdayMessageTestOutput.kt[источник]+
Курс Kotlin
Базовые функции
Декларативный X императивный подход
package functional
import kotlin.test.Test
import kotlin.test.assertEquals
class DeclarativeTests {
val input = listOf(
"123", "abc", "1ds", "987", "abdf", "1d3", "de1", "88", "101"
)
fun imperativeSum(list: List<String>): Int {
var sum = 0
for (item in list) {
try {
sum += item.toInt()
} catch (_: NumberFormatException) {
}
}
return sum
}
@Test
fun `test imperative approach`() {
imperativeSum(input).run {
println("Sum $this")
assertEquals(1299, this)
}
}
fun isValidNumber(s: String) = try {
s.toInt()
true
} catch (_: NumberFormatException) {
false
}
fun declarativeSum(list: List<String>) = list
.filter(::isValidNumber)
.map(String::toInt)
.sum()
@Test
fun `test declarative approach`() {
assertEquals(1299, declarativeSum(input).apply {
println("Sum $this")
})
}
}
Упражнение 1.1
Реализовать функцию sumInRange, которая суммирует значения в
List<String> в данном интервале. Сигнатура:
fun sumInRange(input: List<String>, range: IntRange): Int
@Test
fun `Exercise 1_1`() {
assertEquals(4, sumInRange(
listOf("1", "10", "a", "7", "ad2", "3"),
1..5
).apply { println("sumInRange 1..5: $this") }
)
}
Попробуйте его и проверьте ваш ответ сhttps://github.com/cheroliv/cheroliv.com/blob/master/codes/src/test/kotlin/functional/DeclarativeTests.kt[решение, windows="_blank].
функции высшего порядка
package functional
import java.io.ByteArrayOutputStream
import java.io.PrintStream
import java.lang.System.*
import java.lang.Thread.sleep
import kotlin.math.sign
import kotlin.test.Test
import kotlin.test.assertEquals
class BasicsHOFTests {
val ONE_SECOND = 1000L
@Test
fun `high order function`() {
//capture de la sortie standard
val standardOut: PrintStream? = out
val outputStreamCaptor = ByteArrayOutputStream()
setOut(PrintStream(outputStreamCaptor))
3.times { println("Hello") }
assertEquals(
buildString {
repeat(3) { append("Hello\n") }
deleteAt(length - 1)
}, outputStreamCaptor
.toString()
.trim()
)
//libération de la sortie standard
setOut(standardOut)
}
fun Int.times1(fn: () -> Unit) {
for (i in 1..this) {
fn()
}
}
fun Int.times2(fn: () -> Unit) {
for (i in 1..this) fn()
}
fun Int.times3(fn: () -> Unit) =
(1..this).forEach { fn() }
fun Int.times4(fn: () -> Unit) =
repeat((1..this).count()) { fn() }
fun Int.times(fn: () -> Unit) =
(1..this).forEach { _ -> fn() }
}
упражнение 1.2
Реализовать chrono, который принимает функцию типа`() →`
Unit принимает на вход и возвращает время, затраченное на его выполнение. Сигнатура:
fun chrono(fn : () -> Unité) : Long
@Test
fun `Exercise 1_2`() {
val waitOneSec = { sleep(ONE_SECOND) }
chrono(waitOneSec).apply {
println("chrono: $this")
assertEquals(1, sign)
}
}
Попробуйте его и проверьте свой ответ сhttps://github.com/cheroliv/cheroliv.com/blob/master/codes/src/test/kotlin/functional/BasicsHOFTests.kt[решение, windows="_blank].
Композиция
package functional
import kotlin.test.Test
import kotlin.test.assertEquals
fun double(x: Int): Int = 2 * x
fun square(x: Int): Int = x * x
fun squareAndDouble1(x: Int) = double(square(x))
infix fun <A, B, C> ((A) -> B).compose(g: (B) -> C)
: (A) -> C = { a -> g(this(a)) }
class CompositionTests {
@Test
fun composition_impure() {
assertEquals(200, double(square(10)))
assertEquals(200, squareAndDouble1(10))
}
@Test
fun composition_pure() {
val squareAndDouble = ::square compose ::double
assertEquals(200, squareAndDouble(10))
}
}
Чистые функции и тестируемость
package functional
import java.io.ByteArrayOutputStream
import java.io.PrintStream
import java.lang.System.out
import java.lang.System.setOut
import kotlin.test.Test
import kotlin.test.assertEquals
var count = 0
//impure car une variable global subit un effet de bord
fun impure(value: Int): Int {
count++
return value + count
}
//impure car utilisation de la sortie standard qui fait muter le system
fun addOneAndLog(x: Int): Int {
val result = x + 1
println("New Value is $result")
return result
}
//pure
fun addOne(x: Int) = (x + 1).run {
Pair(this, "New Value is $this")
}
class PureTests {
@Test
fun `impure fonction`() {
assertEquals(3, impure(2))
val standardOut = out
val outputStreamCaptor = ByteArrayOutputStream()
setOut(PrintStream(outputStreamCaptor))
addOneAndLog(3)
assertEquals(
"New Value is 4",
outputStreamCaptor
.toString()
.trim()
)
setOut(standardOut)
}
@Test
fun `pure fonction`() {
addOne(3).run {
assertEquals(4, first)
assertEquals("New Value is 4", second)
}
}
}
Обработка исключений
package functional
import org.junit.jupiter.api.assertThrows
import kotlin.Result.Companion.failure
import kotlin.Result.Companion.success
import kotlin.test.Test
import kotlin.test.assertEquals
//NumberFormatException est un effet de bord qui rend la fonction impure
fun strToInt(str: String) = str.toInt()
//pure
fun strToIntOrNull(str: String) = try {
str.toInt()
} catch (nfe: NumberFormatException) {
null
}
//pure avec gestion de l'exception plus élégante
fun strToIntResult(str: String): Result<Int> =
try {
success(str.toInt())
} catch (nfe: NumberFormatException) {
failure(nfe)
}
class ExceptionHandlingTests {
@Test
fun impure() {
assertThrows<NumberFormatException> { strToInt("foo") }
assertEquals(1, strToInt("1"))
}
@Test
fun pure() {
assertEquals(null, strToIntOrNull("foo"))
assertEquals(1, strToIntOrNull("1"))
}
@Test
fun `pure avec result`() {
assertEquals(1, strToIntResult("1").getOrNull())
assertEquals(
"For input string: \"foo\"",
strToIntResult("foo")
.exceptionOrNull()
?.message
)
}
}
Ключевые моменты
-
Хотя объектно-ориентированное программирование означает программирование с объектами,
функциональное программирование означает программировать с использованием функций Вы разбиваете проблему на несколько подпроблем, которые вы моделируете с функции.
-
Функции высшего порядка принимают другие функции на входе или возвращают другие
Работают как значения возврата. Теория категорий — это теория композиции, и вы используете её, чтобы понять как составить ваши функции в рабочей программе Выходное значение чистой функции зависит только от её входных параметров, и она не имеет побочных эффектов.
-
Побочный эффект — это то, что функция делает с внешним миром. Это
Это может быть журнал в стандартном выводе или изменение значения глобальной переменной. Функциональное программирование работает для чистых функций, но оно также предоставляет Инструменты для преобразования нечистых функций в чистые функции Вы можете сделать нечистую функцию чистой, переместив эффекты, чтобы они часть возвращаемого значения.
-
Функциональное программирование — это вопрос композиции.
Обработка ошибок — это типичный пример побочных эффектов, и Kotlin предоставляет вам инструменты для их функционального управления
Углубить java8: лямбда-выражения и функциональные интерфейсы
Теория категорий
Математическая теория категорий:
Основы функций
Упражнение 2.1
Пожалуйста, напишите пример функции, отображающей уникальные значения
чей домен отображает неотличимые значения в диапазоне, как f(b) и f(c) на рисунке ниже ?
Попробуй, затем проверь проект задачи, чтобы увидеть, как ты справился.
Вы найдёте советы и объяснение, перейдя по ссылке на решение.
Упражнение 2.2
Можешь написать обратную функцию удвоения ?
Какова область определения и область значений обратной функции?
Посмотрите проект задания и приложение B, чтобы найти решение.
fun chrono(fn : () -> Unité) : Long
@Test
fun `Exercise 1_2`() {
val waitOneSec = { sleep(ONE_SECOND) }
chrono(waitOneSec).apply {
println("chrono: $this")
assertEquals(1, sign)
}
}
Попробуйте его и проверьте свой ответ сhttps://github.com/cheroliv/cheroliv.com/blob/master/codes/src/test/kotlin/functional/BasicsHOFTests.kt[решение, windows="_blank].
