Loading [MathJax]/jax/output/CommonHTML/config.js
社区首页 >问答首页 >FS0001应该是"int32",而不是“int32”

首先,我是函数式编程和F#的完全初学者。我开始学习一些基本的概念,并试图通过编写一个Mandelbrot设置程序来开始练习我的理解。函数iterate应该接受一个元组,对它进行迭代,如果退出条件infinity是med,它应该返回它所使用的迭代量i。否则,它会用修改过的元组来调用自己。我收到以下错误:FS0001 Should be "int32", is "unit" instead第2行

编辑: mandelbrot接受一个元组并返回一个元组;无穷大接受一个元组并返回一个整数

代码语言:javascript
代码运行次数:0
复制
let rec iterate (a, b) :int32 = 
    for i:int32 in 0..100 do 
        (a, b)
        |> mandelbrot
        |> match infinity with
            | a when a > 16 -> i
            | a when a <= 16 -> iterate (a, b)
EN

回答 2

Stack Overflow用户

回答已采纳

发布于 2020-07-19 11:13:02

很难猜出你想要实现什么。但是,只要做一些调整就可以编译。for do需要一个返回unit的函数,例如一个语句。

如果你想要迭代上百次,你可以使用一个变量i,你在迭代中传递,每次调用时增加它,然后用0(例如iterate (2,3) 0 )初始化它。

代码语言:javascript
代码运行次数:0
复制
let mandelbrot (a,b) = (a,b)

let infinity (a,b) = a


let rec iterate (a, b) i :int = 
        (a, b)
        |> mandelbrot
        |> infinity 
        |> (fun a-> if i=100 then a else
                    match a with
                      | a when a > 16 ->  i
                      | _ ->  iterate (a,b) (i+1))
票数 2
EN

Stack Overflow用户

发布于 2020-07-19 14:05:07

在我试图不必要地解释这个函数之前,这里的代码是如何用C编写的:

整数迭代( int a,int b) { int i,ca = a,cb = b,aa,bb;

代码语言:javascript
代码运行次数:0
复制
for (i = 0; i <= 100; i++) {
    aa = a * a - b * b;     //mandelbrot algorithm
    bb = 2 * a * b;
    a = aa + ca;
    b = bb + cb;

    //checks if the the values deviate to infinity
    if ((a + b) > 16) { 
        return i;
    }
}

}

我考虑过使用递归,但由于我不习惯函数范式,所以出于效率的考虑,我试图避免它,并且基本上尝试创建一个中断条件。结果,F#将尾递归编译为while循环,所以所有这些都是不必要的,而且是愚蠢的。https://gist.github.com/mrange/3a275cc643c9753925f1c8a68b0bd7a0

仍然希望它能帮助到一些人,并感谢所有试图从我写的代码中弄明白的人。

票数 -1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/62982404

