Kotlin基础——Typeclass

高阶类型

如在Iterable新增泛型方法时

interface Iterable<T> {fun filter(p: (T) -> Boolean): Iterable<T>fun remove(p: (T) -> Boolean): Iterable<T> = filter { x -> !p(x) }
}

对应的List、Set实现上述方法时仍需要返回具体的类型

interface List<T> : Iterable<T> {fun filter(p: (T) -> Boolean): List<T>fun remove(p: (T) -> Boolean): List<T> = filter { x -> !p(x) }
}interface Set<T> : Iterable<T> {fun filter(p: (T) -> Boolean): Set<T>fun remove(p: (T) -> Boolean): Set<T> = filter { x -> !p(x) }
}

使用高阶类型可以解决上述问题,高阶类型指的是用类型构造新类型,Kotlin可以通过扩展实现高阶类型(下面例子都是根据这个来实现)

interface Kind<out F, out A>sealed class List<out A> : Kind<List.K, A> {object K
}inline fun <A> Kind<List.K, A>.unwrap(): List<A> = this as List<A>object Nil : List<Nothing>()
data class Cons<A>(val head: A, val tail: List<A>) : List<A>()
  • Kind<out F, out A>表示类型构造器F应用类型参数A产生的新类型,F实际上不能携带类型参数
  • List.K是List的高阶类型,也就是说传入不同的A,根据List.K会有不同类型
  • unwrap()将Kind<List.K, A>类型转为List<A>进行操作
  • Nil为空列表用作尾部,Cons由元素head和及其指向tail构成的链表

Functor

Functor的map():通过f()方法将Kind<F, A>类型转为Kind<F, B>类型

interface Functor<F> {fun <A, B> Kind<F, A>.map(f: (A) -> B): Kind<F, B>
}object ListFunctor : Functor<List.K> {override fun <A, B> Kind<List.K, A>.map(f: (A) -> B): Kind<List.K, B> {return when (this) {is Cons -> {val t = (this.tail.map(f)).unwrap()Cons<B>(f(this.head), t)}else -> Nil}}
}

使用方法如下,将Con<Int>转为了Con<String>

val cons: Cons<Int> = Cons(1, Nil)
println(cons.head::class)
println(cons.tail)
ListFunctor.run {val cons2: Cons<String> = cons.map { it.toString() } as Cons<String>println(cons2.head::class)println(cons2.tail)
}

打印如下

class kotlin.Int
com.demo.demo1.Nil@5361555
class kotlin.String
com.demo.demo1.Nil@5361555

Eq和ListEq

Eq

Eq根据传入的类型参数,对其制定比较规则

interface Eq<F> {fun F.eq(that: F): Boolean
}
object IntEq : Eq<Int> {override fun Int.eq(that: Int): Boolean {return this == that}
}

如上,对于Int,判断值是否相等,使用方法如下

IntEq.run {val a = 1println(a.eq(1))println(a.eq(2))
}

打印如下

true
false

ListEq

ListEq可根据指定类型参数的比较规则,实现对两个List比较

abstract class ListEq<A>(val a: Eq<A>) : Eq<Kind<List.K, A>> {override fun Kind<List.K, A>.eq(that: Kind<List.K, A>): Boolean {val curr = thisreturn if (curr is Cons && that is Cons) {val headEq = a.run {curr.head.eq(that.head)}if (headEq) curr.tail.eq(that.tail) else false} else curr is Nil && that is Nil}
}
object IntListEq : ListEq<Int>(IntEq)

如上,实现IntListEq,使用方法如下

IntListEq.run {val a = Cons(1, Cons(2, Nil))val b = Cons(1, Cons(2, Nil))val c = Cons(1, Nil)println(a.eq(b))println(a.eq(c))
}

打印如下

true
false

show和Foldable

Show

show根据传入的类型参数,对其制定输出规则

interface Show<F> {fun F.show(): String
}
class Book(val name: String)
object BookShow : Show<Book> {override fun Book.show(): String = this.name
}

如上,对于Book,输出name属性,调用方法如下

