duangsues.is_a? SaltedFish

duangsuse, [2023/10/17 20:36]
是的。比如 水豚 可以从 Cat,Dog 强转
就像

data Rect'wh'(:N) [impl?]
- Square'l' Rect(l,l)

when- Rect Pos'xy'(:N) 

- main
  Rect(10,20).Pos(0,0)

duangsuse, [2023/10/17 20:38]
Kotlin 的写法：

fun main() {
  Rect(10,20).Pos(0,0)
}
typealias N=Double
open class Rect(val w:N, val h:N)
fun Square(l:N)=Rect(l,l)

inner class Rect.Pos(val x:N,val y:N): Rect(w,h)

Loney Chou, [2023/10/17 20:51]

fun Rect.Pos(
    x: Double,
    y: Double
): Pos {
    return Pos(x, y, this)
}

open class Rect(
    val width: Double,
    val height: Double
)

fun Square(dimension: Double): Rect {
    return Rect(dimension, dimension)
)

class Pos(
    val x: Double,
    val y: Double,
    rect: Rect
) : Rect(rect.width, rect.height)

duangsuse, [2023/10/17 20:55]

''N=_N8
''Int=Int4

这个 ''typealias 也不是乱加的

''Cnt=Int{>0} 
when-- 'AB'as
  Pair(B:A,B:B)

'A'T 代表“T是A类型的单位”
就像 'AB'KV,

[KV Int Str]

duangsuse, [2023/10/17 21:00]
背后是有体系的
单位类型、from/to 转换、单组/多组/多种类型，正好能适配序列化器的创建

Int就被视为单组var
User是多组
Any是多种

'' 这么省是方便移植公式
- lerp'ABt' t*B+(1-t)*A

fun(:Double)= 就不知道有多长了

duangsuse, [2023/10/17 21:03]
Int4,8 也是为了避免麻烦
大家都是按Byte读写

没人会做bitflags 这样的事了

duangsuse, [2023/10/17 21:03]
$Y,$N 是 YN, Bool
NO 是 NO?, Nothing?

duangsuse, [2023/10/17 21:05]
bit 我也重构了，趋向与BitSet一致

1.Bit+2 or
- and not
1.Bit in 1 and交集
xor就是xor, shl8 是 1.Bit(+8)

这样，拼接8bit 的算法可写为

[1 2 3 4](Sum(0x0): A.Bit(+8)+B)

duangsuse, [2023/10/17 23:39]
#FP 读了一篇文章

data 'T'Box(:T)
//map:: (a -> b) -> Container a -> Container b
- 'TR'Box as(:Fn1) Box(fn(it))

Box(2): it+2
Box('flamethrowers'): it.toUpper
Box('bombs'){it+' away'}{it.n} //10

when-- 'T'Maybe
  No; Just(:T)
  - isNothing as[No]!=NO
  -'TR' as(:Fn1) as[Just]?{fn(it)}:No

(0~3):[i]
  Maybe('abc'){it.get(i)}: say(it)

when-- 'AB'Either
  Left(x:A); Right(x:B)
  //Left<A>(): Either<A,*>
  -'ABR' flatMap(A:[Fn1 A]-[Either A B], B:[Fn1 B]-[Either A B]) when this:
    Left: A(x); Right: B(x)
  -'ABR' as(A:[Fn1 A], B:[Fn1 B]) flatMap(Left,Right)

duangsuse, [2023/10/17 23:40]
🤔 剩下两章不看了。其实绝句的fn{}{}: 比任何语言(比如,do记法)都适合写Functor, 而 '1'(Eq(toInt,toStr)):+1 ，比 T.[Fn A B]->[Fn [T A] [T B]] 更像lift的语意

如果用CPS(调用都返回给'函续')理解Monad，IO,Either的职责就是一个协程调度器，负责链式if,传递catch
纯函数不支持全局(堆)，也难以靠多this这样来组合算式，这么依赖栈来“赋值”和IO，很好理解

从这个角度我觉得教授Franklin比我狂，他大方表明了PF粉对重赋值的厌恶，即便 ^^从工程的眼光^ 来看，PF函子只是用拙劣的模型实现了注入变数的函数。它们没比逻辑式编程通用到哪去，我观察到F口中的优雅是“>10次出现,未定义”+“定义后未使用”
而且，注入这种烂特技，在Java里都要被模块替代了

范畴论有点奇怪。既然 f:A->B 是一个1:1的映射，就说明 f: B->A 也该存在，不然强调1:1干嘛呢？直接说调参可memo更严谨。

把反函数补上，就解决了数据绑定乃至IO问题，这正是React的取代者所号称的Signal>State ，然后函数式的身价就会像React诞生时一样飙高。
虽然React,Ramda对定义式编程完全是个白痴，它的写法和术语背后是另起炉灶+东拼西凑。那些PF粉丝说的优点，他们自己可懒得践行。对代码质量的追求再高点，可不会被纯度挡住定义式的心智模型

不可变的数据树很“确定”，但你还是要把它绑到参数里memo,重写。直接在参数改变时重算，与调用栈和对象的层次解偶，还用memo什么呢？如果type checker 没副作用，这么做也不算，它只是替调栈做一次模式匹配而已。

llh911001.gitbooks.io

第 10 章: Applicative Functor · 函数式编程指北

7 viewsedited 04:58