ml

    0热度

    2回答

    ML语言中的cdr字符串

    我尝试在（意思是（cdr abcd）= bcd）中找到等于（cdr string）的ML中的库函数。
    ml 2011-11-25

    1热度

    1回答

    为什么protobuf-net for proto2 .protos为必填字段生成默认值？

    采用最新的protobuf网为proto2 .proto我尝试了Marc's site's generator文件： syntax = "proto2"; message my_message { optional string val1 = 1 [default="hello!"]; required uint32 val2 = 2 [default="4"]; }
    .net protocol-buffers protobuf-net 2017-08-29

    20热度

    1回答

    Android的数据绑定：能见度包括标签

    按http://developer.android.com/tools/data-binding/guide.html#imports，我们可以在能见度如此简单的表述： <TextView .. android:visibility="@{user.isAdult ? View.VISIBLE : View.GONE}"/> 但是当我尝试做同样在include标签，就像这样： <inclu
    android android-databinding 2016-03-01

    1热度

    2回答

    根据参数应用不同的XSLT模板

    我想根据不同的参数应用不同的模板。我不知道如何用xslt实现这一点。我使用php中的setParameter（）来设置参数。我可以使用param在xsl中执行此操作，如果是这样，怎么办？或者有更好的方法吗？ <?xml version="1.0" encoding="utf-8"?> <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.
    php xslt 2012-12-13

    0热度

    2回答

    与ML关闭相关的资源？

    我正在参加一个使用ML的课程，我们将讨论闭包，但我不太了解它们，特别是在ML中。我在课堂上记笔记，他们对我没有多大意义/提供足够的细节。我试着在网上寻找更多的信息，但找不到任何。 有没有人知道任何资源关于关闭在ML（或关于ML /关闭一般）是非常好的？ 或者，如果有人可以发表一些关于如何在ML中实现闭包的一般想法/解释或ML中的闭包如何看起来像什么封闭等等，我真的很感激它。我只是想了解关闭的概念/
    closures ml 2011-11-14

    3热度

    1回答

    如何检测sprite套件中的碰撞？

    我在Sprite Kit中做了一个游戏，并且在SpriteNodes之间的碰撞检测中挣扎着， 我设置了一个名为sprite的sprite节点和一个名为platform的sprite节点。 我想让精灵在与平台相撞时停止坠落。 这是我有： SKSpriteNode *sprite = [SKSpriteNode spriteNodeWithImageNamed:@"bal.png"];
    collections sprite-kit skphysicsbody 2013-10-12

    0热度

    1回答

    ML - 错误印刷值（＃）

    我写功能，并且例如我有下一行（这只是从功能的部分）： up (St(d)::Dt::St(c)::[rp]) = Pr (Sym(d), Sym(c)) Pr，Sym，St，Dt - 都是数据类型; d和c是字符串。 当我运行功能up，论据([St("hello"),Dt,St("hi"),rp]),它打印val it =Pr(Sym(#), Sym(#))，而不是val it = Pr(Sy
    sml smlnj ml 2011-11-25

    1热度

    1回答

    在SML中打印一个列表

    我想在帮助功能中打印一个列表，用于调试目的。由于某种原因，它不打印任何东西。有谁知道什么是错的？ 下面是我的一些代码： local .... and xx(LparenToken) = "LparenToken" | xx(RparenToken) = "RparenToken" | xx(QuoteToken) = "QuoteToken" | xx(DotToken) = "DotT
    sml ml 2011-11-25

    4热度

    1回答

    ML中的高级功能咖喱和饼干什么

    fun curry f x y = f (x, y); fun uncurry f (x, y) = f x y; fun compose (f, g) x = f (g x); 我了解撰写功能，但不太了解咖喱和ML在ML。有谁能解释这些吗？ 另外，以下两行代表什么意思？ (1) compose (compose, uncurry compose) (2) compose (uncurr
    sml higher-order-functions currying ml 2011-12-06

    4热度

    1回答

    如何处理ML除以零误差

    我是ML的新手。 我需要定义一个函数以条件表达式作为参数，问题是如果表达式无效，如"10 div 0 = 0"。我该如何处理？ 例如，函数定义如下：foo exp1 = if (exp1) then ... else...和exp1是"10 div 0 = 0"，如何处理这种除法错误。
    error-handling sml ml divide-by-zero 2011-12-06
最新问题