代码之家 › 专栏 › 技术社区 › ozgur

基于递归函数和模式匹配的F#型推理

ozgur · 技术社区 · 8 年前

我有以下F代码

let Operation (l:int list) =
    let A,B = l.[0], l.[1]
    if A > B then (-)
    else if A%2=0 && B%2=0 then (*)
    else (-)

let m =
    function
    | [] -> []
    | x::rest -> rest

let rec ops (l:int list) (opList:int->int->int list) =
    let operation = Operation l
    if l.Length = 0 then opList
    else ops (m l) (operation::opList)

编译器在最后一行抱怨说

此表达式应具有类型 '内景->内部->int list'但这里有类型 “名单”

它是潜在的 (operation::opList) int -> int -> int opList的类型 int->int->int list

1 回复 | 直到 8 年前

Asik 8 年前

int->int->int list

相当于

int->int->(int list)

这是两个整数的函数,返回整数列表。

你想写的是:

(int->int->int) list

这是返回int的两个int函数的列表。

let Operation (l:int list) =
    let A,B = l.[0], l.[1]
    if A > B then (-)
    else if A%2=0 && B%2=0 then (*)
    else (-)

let m =
    function
    | [] -> []
    | x::rest -> rest

let rec ops (l:int list) (opList:(int->int->int) list) =
    let operation = Operation l
    if l.Length = 0 then opList
    else ops (m l) (operation::opList)

推荐文章

Thomas · 使类型别名在F中不可互换#

4 年前

sdgfsdh · 我该怎么说。使用异步转换函数进行收集?

8 年前

Soldalma · 我可以实例化包含顶级副作用值的类吗?

8 年前

matekus · F#-包含数字的字符串的自然排序

8 年前

Ayto Maximo · F#CSV-对于每一行,从列数据创建一个数组

8 年前

Chechy Levas · 在F#中使用免费单子是否意味着启动时间更长,指令有限?

8 年前

matekus · F#类型匹配-无法创建映射或匹配记录

8 年前

Rob Lyndon · 未找到F#ProvidedTypes文件

8 年前

red-swan · 如何将intro ML.Net演示翻译为F#?

8 年前

jkone27 · F#-在编译时从字符串生成简单的空类型

8 年前