D
Size: a a a
2020 August 02
ZM
он на котлине пишет
какая разница?
D
реально на котлине
Oℕ
вот это тебя пропёрло
D
// функтор - вычисление, работающие с результатами типа А, поддерживает метод map
data class MyRandom<A>(
val get: (bits: Int) -> A
) {
companion object {
val intRandom: MyRandom<Int> = MyRandom { Random.nextBits(it) }
val hexRandom: MyRandom<String> = intRandom.map { it.toString(16) }
}
}
// метод map для функтора
fun <A, B> MyRandom<A>.map(f: (A) -> B): MyRandom<B> =
MyRandom(get = {bits -> f(get(bits)) })
fun main(args: Array<String>) {
println("random=" + MyRandom.intRandom.get(12)) // выводит random=1247
println("hexRandom=" + MyRandom.hexRandom.get(12)) // выводит hexRandom=c25
}
w
// функтор - вычисление, работающие с результатами типа А, поддерживает метод map
data class MyRandom<A>(
val get: (bits: Int) -> A
) {
companion object {
val intRandom: MyRandom<Int> = MyRandom { Random.nextBits(it) }
val hexRandom: MyRandom<String> = intRandom.map { it.toString(16) }
}
}
// метод map для функтора
fun <A, B> MyRandom<A>.map(f: (A) -> B): MyRandom<B> =
MyRandom(get = {bits -> f(get(bits)) })
fun main(args: Array<String>) {
println("random=" + MyRandom.intRandom.get(12)) // выводит random=1247
println("hexRandom=" + MyRandom.hexRandom.get(12)) // выводит hexRandom=c25
}
Мне нужно что бы я мог в notepad'e читать комфортно
D
какой же разъеб скалы дикий
Oℕ
Начнём с понятия компактная замкнутая категория.
Вот она
interface CompactClosedCategory<A>
Вот она
interface CompactClosedCategory<A>
D
Другие примеры функторов с полезным map
иммутабельный List<A>
MyInputStream<A>
Optional<A>
AS
Начнём с понятия компактная замкнутая категория.
Вот она
interface CompactClosedCategory<A>
Вот она
interface CompactClosedCategory<A>
Смешно.
D
ну джаву он тоже любит
D
типо не забыл, где месил
D
MyInputStream
D
Монада — это функтор с двумя дополнительными операциями. Прежде всего, монада, в отличие от функтора, содержит операцию создания из константы, эта операция называется lift:
D
@odomontois почему он понятней тебя объясняет?
D
мож его в ткс учебный миньон-центр возьмут?
AS
@odomontois почему он понятней тебя объясняет?
/get monad
S
monad
1) //Monads are kind of types which have some fundamental ops(like a 'List') are:
//unit(also called pure or apply). which construct a Monad out of a value or out of many values.
//bind - transforms a monad of certain type parameter into a monad of another type parameter.
1) //Monads are kind of types which have some fundamental ops(like a 'List') are:
//unit(also called pure or apply). which construct a Monad out of a value or out of many values.
//bind - transforms a monad of certain type parameter into a monad of another type parameter.