公开的函数把函数作为参数
 
如果想公开把其他的函数作为参数的函数,最好的方法是用委托(delegate)。考虑下面的例子,定义了两个函数,一个是公开函数,另一个把函数公开为委托。
 
module Strangelights.DemoModule
open System
 
/// a function that provides filtering
let filterStri...
                            
                            
                                分类:
其他好文   时间:
2014-06-22 21:58:13   
                                阅读次数:
302
                             
                    
                        
                            
                            
                                原文首发在github上 MongoNote01.Start
MongoDB is an open-source document database that provides high performance, high availability, and automatic scaling.
这是mongo官方给出的定义。定义里的几个关键点体现了mongo的几个突出的优点:
do...
                            
                            
                                分类:
其他好文   时间:
2014-06-22 15:31:57   
                                阅读次数:
280
                             
                    
                        
                            
                            
                                Is it a dream that you can access text files using SQL statements?
    But now, it is true that DB Query Analyzer provides you a power tool which can help you realize the dream above. I’ll give you a sample to show its powerful function. What’s more, the p...
                            
                            
                                分类:
数据库   时间:
2014-06-21 18:41:54   
                                阅读次数:
510
                             
                    
                        
                            
                            
                                The Java Authentication and Authorization Service (JAAS) is a standard extension to the security in the J2SE Development Kit 5.0. JAAS provides the ab...
                            
                            
                                分类:
Web程序   时间:
2014-06-21 13:45:27   
                                阅读次数:
310
                             
                    
                        
                            
                            
                                The Android framework APIs provides a set 2D drawing APIs that allow you to render your owncustom graphics onto a canvas or to modify existing Views t...
                            
                            
                                分类:
移动开发   时间:
2014-06-17 19:48:07   
                                阅读次数:
255
                             
                    
                        
                            
                            
                                AnIntentis an object that provides runtime 
binding between separate components (such as two activities). 
Theintentrepresents an app’s "intent to do so...
                            
                            
                                分类:
移动开发   时间:
2014-06-16 10:00:27   
                                阅读次数:
248
                             
                    
                        
                            
                            
                                一、摘要 An Adapter object acts as a bridge between 
anAdapterViewand the underlying data for that view. The Adapter provides access 
to the data items. Th....
                            
                            
                                分类:
移动开发   时间:
2014-06-12 18:27:55   
                                阅读次数:
503
                             
                    
                        
                            
                            
                                Android, an open source operating system for 
mobile devices (Smartphone and tablet), led by Google. The Android SDK provides 
a set of tools and APIs t...
                            
                            
                                分类:
移动开发   时间:
2014-06-08 06:43:07   
                                阅读次数:
393
                             
                    
                        
                            
                            
                                SerialPort SDK is a professional java serial port SDK,provides simple communication interface to connect to any serial port device....
                            
                            
                                分类:
编程语言   时间:
2014-06-08 05:40:31   
                                阅读次数:
273