BookShow.run {println(Book("Dive into Kotlin").show())
}

打印如下

Dive into Kotlin

Foldable

Foldable根据传入的类型参数,对其进行拼接(不太能理解这个fold的实现。。。)

interface Foldable<F> {fun <A, B> Kind<F, A>.fold(init: B): ((B, A) -> B) -> B
}
object ListFoldable : Foldable<List.K> {override fun <A, B> Kind<List.K, A>.fold(init: B): ((B, A) -> B) -> B = { f ->fun fold0(l: List<A>, v: B): B {return when (l) {is Cons -> {fold0(l.tail, f(v, l.head))}else -> v}}fold0(this.unwrap(), init)}
}

ListShow

abstract class ListShow<A>(val a: Show<A>) : Show<Kind<List.K, A>> {override fun Kind<List.K, A>.show(): String {val fa = thisreturn "[" + ListFoldable.run {fa.fold(listOf<String>())({ r, i ->r + a.run { i.show() }}).joinToString() + "]"}}
}
object BookListShow : ListShow<Book>(BookShow)

调用方法如下

BookListShow.run {println(Cons(Book("Dive into Kotlin"),Cons(Book("Thinking in Java"), Nil)).show())
}

打印如下

[Dive into Kotlin, Thinking in Java]

Monoid

Monoid满足结合律和同一律

interface Monoid<A> {fun zero(): Afun A.append(b: A): A
}

如对于字符串Monoid

  • 结合律:(“A”+“B”)+“C” == “A”+(“B”+“C”)
  • 同一律:“A”+“” == “A”
object StringConcatMonoid : Monoid<String> {override fun zero(): String = ""override fun String.append(b: String): String = this + b
}
fun <A> List<A>.sum(ma: Monoid<A>): A {val fa = thisreturn ListFoldable.run {fa.fold(ma.zero())({ s, i ->ma.run {s.append(i)}})}
}

使用方式如下

println(Cons("Dive ",Cons("into ",Cons("Kotlin", Nil))).sum(StringConcatMonoid)
)

打印如下

Dive into Kotlin

Monad

Monad包含了最小的原始操作集合pure()和flatMap(),通过这两个组合,我们可以实现更复杂的数据转换操作

interface Monad<F> {fun <A> pure(a: A): Kind<F, A>fun <A, B> Kind<F, A>.flatMap(f: (A) -> Kind<F, B>): Kind<F, B>
}

如下实现ListMonad

object ListMonad : Monad<List.K> {private fun <A> append(fa: Kind<List.K, A>, fb: Kind<List.K, A>): Kind<List.K, A> {return if (fa is Cons) {Cons(fa.head, append(fa.tail, fb).unwrap())} else {fb}}override fun <A> pure(a: A): Kind<List.K, A> {return Cons(a, Nil)}override fun <A, B> Kind<List.K, A>.flatMap(f: (A) -> Kind<List.K, B>): Kind<List.K, B> {val fa = thisval empty: Kind<List.K, B> = Nilreturn ListFoldable.run {fa.fold(empty)({ r, l ->append(r, f(l))})}}
}

Applicative

数学上3中代数结构关系如下Functor -> Applicative -> Monad

interface Functor<F> {fun <A, B> Kind<F, A>.map(f: (A) -> B): Kind<F, B>
}interface Applicative<F> : Functor<F> {fun <A> pure(a: A): Kind<F, A>fun <A, B> Kind<F, A>.ap(f: Kind<F, (A) -> B>): Kind<F, B>override fun <A, B> Kind<F, A>.map(f: (A) -> B): Kind<F, B> {return ap(pure(f))}
}interface Monad<F> : Applicative<F> {fun <A, B> Kind<F, A>.flatMap(f: (A) -> Kind<F, B>): Kind<F, B>override fun <A, B> Kind<F, A>.ap(f: Kind<F, (A) -> B>): Kind<F, B> {return f.flatMap { fn ->this.flatMap { a ->pure(fn(a))}}}
}

Option和OptionT

Kotlin中没有checked Exception,而是使用类型代替异常处理错误

