6.6.1 F# 中函数调用的类型推断
虽然,在 F# 中可以用尖括号指定类型参数值,与 C# 中的方式相同,但这种方法很少使用。原因是,当编译器无法推断出所有的信息,需要程序员的帮助时,我们仅在真正需要的地方,添加类型批注。我们用一个示例来演示:
> Option.map (fun dt -> dt.Year)(Some(DateTime.Now));;
error FS007...
分类:
其他好文 时间:
2014-11-18 11:54:50
阅读次数:
184
6.6.2 自动泛型化(automatic generalization)
在这一章,我们已经实现了几个 F# 的高阶函数,也看到了在 F# 和 C# 中并排的实现。F# 实现的很重要方面,是我们根本不需要指定类型;这是由于有了自动泛型化(automatic generalization),它用在推断函数声明的类型。我们将用Option.bind 函数的实现作为示例,介绍这个过程是如何工作...
分类:
其他好文 时间:
2014-11-18 11:47:21
阅读次数:
223
CNPPopupControllerCNPPopupController is a simple and versatile class for presenting a custom popup in a variety of fashions. It includes a many option...
分类:
其他好文 时间:
2014-11-17 22:36:26
阅读次数:
279
题目链接:https://icpcarchive.ecs.baylor.edu/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=660
TimeLimit: 3.000 seconds
A Sudoku grid is a 16 x 16 grid of cells grouped in sixteen...
分类:
其他好文 时间:
2014-11-17 21:18:14
阅读次数:
264
dd 是 Linux/UNIX 下的一个非常有用的命令,作用是用指定大小的块拷贝一个文件,并在拷贝的同时进行指定的转换。名称: dd使用权限: 所有使用者dd 这个指令在 manual 里的定义是 convert and copy a file使用方式:dd [option]如果你想要在线看 man...
分类:
系统相关 时间:
2014-11-17 10:34:49
阅读次数:
292
Grep想说爱你不容易grep:GlobalsearchREgularexpressionandPrintouttheline文本搜索工具:根据用户指定的“模式(pattern)”对目标文本进行过滤,显示被模式匹配到的行。用法:grep[OPTION]...‘PATTERN‘FILE...grep--color自动执行着色正则表达式:是由一类字符书写的模式,其..
分类:
其他好文 时间:
2014-11-17 07:02:19
阅读次数:
366
今天再搞一些OutOfMemery的相关知识探索,我想在JVM遇到OOM错误的时候,能够打印出heap dump,以便事后用Eclipse Memory Analyzer Tool(MAT)等内存分析工具分析内存的占用情况。我使用了JDK1.6.0_37和JDK1.7.0_60版本进行试验,到网上找了下,知道-XX:+HeapDumpOnOutOfMemoryError可以让JVM在探测到内存OO...
分类:
其他好文 时间:
2014-11-16 21:42:45
阅读次数:
453
/遍历option和添加、移除option
function changeShipMethod(shipping){
var len = $("select[@name=ISHIPTYPE] option").length
if(shipping.value != "CA"){
$("select[@name=ISHIPTYPE] option").each(function(){...
分类:
Web程序 时间:
2014-11-16 17:20:04
阅读次数:
227
6.6 类型推断
我们曾经讨论过值的类型推断,知道在 C# 3.0 中用 var 关键字,在 F#中用 let 绑定。从本节开始,我们将讨论由 C# 和 F# 共有的另一个方面,当在 C# 中调用泛型方法时,如 Option.Some(清单 5.9)或 Option.Map(清单 6.13),可以显式指定类型参数值,像这样:
var dt = Option.Some(DateTim...
分类:
其他好文 时间:
2014-11-16 12:05:41
阅读次数:
163
打开phpMyAdmin,选择对应的数据库,在sql文本框中输入一下查询语句,我们就能得到当前的theme: SELECT?*?
FROM?wp_options?
WHERE?option_name?=?‘template‘?
OR?option_name?=?‘stylesheet‘?
OR?...
分类:
数据库 时间:
2014-11-16 10:48:47
阅读次数:
213