秒大刀博客

好好学习天天向上

日志

关于我

秒大刀

文章分类

F# 学习笔记

2013-04-08 09:42:25| 分类： F# | 标签： |举报 |字号大中小订阅

下载LOFTER 我的照片书 |

You can send text to F# Interactive by selecting the text and pressing Alt+Enter in VS.
You can't change the immediate value of locals after they've been initialized unless the local is explicitly marked as mutable.
We recommend that you use four-space indentation for F# code. Tab characters can't be used, and the F# tools give an error if they're encountered.
列表(List):
1. [ 0; 1; 2 ], [ 0 .. 99 ] // 上下限都包括，若上限小于下限结果为[]
2. [ for i in 0 .. 99 -> (i, i*i) ]
3. [ for i in 0 .. 99 do yield i ]
4. 列表元素追加: 52 :: list :: 53，列表追加 list @ [52]
5. 列表特别适合于递归编程技术
数组(Array):
1. [| 0; 1; 2 |], [| 0 .. 99 |]
2. [| for i in 0 .. 99 -> (i, i*i) |]
3. [| for i in 0 .. 99 do yield i |]
4. 数组切片: array.[1..2], 前后分别表示截止下标（包括）
序列(IEnumerable<'T>):
1. seq {yield 0; yield 1; yield2}, seq {0 .. 99}
2. seq {for i in 0 .. 99 -> }
3. seq {for i in 0 .. 99 do yield i} (i, i*i)
元组:
1. (a, b)
符号:
1. 逻辑反用not
2. 逻辑等于用=，不等于用<>
3. 赋值<-, 仅适用于mutable
4. 原意字符串@"str"或三引号"""str"""
5. **幂运算符
6. [<...>] Attribute
7. >>和<<用于进行函数组合
对一般输出使用%A来输出: printfn "%A" data
使用 yield! 返回子序列的每个元素，类似于IEnumerable.SelectMany
递归函数前面需要有rec关键字
d'是合法的标识符
_是匿名无视参数
obj表示Object类型
:? type可用于动态类型识别：math x with | :? int -> ...
failwith可用来报错
printf不换行打印，printfn换行打印
块注释(* ... *)，行注释// ...，/// ... 将作为xml文档注视
`...`为标识符转义，空白之外的任何符号都可作为标识符
源文件需要utf-8编码
字节数组：'ascii'B, "ascii"B
将项目中的fsx源码文件属性设置为Compile后才可参加编译
文件顺序很重要，编译器将按顺序处理F#项目中的文件
源码文件类型：使用 Visual Studio 编写 F# 程序
1. F# 源文件 (.fs)：用于 F# 代码
2. F# 脚本文件 (.fsx)：用于包含 F# 中的非正式测试代码，而无需向应用程序添加此测试代码，也无需为此测试代码创建单独的项目。默认情况下，脚本文件不会包含在某个项目的生成中，即使它们是该项目的一部分
3. F# 签名文件 (.fsi)：用于指定 F# 实现文件中模块和类型的公共签名
4. fs文件会有更好的IntelliSense，fsx文件该功能受限
do 绑定可用于在不定义函数或值的情况下执行代码
可用[<EntryPoint>]显式指定入口点
unit表示“空”，null和void表示其他意思
函数 fst 和 snd 分别返回元组的第一个和第二个元素，没有可返回三重元组的第三个元素的内置函数
空括号( )用来表示uint类型值

评论这张

转发至微博

阅读(1321)| 评论(0)

历史上的今天

this.p={  m:2,
              b:2,
              loftPermalink:'',
              id:'fks_087065082081089071082082083066072084081070082083081071',
              blogTitle:'F# 学习笔记',
              blogAbstract:'<ol\>   <li\>You can send text to F# Interactive by selecting the text and pressing Alt+Enter in VS. </li\>    <li\>You can\'t change the immediate value of locals after they\'ve been initialized unless the local is explicitly marked as mutable. </li\>    <li\>We recommend that you use four-space indentation for F# code. Tab characters can\'t be used, and the F# tools give an error if they\'re encountered. </li\></ol\>',
              blogTag:'',
              blogUrl:'blog/static/205657420133894225557',
              isPublished:1,
              istop:false,
              type:0,
              modifyTime:0,
              publishTime:1365385345557,
              permalink:'blog/static/205657420133894225557',
              commentCount:0,
              mainCommentCount:0,
              recommendCount:0,
              bsrk:-100,
              publisherId:0,
              recomBlogHome:false,
              currentRecomBlog:false,
              attachmentsFileIds:[],
              vote:{},
              groupInfo:{},
              friendstatus:'none',
              followstatus:'unFollow',
              pubSucc:'',
              visitorProvince:'',
              visitorCity:'',
              visitorNewUser:false,
              postAddInfo:{},
              mset:'000',
              mcon:'',
              srk:-100,
              remindgoodnightblog:false,
              isBlackVisitor:false,
              isShowYodaoAd:false,
              hostIntro:'',
              hmcon:'1',
              selfRecomBlogCount:'0',
              lofter_single:'<iframe width="140" height="560" style="overflow:hidden;" src="http://www.lofter.com/mailEntry.do?blogad=1&blog" frameBorder="0"></iframe>'
            }

{list a as x}
    {if !!x}
    <div class="iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
      {if x.visitorName==visitor.userName}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        {if x.moveFrom=='wap'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/wapblog.html?frompersonalbloghome"><span title="来自网易手机博客" class="iblock wapIcon"> </span></a>
        {elseif x.moveFrom=='iphone'}
          <a class="noul pnt" target="_blank"><span title="来自iPhone客户端" class="iblock iphoneIcon"> </span></a>
        {elseif x.moveFrom=='android'}
          <a class="noul pnt" target="_blank"><span title="来自Android客户端" class="iblock androidIcon"> </span></a>
        {elseif x.moveFrom=='mobile'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/emsblog.html?frompersonalbloghome"><span title="来自网易短信写博" class="iblock wapIcon"> </span></a>
        {/if}
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
          ${fn(x.visitorNickname,8)|escape}
        </a>
      </div>
    </div>
    {/if}
    {/list}

<#--最新日志，群博日志--> <#--推荐日志-->

<p class="fc06">推荐过这篇日志的人：</p>
    <div>
      {list a as x}
      {if !!x}
      <div class="iblock nbw-fce nbw-f40">
        <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
        <img alt="${x.recommenderNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.recommenderName)}"/>
        </a>
        <div class="cwd thide">
          <a class="fc03 m2a" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
            ${fn(x.recommenderNickname,6)|escape}
          </a>
        </div>
      </div>
      {/if}
      {/list}
    </div>
    {if !!b&&b.length>0}
    <p  class="fc06">他们还推荐了：</p>
    <ul>
    {list b as y}
      {if !!y}
        <li class="rrb"><span class="iblock">·</span><a class="fc03 m2a" target="_blank" href="http://blog.163.com/${y.recommendBlogPermalink}/?from=blog/static/205657420133894225557">${y.recommendBlogTitle|escape}</a></li>
      {/if}
    {/list}
    </ul>
    {/if}

<#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇，下一篇--> <#-- 热度 -->

{list a as x}
    {if !!x}
    <div class="hotItem iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
      {if x.publisherUsername==visitor.userName}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
          ${fn(x.publisherNickname,8)|escape}
        </a>
      </div>
      <a class="f-myLikeIcons hottype {if x.type==1} js-liketype{elseif x.type==2} js-reblogtype{elseif x.type==3} js-sharetype{else}{/if}" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/"> </a>
    </div>
    {/if}
    {/list}

<#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->

页脚

我的照片书 - 手机博客 - 下载LOFTER APP - 订阅此博客

秒大刀博客

导航

日志

F# 学习笔记

历史上的今天

最近读者

热度

评论

页脚

秒大刀 博客

导航

日志

F# 学习笔记

历史上的今天

最近读者

热度

评论

页脚

秒大刀博客