Trening - Kotlin
Објављено 12 May 2022
uma mapa
Функционално програмирање
Вежбе су узете из књиге:
Funkcionalno programiranje u Kotlinu kroz tutorijale
Написано од Массимо Карли
repozitorijum: https://github.com/kodecocodes/fpk-materials
Синтакса
FirstProgramTest
pojmovi: prikaz na ekranu, funkcija
FirstProgramTest:https://github.com/cheroliv/cheroliv.com/blob/master/codes/src/test/kotlin/programming/FirstProgramTest.kt[izvor]
ConcatFunctionTest
notions: memorija, promenljiva, vrednost, objekat, proširenje funkcije
ExampleUnitTest:https://github.com/cheroliv/cheroliv.com/blob/master/codes/src/test/kotlin/programming/ConcatFunctionTest.kt[извор]+
BirthdayMessageTestOutput
pojmovi: skupovi, petlje
Uvod u Kotlin
RođendanPorukaTestIzlaz:https://github.com/cheroliv/cheroliv.com/blob/master/codes/src/test/kotlin/programming/BirthdayMessageTestOutput.kt[</think> </think>
(Note: Since no actual source text was provided, there is nothing to translate.)]+
Курс Kotlin
Osnovni funkcionalni
Deklarativni X imperativni pristup
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")
})
}
}Vježba 1.1
Implementiraj funkciju sumInRange, koja sabira vrednosti u
jedna List<String> u datom intervalu. Potpis je:
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") }
)
}Pokušajte ga i proverite svoj odgovor sahttps://github.com/cheroliv/cheroliv.com/blob/master/codes/src/test/kotlin/functional/DeclarativeTests.kt[решение, prozori="_blank].
Funkcije višeg reda
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() }
}Vježba 1.2
Implementirati chrono, koji prima funkciju tipa`() →`
Ulazna jedinica vraća vreme potrebno za izvođenje. Signatura je :
fun chrono(fn : () -> Unité) : Long@Test
fun `Exercise 1_2`() {
val waitOneSec = { sleep(ONE_SECOND) }
chrono(waitOneSec).apply {
println("chrono: $this")
assertEquals(1, sign)
}
}Pokušajte ga i proverite svoj odgovor sa lahttps://github.com/cheroliv/cheroliv.com/blob/master/codes/src/test/kotlin/functional/BasicsHOFTests.kt[решение, windows="_blank].
Kompozicija
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))
}
}Čiste funkcije i testabilnost
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
)
}
}Ključne tačke
-
Dokle objektno orijentisano programiranje znači programiranje sa objektima,
Funkcionalno programiranje znači programiranje sa funkcijama. Razlagate problem na više pod-problema, koje modelirate uz funkcije.
-
Funkcije višeg reda prihvataju druge funkcije kao ulaz ili vraćaju druge
funkcionišu kao povratne vrednosti Teorija kategorija je teorija kompozicije, a vi je koristite da razumete kako komponirati vaše funkcije u radnom programu Izlazna vrednost čiste funkcije zavisi samo od njena ulazna parametra, i ona Nema nuspojava.
-
Nezeljivi efekat je nešto što funkcija čini vanjskom svetu. Ovo
може да буде журнал у стандардном излазу или промена вредности глобалне променљиве. Funkcionalno programiranje radi za čiste funkcije, ali takođe pruža i alat za transformisanje nečistih funkcija u čiste funkcije Možete učiniti nečistu funkciju čistom pomerajući efekte da ih део повратне вредности.
-
Funkcionalno programiranje je pitanje kompozicije.
Upravljanje greškama je tipičan primer neželjenih efekata, a Kotlin vam daje alatke. da ih upravljamo funkcionalno.
Dublje proučavanje java8: lambda izrazi i funkcionalni interfejsi
Teorija kategorija
Математичка теорерија категорија:
Osnove funkcija
Vježba 2.1
Можете ли да напишете пример функције која мапира различите вредности?
čiji domen ima neodlične vrednosti u opsegu, kao što su f(b) i f(c) na slici ispod?
Pokušaj ga, a zatim proveri projekat izazova za rešenje kako da vidiš kako si uradio.
Nadjicete savete i objašnjenje sledeći vezu prema решение.
Vježba 2.2
Možeš li da napišeš inverznu funkciju množenja sa dva?
Koje su domen i opseg inverzne funkcije?
Погледај пројекат изазова и прилог 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)
}
}Pokušajte ga i proverite svoj odgovor sahttps://github.com/cheroliv/cheroliv.com/blob/master/codes/src/test/kotlin/functional/BasicsHOFTests.kt[решение, windows="_blank].