F# Getting Starting

F#入门指南
本文介绍了如何开始使用F#,一种结合了函数式编程特性的语言。文中提供了基本的语法示例,展示了如何运行简单的F#程序,并解释了如何创建和使用F#库。
 

Getting Started with F#

F#下载地址:http://research.microsoft.com/fsharp/fsharp.aspx

 

F# 是函数式编程语言,它是一系统的绑定的标识符表达式。程序如下:

       let x = 3 + (4 * 5)

let res = (if x = 23 then "correct" else "incorrect")

 

当这个程序执行的时候 x 被赋值23res的值是字符串”correct”。你可以直接在 F# 交互界面运行程序,每个语句后边加上 “;;”

> bin\fsi.exe

          MSR F# Interactive, (c) Microsoft Corporation, All Rights Reserved

          F# Version ...

 

          > let x = 3 + (4 * 5);;

 

          val x : int

          

          > let res = (if x = 23 then "correct" else "incorrect");;

 

          val res : string

 

          > res;;

 

          val it : string = "correct"

 

每个表达式执行后会立即计算出结果。表达式隐式绑定到变量 it上。

F# 不是一个纯的函数式语言,因此表示式中可以包括其它一些内容如:I/O,图形输出等等。 下面程序是一个F#控制台程序:

let x = "Hello World";;

        System.Console.WriteLine(x);;

将上边的程序保存到 hello.fs 可以使用如下命令编译 F#程序代码:

>  fsc hello.fs

执行程序

       >  hello.exe

F#的代码也可以放到一个库里使用扩展名为 .ml 的文件,例如:hello.ml

lib.fs 文件包含如下代码:

let myLibFunction() = System.Console.WriteLine("Hello World")

hello.fs 文件包含如下代码:

       let main = Lib.myLibFunction()

main 不是一个函数,可是左边表示式计算的结果值。使用下边的命令编译:

              > fsc -a lib.fs

        > fsc -r lib.dll hello.fs

 

制作一个 lib.dll 库和可执行 hello.exe 这些都是 .NET 程序集。 可以编译你的库和程序,产生一个 hello2.exe

> fsc -o hello2.exe lib.fs hello.fs

 

参考:http://research.microsoft.com/fsharp/fsharp.aspx

转载于:https://www.cnblogs.com/coogle/archive/2008/08/01/1258306.html

AI-PPT 一键生成 PPT:用户输入主题关键词,AI-PPT 可快速生成完整 PPT,涵盖标题、正文、段落结构等,还支持对话生成,用户可在 AI 交互窗口边查看边修改。 文档导入转 PPT:支持导入 Word、Excel、PDF 等多种格文档,自动解析文档结构,将其转换为结构清晰、排版规范的 PPT,有保持原文和智能优化两种模。 AI-PPT 对话 实时问答:用户上传 PPT 或 PPTX 文件后,可针对演示内容进行提问,AI 实时提供解答,帮助用户快速理解内容。 多角度内容分析:对 PPT 内容进行多角度分析,提供全面视野,帮助用户更好地把握内容结构和重点。 多语言对话支持:支持多语言对话,打破语言障碍,方便不同语言背景的用户使用。 AI - 绘图 文生图:用户输入文字描述,即可生成符合语义的不同风格图像,如油画、水彩、中国画等,支持中英文双语输入。 图生图:用户上传图片并输入描述,AI - 绘图能够根据参考图和描述生成新的风格化图像,适用于需要特定风格或元素的创作需求。 图像编辑:提供如 AI 超清、AI 扩图、AI 无痕消除等功能,用户可以上传图片进行细节修改和优化,提升图片质量。 AI - 文稿 文案生成:能够根据用户需求生成多种类型的文章,如市场营销文案、技术文档、内部沟通内容等,提升文案质量和创作效率。 文章润色:对已有文章进行改善和优化,包括语言表达、逻辑连贯性、内容流畅度等方面,使文章更符合用户期望和风格。 文章续写:AI 技术理解文本语境,为用户提供新的想法、补充资料或更深层次的见解,帮助用户丰富文档内容。 AI - 医生 智能健康咨询:包括症状自查,用户输入不适症状,AI 结合病史等信息提供疾病可能性分析与初步建议;用药指导,支持查询药品适应症、禁忌症等,并预警潜在冲突;中医辨证,提供体质辨识与调理建议。 医学报告解读:用户上传体检报告
提示错误[root@localhost speccpu2017]# runcpu --config=arm64.cfg --copies=1 --threads=1 - -reportable -n 3 fprate & [1] 19484 [root@localhost speccpu2017]# SPEC CPU(r) 2017 Benchmark Suites Copyright 1995-2019 Standard Performance Evaluation Corporation (SPEC) runcpu v6612 Using 'linux-aarch64' tools Reading file manifests... read 32349 entries from 2 files in 0.13s (240098 files /s) Loading runcpu modules................. Locating benchmarks...found 47 benchmarks in 73 benchsets. Reading config file '/opt/speccpu2017/config/arm64.cfg' 1 configuration selected: Action Run Mode Workload Report Type Benchmarks -------- -------- -------- --------------- ---------------------------- validate rate refrate SPECrate2017_fp fprate Downloading update information for version check... NOTICE: Could not retrieve update metadata;got Could not connect to 'www.spec.org:80': Name or service not known ...Version check failed. A connection to the internet is useful, but is NOT required in order to run CPU2017. If one is available, several components will be checked to see if they are current. If you need to use an HTTP proxy to access the Internet, please see the 'http_proxy' entry in config.html. ---------------------------------- The run will continue in 5 seconds ---------------------------------- Reportable runs must include a 'test' run; adding to run list Reportable runs must include a 'train' run; adding to run list ------------------------------------------------------------------------------- Setting up environment for running fprate... Starting runcpu for fprate... Running "specperl /opt/speccpu2017/bin/sysinfo" to gather system information. sysinfo: r6732 of 2022-11-07 (fe91c89b7ed5c36ae2c92cc097bec197) sysinfo: ...getting basic information about kernel, users, and limits sysinfo: Getting system information for Linux... sysinfo: ...getting CPU info sysinfo: ...getting info from numactl sysinfo: ...getting memory info sysinfo: ...getting info from systemd sysinfo: ...getting power info sysinfo: ...getting system tuning info sysinfo: ...getting OS info sysinfo: ...getting disk info sysinfo: ...getting info from /sys/devices/virtual/dmi/id sysinfo: ...getting info from dmidecode Retrieving flags file (/opt/speccpu2017/config/flags/gcc.xml)... Reportable runs must include a 'test' run; adding to run list Reportable runs must include a 'train' run; adding to run list Benchmarks selected: 503.bwaves_r, 507.cactuBSSN_r, 508.namd_r, 510.parest_r, 51 1.povray_r, 519.lbm_r, 521.wrf_r, 526.blender_r, 527.cam4_r, 538.imagick_r, 544. nab_r, 549.fotonik3d_r, 554.roms_r, 997.specrand_fr Notice: Errors may not be ignored for reportable runs. Compiling Binaries Building 503.bwaves_r base mytest-64: (build_base_mytest-64.0000) [2025-07-24 08:48:41] Building 507.cactuBSSN_r base mytest-64: (build_base_mytest-64.0000) [2025-07- 24 08:48:43]
07-25
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值