复制
相关文章
GET请求使用@RequestBody的正确姿势
但是由于GET的参数是通过Url方式传递的,而不是请求体传递的所以无法通过@RequestBody注解来接收。
明明如月学长
2021/08/27
6.2K0
使用java实现HTTP的GET请求
在前几节我们详细讲解了http协议的相关信息,基于“知行合一”的原则,只有通过具体动手实践才有可能检验知识点被我们真正掌握,本节我们就使用代码实现http的get请求。
望月从良
2020/05/22
1.6K0
PHP简单的Curl的Get请求和Curl的Post请求和file_get_contents的Get请求获取接口JSON数据
PHP携带Cookie用Curl进行Post或Get请求获取数据 PHP全能Curl请求 /** * curl发送HTTP请求方法 * @param $url * @param string $method * @param array $params * @param array $header * @param int $timeout * @param bool|false $multi * @return mixed * @throws Exception */ function
骤雨重山
2022/01/17
2.2K0
【OkHttp】OkHttp Get 和 Post 请求 ( 同步 Get 请求 | 异步 Get 请求 | 同步 Post 请求 | 异步 Post 请求 )
【OkHttp】OkHttp 简介 ( OkHttp 框架特性 | Http 版本简介 ) 【OkHttp】Android 项目导入 OkHttp ( 配置依赖 | 配置 networkSecurityConfig | 配置 ViewBinding | 代码示例 ) 【OkHttp】OkHttp Get 和 Post 请求 ( 同步 Get 请求 | 异步 Get 请求 | 同步 Post 请求 | 异步 Post 请求 )
韩曙亮
2023/03/29
16.6K0
Ajax GET请求后台数据
1、前台ftl文件,通过URL请求后台数据,返回数据(Json格式)封装在data中
week
2018/08/27
1.7K0
xUtils 的 post和get 请求 使用记录
http://blog.csdn.net/lxk_1993/article/details/50897613
103style
2022/12/19
5480
GET 请求和 POST 请求的区别
① get 请求用来从服务器上获取资源;而 post 请求通常是用来向服务器提交数据的;
happyJared
2019/06/25
2.5K0
GET请求和POST请求
在网络编程中,HTTP协议是最常用的协议之一,用于在客户端和服务器之间传输数据。HTTP协议中最常用的两种请求方式是GET和POST请求。这篇博客将介绍GET和POST请求的区别,以及在不同场景中如何选择使用这两种请求方式。
chao超的搬运文章
2023/10/15
5420
-GET和POST请求添加请求参数和请求头【TBK使用】
我们平常浏览各个网站时,不免有时候就需要填写一些信息,比如注册时,登录时,这些信息一般都是通过GET请求或者POST(敏感信息一般使用POST,数据隐藏,相对来说更安全)请求提交到后台,经过后台的一系列处理,再返回给前台结果,前台进行处理。
凯哥Java
2019/06/28
6.5K0
python get请求
get请求是HTTP协议中最基本、最常见的操作。我们在浏览器中直接输入网址访问网站就是一个很常见的get请求操作。
灯珑LoGin
2022/10/31
1.2K0
GET 请求也能传递 Body 数据
通常而言, GET 请求很少传递 Body 数据, 大多情况下都是放在 url 中, 例如
老麦
2022/12/24
6.2K0
GET 请求也能传递 Body 数据
拼接GET请求的参数
本人在做接口测试的过程中,之前写了一个用字符串替换的方法来处理get接口的参数拼接,后来优化了这个方法,兼容了中文字符提示非法字符的情况,使用了java自带的urlencode方法。包括第一种方法,之前传的是json。分享代码,供大家参考。
FunTester
2019/09/25
3.9K0
HttpClient-Get请求、Post请求
有参数,请求链接为url(http://localhost:8083/getdemo2)
wangmcn
2022/07/25
2.7K0
HttpClient-Get请求、Post请求
PHP使用CURL模拟POST和GET请求
在PHP中想要构造类似GET和POST请求,在一些APP或者等后端功能开发中是有这种需求。 在PHP语言当中有file_get_content ()函数和curl的支持。 在PHP>5.3 的版本中默认两者都是开启的。
Z4
2020/04/21
2.4K0
flutter网络dio框架get请求使用总结
dio用来在flutter跨平台开发中访问网络的框架,在使用的时候,我们首先是引入依赖
早起的年轻人
2020/06/04
1.8K0
Java Web Service Get请求使用指南
在当今互联网时代,Web Service已经成为了现代软件开发中不可或缺的一部分。而Java作为一种广泛使用的编程语言,自然也提供了丰富的工具和库来支持Web Service的开发。本文将为大家介绍如何使用Java编程语言进行Web Service的Get请求。
用户10354340
2023/08/07
4620
GWT 初体验
最近体验了一下 GWT(Google Web Toolkit),其实这个技术老早就有了,写 Java 代码,代码很像 AWT 或者 Swing,但是最后编译成一个 war 包,也就是说,没有啰嗦的 JavaScript、HTML 和模板语言,Java 从前到后通吃,常用的模块都被封装成组件了。虽说写起来代码还挺啰嗦的(写法上面居然不支持链式调用,这确实让我看不懂),而且也没有传统 Web 开发方式来得直观,但也算一种很有意思的开发方式,值得体验一下。网上有足够多的教程,要系统地学习,官方文档是最好的材料,非常详尽。而我的方式,则更具个人风格一点,比较+吐槽,这可不是教程。
四火
2022/07/18
1.1K0
GWT 初体验
HttpClient 发送get请求并返回Json数据
一、以百度百科接口为例 http://baike.baidu.com/api/openapi/BaikeLemmaCardApi?scope=103&format=json&appid=379020&
week
2018/08/24
3.2K0
HttpClient 发送get请求并返回Json数据
点击加载更多

相似问题

如何使用Traefik+MetalLB公开Kubernetes API (apiserver)

111

Kubernetes - traefik外部ip被挂起

10

Kubernetes traefik通过特定的内部IP

10

FastAPI (starlette)获得客户端真正的IP

1124

MetalLB在Kubernetes是如何工作的

12
添加站长 进交流群

领取专属 10元无门槛券

AI混元助手 在线答疑

扫码加入开发者社群
关注 腾讯云开发者公众号

洞察 腾讯核心技术

剖析业界实践案例

扫码关注腾讯云开发者公众号
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档
查看详情【社区公告】 技术创作特训营有奖征文