ambiguity

    3热度

    1回答

    对于Haskell来说,这是一个相对较新的东西,我试图围绕以下差异来解决我的问题(对此我有充分的理由,我敢肯定)。 也许我的问题只是源于对GHCi的误解,但我可以在晚上睡得更好,因为我可以放心解决问题。 在这里。如果在将一个名称foo绑定到某个积分表达式(此处简称为1)并编译该脚本后,我在GHCi中加载后者,:t告诉我foo的类型为Integer。到目前为止 default (Integer, D

    4热度

    2回答

    我有一个模板,如果我将它传递给一个lambda,但是在一个需要将两个lambda映射到相同模板类型的相关模板中,它不能推导出该类型,并且MSVC++ Express 2013抱怨模板参数不明确。为了清楚起见,在这里没有超载(或专业化) - 下面的两个例子是唯一具有这些标识符的实体。这里有模板,简单地套用可调用对象的参数,并返回结果: template <class A, class OP>

    5热度

    1回答

    我想分析一个文件,内容如下行: simple word abbr -8. (012) word, simple phrase, one another phrase - (simply dummy text of the printing; Lorem Ipsum : "Lorem" - has been the industry's standard dummy text, ever since

    1热度

    1回答

    运算符重载时考虑下面的代码: #include <string> #include <sstream> class SomeClass { public: SomeClass& operator<<(long value) { return *this; } SomeClass& operator<<(unsigned long value) { return *th

    4热度

    1回答

    我一直在做Udacity CS262和检测歧义问题我不确定我的解决方案是否正确,我不确定“官方”解决方案是否正确。 问题简述:编写一个采用有限上下文无关语法(编码为Python字典),语法的起始符号和字符串的函数isambig(grammar,start,string)。如果有两个解析树导致字符串,那么语法是不明确的(或者至少这是我对歧义的理解 - 如果我错了,请纠正我)。如果语法不明确,则返回T

    0热度

    2回答

    您可以通过左分解消除模糊性吗? 例如,悬挂其他。 还是左保留只消除左递归? 谢谢。

    4热度

    2回答

    我尝试几种不同的解析器生成声称能够生成GLR解析器即那些能处理不明确的文法(野牛,的DParser等)。这是我说的类型的一个非常简单的二义性文法: START: A | B; A: C | D; B: C | D; C: T1 | T2; D: T3 | T4; T1: 't1'; T2: 't2'; T3: 't3'; T4: 't4'; 我可以生成解析器就好了,但我得到“未

    1热度

    1回答

    对于JavaCC,我希望单个选项列表中的所有选项都具有前瞻性3。也就是说,我可以这样做: LOOKAHEAD(3) A() | LOOKAHEAD(3) B | LOOKAHEAD(3) C 但我更愿意做这样的事情: LOOKAHEAD(3) ((A) | B() | C()) 寻找在examples/JavaGrammars/1.5/Java1.5.jj文件中的JavaCC 5.0例/演

    -1热度

    1回答

    我使用whittle解析语法,但我遇到了经典的LALR ambiguity problem。我的语法看起来像这样(简化): <comment> ::= '{' <string> '}' # string enclosed in braces <tag> ::= '[' <name> <quoted-string> ']' # [tagname "tag value"] <name> ::=

    8热度

    1回答

    我定义了两个泛型函数 func job<T: Comparable>(x: T) { println("1") } func job<T: Hashable>(x: T) { println("2") } ,当我尝试调用其中之一,例如用:当然 let myInt: Int = 1 // Explicit Int just for clarity of the exa