Either和EitherT

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/857703.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【C++】STL中优先级队列的使用与模拟实现

前言&#xff1a;在前面我们学习了栈和队列的使用与模拟实现&#xff0c;今天我们来进一步的学习优先级队列使用与模拟实现 &#x1f496; 博主CSDN主页:卫卫卫的个人主页 &#x1f49e; &#x1f449; 专栏分类:高质量&#xff23;学习 &#x1f448; &#x1f4af;代码仓库:卫…

常见的8种排序(含代码):插入排序、冒泡排序、希尔排序、快速排序、简单选择排序、归并排序、堆排序、基数排序

时间复杂度O(n^2) 1、插入排序 (Insertion Sort) 从第一个元素开始&#xff0c;该元素可以认为已经被排序&#xff1b;取出下一个元素&#xff0c;在已经排序的元素序列中从后向前扫描&#xff1b;如果该元素&#xff08;已排序&#xff09;大于新元素&#xff0c;将该元素移到…

IPv6 address status lifetime

IPv6 地址状态转换 Address lifetime (地址生存期) 每个配置的 IPv6 单播地址都有一个生存期设置&#xff0c;该设置确定该地址在必须刷新或替换之前可以使用多长时间。某些地址设置为“永久”并且不会过期。“首选”和“有效”生存期用于指定其使用期限和可用性。 自动配置的…

vue中的状态管理

第1部分&#xff1a;引言 状态管理是应用中数据流动和变更的核心机制。在Vue应用中&#xff0c;状态管理不仅涉及到组件间的数据共享&#xff0c;还包括了数据的持久化、异步操作的处理等复杂场景。良好的状态管理策略可以提高应用的响应速度&#xff0c;降低组件间的耦合度&a…

spring使用redis作为消息订阅

redis可以用于消息订阅&#xff0c;下面一段代码实现了spring中使用redis作为消息订阅模型&#xff1a; 消息处理器&#xff1a; /*** 接口RedisMessageHandler:*/ public interface RedisMessageHandler {/*** 处理redis消息* param message redis消息* return 处理结果*/Str…

Electron录制-webm转mp4时长拉长问题

问题1 在导出视频时&#xff0c;发现最终导出视频的时长与实际录制的视频时长不一样&#xff0c;而且视频中某一帧会延迟。 猜想0 在项目中使用mp4-wasm导出mp4视频&#xff0c;同时利用canvas做一些效果&#xff0c;猜想是在canvas处理时有延迟。但是当把canvas处理效果全部…

分页查询前端对接

文章目录 添加角色修改角色当点击修改按钮后,那么就会弹出对话框,所以要设置显示为true点击修改的时候就是 要显示对话框 制作用户管理页面开发后端接口用户查询前端整合新增接口功能实现修改 添加角色 首先添加 添加表单的组件 那么总结一下 就是使用 组件 然后再使用变量接…

面试题2:从浏览器输入一个URL,到最终展示前端页面这一过程,会发生什么?

这是一个高频的面试题目。 题目答案是开放性的&#xff0c;一般以后端开发的角度回答。 当地址栏输入一个 URL 后&#xff1a; 一、首先会进行 DNS 域名解析 DNS 域名解析&#xff1a;网络上的设备都是通过 IP 地址&#xff0c;作为身份标识的。但是由于点分十进制的 IP 地址 …

Python基础入门

目录 1. 什么是Python&#xff1f; 2. 安装Python 3. Python基础语法 4. 数据结构 5. 文件操作 6. Python标准库 总结 1. 什么是Python&#xff1f; Python是一种高级编程语言&#xff0c;由Guido van Rossum于1991年发布。它以其简单易读的语法和强大的功能而闻名&…

Nominatim免费的地址解析,逆地址解析,OpenStreetMap开源地图数据【全网最全】

视频学习地址 国内的一些地址解析供应商的API都开始付费了&#xff0c;就想找个免费的地址解析和逆地址解析的应用&#xff0c;最终选择了Nominatim OpenStreetMap 文章目录 一、选型1-1、数据源1-2、地理编码引擎2-1、初尝Nominatim2-1-1、地址解析2-1-2、逆地址解析 2-2、OS…

