按照Martin关于coursera的课程- Scala的函数式编程()，我在第4周学习类型和模式匹配。在视频讲座中，这是一个自然数的表示： def isZero: Boolean def successor:Nat = new Succ(this) def - (that: Nat): Nat = if
浏览 0提问于2020-09-11得票数 -1
回答已采纳
1回答
我正在实现一个Java套接字编程应用程序与一个服务器背后的公共wifi访问。我在使用客户端访问此服务器时遇到了问题，我认为这是NAT问题。有什么想法吗？
浏览 1提问于2014-01-20得票数 0
在理查德·伯德的书“使用Haskell的函数式编程简介”第二版中做练习。data Nat = Zero | Succ Nat m `plus` Zerom `plus` n)
m `times` Succ n = (m `times` n) `plus` m
divide ::
浏览 2提问于2012-12-13得票数 1
我正在尝试以编程方式启动Google虚拟机实例。我突然想到，为了上网，必须设置一个外部IP地址。AccessConfig.newBuilder() .setType("ONE_TO_ONE_NAT") .setExternalIpv6(&qu
浏览 11提问于2022-10-24得票数 -1
回答已采纳
\nat org.bson.codecs.configuration.ProvidersCodecRegistry.get(ProvidersCodecRegistry.java:63)\nat
org.bson.codecs.configuration.ProvidersCodecRegistry.get(ProvidersCodecRegistr
浏览 6提问于2020-07-03得票数 0
2回答
这就是逻辑猫：java.lang.RuntimeException: Unable to start servicecom.madhatter.nat.test.OverlayService@89014f1 with null: java.lang.NullPointerException: Attempt to-wrap17(ActivityThread.java)
at android.app.ActivityT
浏览 4提问于2017-01-09得票数 0
回答已采纳
我正在尝试用Java做一个p2p文件共享原型/软件。我对学习使用套接字很感兴趣，所以我不会使用JXTA或任何类型的API。另外，像这样的代码会执行TCP打洞吗？
浏览 2提问于2011-04-08得票数 18
回答已采纳
1回答
每个人都知道在依赖类型的函数式语言上表达自然数的优雅方法：整数、分数、实、复和四元数对于实际编程应用也是非常重要的。人们可以将其落实为：data Fraction = Fraction (dividend: Nat) (divisor : Nat)
data Real = Real (exponent :
浏览 0提问于2015-12-10得票数 10
1回答
我对伊莎贝尔来说是全新的，总体来说是HOL编程。课本中的练习之一是：我仍然在试图定义它，但我无法弄清楚。fun double :: "nat => nat" where"double (n) = //I don't know whatfun
浏览 3提问于2014-07-15得票数 0
回答已采纳
2回答
我从中学习了Haskell的类型编程，但是当它引入DataKinds扩展时，从这个示例中可以看出一些令人困惑的东西：data Nat = Zero| Succ Nat:kind ZeroZero :: Nat:type ZeroZero :: Nat
这
浏览 2提问于2018-12-17得票数 8
回答已采纳
1回答
傀儡属地不起作用
、、、
==> nat: Notice: /Stage[main]/Apt/File[preferences]/ensure: created
==> nat: Notice: /Stage[main]/test_java8/File[/tmp/java.preseed]/ensure: defined content as '{md5}fa13124e9e801dd42c91fa94ef7f1c1e'
浏览 1提问于2016-04-05得票数 0
回答已采纳
我试过： match s with | h :: tl => match h with我也试过： match s with | h :: tl => match h with函数式编程对我来说有点新，所以我不知道如何用Coq来表达这一点。我只想说，如果h与v
浏览 0提问于2019-01-21得票数 0
回答已采纳
我想写一个本机方法，它可以从socket接收数据，然后写回ByteArray，它是来自Java的输入参数。因为我在Java端分配ByteArray，并将其传递给本机方法，所以我知道应该使用GetPrimitiveArrayCritical()来获取这个ByteArray的指针。get_SocketLoop_native_data(JNIEnv *env, jobject object) {}
JNIEXPORT void JNICALL Java_andr
浏览 0提问于2011-09-19得票数 1
回答已采纳
我在看： | E_ANum : forall (n: nat), | E_AMinus: forall (e1 e2: aexp) (n1 n2: nat), aevalR (AMinus e1 e2) (n1 - n2)
| E_AMult
浏览 12提问于2018-12-13得票数 1
回答已采纳
2回答
我们正在编写一个基于HTTP的桌面应用程序，它的客户端在NAT之外运行。我们从NAT内部进行编码和测试。http服务器位于我们的NAT内(是的，这是糟糕的网络设计)。要自动检测HTTP客户端从何处启动并传递相应的服务器IP (即NAT内部或外部)，最佳的Java方法是什么？server_ip = 0.0.0.0 server_ip = 192.168.0.* server_ip = 202.13.14.15
我需要一个insider
浏览 2提问于2010-08-09得票数 0
回答已采纳
我是Coq的新手，我正在尝试证明以下引理(使用Reals库)： forall (An : nat -> R) (a : R), Un_cv An a -> Un_cv (fun i : nat =>我知道如何手工操作，但我不知道如何将其编程到Coq中。 这是我到目前为止的证据： Proof.An : nat -> RA_cv : forall eps : R,
eps > 0 -> ex
浏览 29提问于2019-02-18得票数 1
回答已采纳
我定义了一个符号来模拟命令式编程然而，在此之后，所有函数应用程序表达式都被表示为'>>‘样式。例如，在Coq Toplevel的证明模式中，我可以看到其实应该是为什么Coq会积极地将所有函数应用程序样式的表达式重写到我的自定义如何将一切恢复正常，我的意思是我希望看到'a >> b’
浏览 5提问于2015-05-18得票数 10
回答已采纳
1回答
为了避免迫使客户端打开NAT中的端口，有人建议使用由客户端发起的http持久连接。但是，我不确定这是正确的解决方案，因为它似乎有点滥用这个http扩展。
浏览 3提问于2016-04-19得票数 1
回答已采纳
作为伊莎贝尔的初学者，我试图根据标准ML实现从rosettacode.org 转录一个简单的编程任务。 "initial_doors m = map (λn.× (nat × Door) list ⇒ ??'a ⇒ nat × (nat × Door) list)
⇒ nat × (na
浏览 2提问于2022-04-08得票数 1
回答已采纳
2回答
对于函数编程摘录，我需要在haskell中应用原始递归函数。但是，我还不太明白这类函数的定义(和应用程序)。我们给出了要使用的数据类型Nat，它的构造函数是：数据Nat =零\ Succ NatrecNat :: a -> (Nat -> a -> a) -> Nat -> arecNat a h
浏览 3提问于2020-05-30得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
