Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/windows-phone-7/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
F#交互式shell(fsi)教程?_F#_F# Interactive - Fatal编程技术网

F#交互式shell(fsi)教程?

F#交互式shell(fsi)教程?,f#,f#-interactive,F#,F# Interactive,我正在Mac OS X/mono上学习使用fsi的F#,但很难知道退出和退出shell的命令是什么 退出,或者^D不起作用,^C也不起作用。停止fsi的命令是什么 一般来说,在哪里可以找到有关fsi的教程/用户指南?使用#help如需帮助,请退出退出。当我在OSX/mono中启动F#时,我得到以下信息 ~> fsi Microsoft (R) F# 2.0 Interactive build 2.0.0.0 Copyright (c) Microsoft Corporation. All

我正在Mac OS X/mono上学习使用fsi的F#,但很难知道退出和退出shell的命令是什么

退出,或者^D不起作用,^C也不起作用。停止fsi的命令是什么

一般来说,在哪里可以找到有关fsi的教程/用户指南?

使用
#help如需帮助,请退出
退出。

当我在OSX/mono中启动F#时,我得到以下信息

~> fsi

Microsoft (R) F# 2.0 Interactive build 2.0.0.0
Copyright (c) Microsoft Corporation. All Rights Reserved.

For help type #help;;
通过键入
#help
我得到:

> #help;;

  F# Interactive directives:

    #r "file.dll";;        Reference (dynamically load) the given DLL
    #I "path";;            Add the given search path for referenced DLLs
    #load "file.fs" ...;;  Load the given file(s) as if compiled and referenced
    #time ["on"|"off""];;  Toggle timing on/off
    #help;;                Display help
    #quit;;                Exit

  F# Interactive command line options:

      See 'fsi --help' for options


> 

这些应该提供您的答案。

如果您有两个问题,最好分别提问。