国内外大模型生态发展报告!

很多同学只知类似Check GPT或者说对国内的一些比较了解&#xff0c;对国外的不太了解&#xff0c;所以在这总结。 1 大模型的发展 左表 名称参数特点发布时间GPT-215亿英文底模&#xff0c;开源2019年Google T5110亿多任务微调, 开源2019年GPT-3.51750亿人工反馈微调2022年M…

UFS Power Mode Change 介绍

一. UFS Power Mode Change简介 1.UFS Power Mode指的是Unipro层的Power State, 也可以称为链路(Link)上的Power Mode, 可以通过配置Unipro Attribute, 然后控制切换Unipro Power State, 当前Power Mode Change有两种触发方式&#xff1a; (1) 通过DME Power Mode Change触发…

手工清理Linux后门:深入分析与实践指南

手工清理Linux后门&#xff1a;深入分析与实践指南 后门概述 后门程序允许未授权用户绕过正常的认证过程&#xff0c;获取对系统的访问权限。攻击者可能会通过修改计划任务、开机启动脚本&#xff0c;甚至植入Rootkit来维持后门。 分析操作系统被动手脚 在清理后门之前&…

创建一个基本的网页爬虫

创建一个基本的网页爬虫通常涉及使用Python库如requests来获取网页内容&#xff0c;以及BeautifulSoup来解析HTML并提取所需的信息。下面是一个简单的Python爬虫示例&#xff0c;该爬虫从网站上抓取新闻标题。为了演示&#xff0c;我将使用一个假设的新闻网站&#xff0c;但你可…

Jvm针对分代垃圾回收算法配置调优

堆大小设置 年轻代的设置很关键 JVM中最大堆大小有三方面限制&#xff1a;相关操作系统的数据模型&#xff08;32-bt还是64-bit&#xff09;限制&#xff1b;系统的可用虚拟内存限制&#xff1b;系统的可用物理内存限制。32位系统下&#xff0c;一般限制在1.5G~2G&#xff1b…

java中实现Callable方式创建线程

一、为啥要引入Callable 在前面讲了通过继承Thread和实现Runnable方式创建线程的区别&#xff0c;那为什么有了Runnable还要引入Callable?下面通过实现Runnable方式的弊端给出答案 实现Runnable方式的弊端&#xff1a; package java.lang; FunctionalInterface public inte…

宁波银行票据案例解读,要注入科技赋能票据新形式

随着科技的飞速发展&#xff0c;金融行业正迎来一场前所未有的变革。作为一家以科技创新为驱动的现代化银行&#xff0c;宁波银行在这场变革中积极探索&#xff0c;宁波银行票据案例之后持续通过引入先进技术&#xff0c;为客户提供更加高效、智能的金融服务。 宁波银行推出的…

1095 解码PAT准考证(测试点3)

solution 测试点3超时&#xff1a;命令为3时&#xff0c;用unordered_map而非map&#xff0c;否则会超时 #include<iostream> #include<string> #include<algorithm> #include<unordered_map> using namespace std; const int maxn 1e4 10; struct…

2024山东大学软件学院创新项目实训(9)使用OpenCompass进行模型评估

下载好OpenCompassData-core-20231110.zip 之后&#xff0c;解压压缩包 unzip OpenCompassData-core-20231110.zip 运行代码&#xff1a; python run.py --datasets ceval_gen --hf-path /hy-tmp/7B21/merged --tokenizer-path /hy-tmp/7B21/merged --tokenizer-kwargs p…

步步精:连接器领域的卓越品牌

自1987年成立以来&#xff0c;步步精坐落于美丽的旅游城市——温州市乐清虹桥镇&#xff0c;被誉为“国家电子主体生产基地”、“国家精密模具制造基地”。公司拥有7大厂区、9大事业部&#xff0c;800名专职员工&#xff0c;致力于提供高品质的连接器解决方案。注册商标“BBJCO…