5回答
Clojure是Haskell的ADT和模式匹配的替代品？
haskell、clojure、functional-programming、pattern-matching、abstract-data-type
在Haskell中，每当我们需要一些变体数据类型时，我们都会将与模式匹配结合使用。Clojure人员在这样的用例中使用了什么？
浏览 1提问于2010-08-22得票数 15
1回答
在Clojure中实现ADT需要什么？
haskell、clojure、adt
在Clojure 中有一个非常有趣的ADT示例(defmacro data `(do[~'obj] ~@(for [[type-name & fields]给出Has
浏览 1提问于2016-07-04得票数 1
回答已采纳
1回答
在新的克洛法尔监狱里，叛逃者去了哪里？
clojure、algebraic-data-types、clojure-contrib
所以，为了找出如何在Clojure中做ADT，我在周围翻了一番，我遇到了一个旧的clojure-cont肋骨，它很好，但是它已经被替换了。好吧，没什么大不了的，只要看看替换的clojure-cont肋骨的分解库目录，但是我的生活中我找不到defadt是在新的clojure-cont肋骨分解库中迁移到哪里的。
那么它迁移到哪里去了呢？加分，如果你能给我的字符串交给a
浏览 6提问于2014-02-25得票数 5
回答已采纳
2回答
模式匹配"return“值
scala、pattern-matching
为什么不能链接模式匹配构造？例如，以下内容是合法的，如果是无稽之谈， case ADT(a) if a > 4 => ADT(a * 3)} case ADT(a) if a > 13 => doSomething(a)
case _ =>
浏览 3提问于2013-05-04得票数 8
回答已采纳
1回答
Clojure与Scala中的模式匹配
functional-programming、scala、clojure、jvm、pattern-matching
这两种语言中模式匹配的主要区别是什么？我指的不是语法，而是能力、实现细节、用例范围和必要性。
Scala应用程序(如。高举和弹奏)自豪地谈论语言模式匹配的能力。另一方面，Clojure有一个库core.match，并内置在析构中，这似乎也很强大。*注意:我之所以想问这个问题，是因为我在一篇博客文章中看到了一个程序员，作为一个实验，他使用Scala和Clojure构建了一个lisp解
浏览 0提问于2014-04-25得票数 12
回答已采纳
2回答
代数数据类型的用途是什么？
functional-programming、data-types
我正在阅读关于代数数据类型的文章(感谢Richard，我找到了这个概念的极好的解释 )。虽然我理解和类型和乘积类型等的概念，但我不太理解的是代数数据类型除了指定模式匹配之外是如何有用的。在ADT的模式匹配之外，还能做什么呢？
编辑:我不是问开发人员可以用ADT做什么，而ADT不能用对象完成。我是在问是否还有<e
浏览 0提问于2011-05-05得票数 17
回答已采纳
1回答
clojure中有没有类似的东西，比如ML的数据类型声明和模式匹配？
clojure、pattern-matching、ml
我对sml (1个月)和clojure(1周)都是新手。几周前，我在sml中学习了数据类型和模式匹配，我想知道clojure中是否有类似的东西。似乎有几个模式匹配库。他们是否拥有ML模式匹配的全部功能？那么数据类型呢？我必须使用像deftype这样的东西来创建我自己的数据类型吗？如果是这样，我该怎么做呢？在我看来，deftype看起来相当复杂。如果人们在lisp中
浏览 4提问于2013-02-08得票数 2
回答已采纳
1回答
apache pig中的TOP函数
hive、apache-pig
在数据集中(约200k记录)，有一个名为标签的列(与问题关联的标签的逗号分隔列表。标签的例子有"html“、"error”等。clojurecocoa-touch，objective-c，设计模式cocoa-touch，objective-c，设计模式django，django-模型
django，dja
浏览 3提问于2016-02-05得票数 0
1回答
辅助性产品的运行成本？
scala、shapeless
在阅读了的结论第一句之后：
这是否意味着不使用，而使用运行时反射或转换，这与Scala中的相反？
浏览 3提问于2016-08-01得票数 2
回答已采纳
4回答
有没有类似的Clojure工具？
我想直接对DDL使用SQL，而不是DSL，对DML和查询使用DSL也可以。
浏览 2提问于2012-07-08得票数 1
1回答
clojure.string/replace与re-seq匹配的模式不匹配
regex、clojure
为什么clojure.string/replace与\"[^\"]+\"模式不匹配，而re-seq与之匹配？(re-seq #"\"[^\"]+\"" "ab,\"helo,bro\",yo")
(clojure.string/replace "ab,\&q
浏览 12提问于2016-09-20得票数 0
回答已采纳
2回答
clojure和ctag，捕获def*窗体
clojure、ctags、exuberant-ctags
Clojure:+.cljx --regex-clojure=/\([ \t]*def[ \t]+([-[:alnum:]*+!_:\/.?]+)/\1/v,intern/
--regex-clo
浏览 1提问于2015-06-19得票数 0
回答已采纳
4回答
是否可以在GHCi中定义新的ADT
haskell、types、interpreter、ghci、algebraic-data-types
在评论ghci中的新特性时，我希望ghci能够声明类型声明和声明新的ADT类型，有人告诉我这确实是可能的，在搜索之后我找到了，它告诉我我可以这样做。let numUniques' :: (Eq a) => [a] -> Int; numUniques' = length . nub
显然，同样语法也适用于模式匹配(例如，让一个1=True;a 2=创建ADT会使它近乎完美吗？有没有人知道这目前是否可行？我是否应该创建一个
浏览 1提问于2010-10-03得票数 3
回答已采纳
1回答
Scala中的ADT子类型
scala、generics、algebraic-data-types
是否有与Scala中使用的ADT模式的子类型的OO概念等价？特别是，我想将方法添加到更专门的类型中。例如，给定一个通用列表ADT：case class Cons[+A](h: A, t: List[A]) extends List[A]我想为特定类型的列表定义新的方法：sealed trait
浏览 2提问于2013-11-05得票数 5
回答已采纳
2回答
swank-clojure repl中的paredit大括号匹配
emacs、clojure、curly-braces、paredit
我在Windows7上使用emacs 24，并且已经安装了和paredit 23测试版。我从我的leiningen项目加载源文件，并使用clojure-jack-in获得一个repl。问题是，虽然在Clojure模式和repl中都启用了paredit，但大括号并不只在源文件中的repl中匹配。
我怎么才能让它与repl中的花括号匹配呢？
浏览 0提问于2011-12-22得票数 9
回答已采纳
1回答
Coq矫顽力与目标匹配
coq、coq-tactic、ltac
Inductive adt: exp -> Prop :=Theorem silly: adt 0.
Proof.这是失败的，因为目标不是表单adt (CE ?N)，而是表单adt (nat_to_exp ?N) (在使用Set Printing Coercions时会显式地显示出来)。试图证明一个稍微不同的
浏览 5提问于2017-08-03得票数 1
回答已采纳
1回答
在Clojure中应用regex
regex、clojure
我是clojure的新手，我希望实现一个函数，它将对给定的字符串应用给定的regex模式，例如：我得到了但如果我试着用
(clojure.string/replace "hPPHp123
浏览 11提问于2015-08-18得票数 0
回答已采纳
2回答
用regex替换字符串
regex、replace、clojure
你好，我想用一种特殊的方式替换文件中的字符串。例如，我使用regex #"\WhideMenu\W“搜索一个像”hideMenu()“这样的字符串，这样它就不会返回hideMenu在其中的某些文本，比如"willHideMenu()”。我使用的替换函数如下：但问题是，它现在也取代了文本文件<em
浏览 8提问于2014-12-03得票数 2
回答已采纳
3回答
如何用sed移除两个字符之间的所有内容？
text-processing、sed
我有一个文件，它总共包含482行我想要从其中删除adt*。内容是这样的：479|~~adt00000995~~44836628_p0.jpg我试过sed 's/~~adt*~//' file > new_file，
浏览 0提问于2017-09-07得票数 2
回答已采纳
1回答
如何在语法定义中定义可选文字？
rascal
PictureStringLen ("VALUE"|"VALUES") ValueSpec 这个语法的匹配ADT是这样的： data PictureClause = pic(str pictype, PictureStringLenplen, str valuespec); 但是，我注意到内部函数似乎试图将带括号的语句与第二个str参数相匹配，而不是像"PIC“字符串文字那样忽略它。|pic: "PIC" Pictur
浏览 13提问于2020-01-17得票数 0
回答已采纳
云服务器
ICP备案
对象存储
云点播
即时通信 IM
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号