小编Abe*_*bel的帖子

"考虑一个典型的Windows x86或AMD64架构,内存分为无法写入的可执行部分和可写入但无法执行的数据部分(想想DEP)."

"JIT编译内存中的方法,(通常)不会将任何内容存储到磁盘,而是将其移动到下一个指令指针可以到达的位置,更改当前指令指针(指向JIT)以指向新生成的代码,然后执行它."

这两段虽然有点过于简单,但我基本上理解JIT和Windows的内存模型.我也知道当我尝试手动复制内存中的一些可执行代码并尝试执行它时,我通常无法做到(除非使用DLL注入).

JIT设计师是如何克服这一障碍的？他们使用ring-0驱动程序还是在用户模式下完成所有操作？

我正在为f#Lexer和Parser使用fslex/fsyacc实用程序.如果输入文本的语法不正确,则必须知道它发生的位置.

可以在Lexer中确定不正确的词位(标记),如果使用了错误的符号或单词则抛出异常:

rule token = parse
          ...      
  | integer   { INT (Int32.Parse(lexeme lexbuf)) }
  | "*="      { failwith "Incorrect symbol" }
  | eof       { EOF }

这个问题更多地与Parser(fsyacc)有关 - 如果输入文本具有正确的令牌并且被Lexer成功地标记化,但是在解析期间发生了错误(例如,错误的令牌顺序或规则中缺少令牌)

我知道如果捕获异常,这会给位置(行和列),解析失败:

try
   Parser.start Lexer.token lexbuf
with e ->
   let pos = lexbuf.EndPos
   let line = pos.Line
   let column = pos.Column
   let message = e.Message  // "parse error"
    ... 

但是有可能(如果是 - 如何做？)也确定AST类,解析失败.

例如,是否可以在我的parser.fsy文件中编写类似于以下内容的内容:

Expression1: 
   | INT         { Int $1 }
     ...
   | _           { failwith "Error with parsing in Expression1"}

如果将对象初始化为null,则无法获取类型信息,因为引用不指向任何内容.

但是,当我调试并将鼠标悬停在变量上时,它会显示类型信息.只显示静态方法,但似乎仍然知道类型.甚至在发布版本中.

调试器是否使用其他信息而不仅仅是某种反射来查找数据类型？怎么知道比我更了解？如果它知道这一点,为什么它不能显示数据类型NullReferenceException？

如果我的合同如下:

[OperationContract]
void DoSomething(int id, out string moreInfo);

这最终看起来像:

string DoSomething(int id);

导入Web服务引用时.是否有可能影响参数顺序的自动转换？在函数签名的开头找到所有out参数已经令人惊讶了,但这仍然可行,但我们希望void-methods继续作为void-methods.或者这是SOAP限制吗？

我正在使用Visual Studio 2013开发Windows应用程序,F#但我无法更改默认应用程序图标.

我试图为font-end创建一个C#-WPF应用程序,它可以工作.但我不想将C#用于font-end.

在构建我的应用程序后我也尝试过资源黑客,但它只是不起作用.

TL; DR:如何在以后引发先前捕获的异常,同时保留原始异常的堆栈跟踪.

因为我认为这对Resultmonad或计算表达式很有用,尤其是 因为该模式通常用于包装异常而不抛出异常,所以这里有一个很好的例子:

type Result<'TResult, 'TError> =
    | Success of 'TResult
    | Fail of 'TError

module Result =
    let bind f = 
        function
        | Success v -> f v
        | Fail e -> Fail e

    let create v = Success v

    let retnFrom v = v

    type ResultBuilder () =
        member __.Bind (m , f) = bind f m
        member __.Return (v) = create v
        member __.ReturnFrom (v) = retnFrom v
        member __.Delay (f) = f
        member …

如何为实例文档指定XML模式,如下所示:

<productinfo>
  <!-- other stuff -->
  <informationset type="Manufacturer">
    <!-- content not relevant -->
  </informationset>
  <informationset type="Ingredients">
    <!-- content not relevant -->
  </informationset>
</productinfo>

也就是说,一个"productinfo"元素包含两个"信息集"子节点的序列,第一个有@type="Manufacturer"第二个,第二个有@type="Ingredients"？

我正在讨论这个关于倒计时游戏的 haskell讲​​座,我不知道任何haskell,但我对这个问题感兴趣,我正试图将他的代码移植到clojure.

这是我卡住的部分必须是我没有进入哈斯克尔的东西,

split                :: [a] -> [([a],[a])]
split []              = [([],[])]
split (x:xs)          = ([],x:xs) : [(x:ls,rs) | (ls,rs)  [([a],[a])]
nesplit               = filter ne . split

ne                   :: ([a],[b]) -> Bool
ne (xs,ys)            = not (null xs || null ys)

exprs                :: [Int] -> [Expr]
exprs []              = []
exprs [n]             = [Val n]
exprs ns              = [e | (ls,rs) 

(((1) (2 3 4)) ((1 2) (3 4)) ((1 2 3) (4)))

(defn split …