在Akka类型中具有详尽模式匹配的类型安全状态
Akka是一个开源的分布式计算框架，用于构建高可伸缩性、高并发性的分布式应用程序。在Akka中，模式匹配是一种强大的功能，它允许开发人员根据不同的消息类型来执行不同的操作。模式匹配可以应用于Akka中的各种类型，包括Actor、消息、状态等。
具有详尽模式匹配的类型安全状态是指在Akka中使用模式匹配来处理不同状态的消息，并确保类型安全。通过使用详尽模式匹配，开发人员可以根据消息的类型来执行相应的操作，从而更好地管理应用程序的状态。
优势：
- 简化代码：使用详尽模式匹配可以减少开发人员编写的代码量，提高代码的可读性和可维护性。
- 类型安全：通过模式匹配，可以在编译时捕获类型错误，避免在运行时出现类型不匹配的错误。
- 灵活性：模式匹配允许开发人员根据不同的消息类型执行不同的操作，从而实现更灵活的应用程序逻辑。
应用场景：
- 状态管理：使用详尽模式匹配可以更好地管理应用程序的状态，根据不同的状态执行相应的操作。
- 消息处理：通过模式匹配，可以根据不同的消息类型执行不同的处理逻辑，实现更精确的消息处理。
- 错误处理：模式匹配可以用于捕获和处理不同类型的错误，提高应用程序的健壮性和容错性。
推荐的腾讯云相关产品： 腾讯云提供了一系列与分布式计算相关的产品和服务，以下是其中一些推荐的产品：
- 云服务器（ECS）：提供弹性计算能力，用于部署和运行Akka应用程序。
- 云数据库MySQL版（CDB）：提供可靠的数据库存储，用于存储应用程序的状态和数据。
- 云原生容器服务（TKE）：提供容器化部署和管理能力，用于部署和运行Akka应用程序。
- 云监控（Cloud Monitor）：提供实时监控和告警功能，用于监控Akka应用程序的运行状态。
更多腾讯云产品和详细介绍，请参考腾讯云官方网站：https://cloud.tencent.com/
相关·内容
下面第9行发生了什么，使result变量可以在第10行上访问？
示例来自。第8行中的Ask返回一个scala.concurrent.Future。Future.value()返回一个[T]，它要么是Some(Success(t))，要么是Some(Failure(error))。然后调用Some.get，它应该返回t或错误，这取决于Try的结果。
似乎future.value.get的值是否是第9行中的错误，它试图用来自Some.get的返回值实例化一个新的成功，。第9行的成功不是直接使用的，而是case类构造函数参数result使其成为作用域，因此可以在第10行中使用。这在Scala里叫什么
浏览 6提问于2015-04-05得票数 2
回答已采纳
尤金·布尔马科( Eugene Burmako)：
在Akka中，演员通常使用非类型化的tell方法进行交互。由于参与者能够相互发送任意类型的消息，类型信息在接收端丢失，通常只能使用模式匹配恢复，而松散类型则保证。
在这里，他指的是什么保证，为什么模式匹配削弱了它们？
浏览 0提问于2016-10-25得票数 1
请参阅最后编辑。
为新手的问题道歉。我试图在F#中使用Akka.net实现一些东西。我对F#非常陌生，我只使用过Scala的Akka。基本上，我试图在Scala中实现一些非常容易的东西，即让一个Actor根据它接收到的消息类型做不同的事情。
我的代码如下所示，这是对akka.net网站上删除的hello示例的轻微修改。我认为我的代码的第一个问题是它确实记录模式匹配而不是类型模式匹配，但是我无法在没有编译错误的情况下编写类型匹配匹配.任何帮助都将不胜感激。谢谢。
open Akka.FSharp
open Actors
open Akka
open Akka.Actor
type Entrie
浏览 4提问于2015-04-17得票数 1
回答已采纳
我刚刚开始学习scala，目前正在通过这个课程学习有关Akka的知识
我对代码风格感到困惑，作者在对象中创建了一个特征。
object MusicController {
sealed trait ControllerMsg
case object Play extends ControllerMsg
case object Stop extends ControllerMsg
def props = Props[MusicController]
}
我知道Scala对象提供了单例能力，并提供了一种通过伴生对象定义类中所有静态方法的方法。有人能帮我理解这个语法吗？谢谢
浏览 2提问于2017-08-01得票数 0
回答已采纳
2回答
我正在尝试使用akka远程actors发送消息，其中case类是在其构造函数中接受参数的超类的子类。
以下是重现该问题的最小示例：
package com.tuvistavie.testremote
import akka.actor.{ Actor, ActorSystem, Props, ActorLogging }
import com.typesafe.config.ConfigFactory
abstract class Foo(val a: Int)
case class MessageFoo(override val a: Int) extends Foo(a)
objec
浏览 2提问于2013-06-26得票数 7
回答已采纳
1回答
Akka文档说邮箱不会扫描邮件。每个消息按到达顺序依次处理(默认情况下为FIFO)。但是，当我将一条消息从一个参与者发送到另一个与接收者不匹配的消息时，它既不会被移动到死信参与者(我想它会出现在日志中)，也不会阻止处理邮箱中的下一条消息，该邮件在一秒钟后到达，并且可以正确处理。
来自邮箱的无与伦比的消息会发生什么？
我在sbt中使用Scala2.10.4和Akka2.4-快照。
package main.scala
import akka.actor._
class SRActor(dest: ActorRef) extends Actor with ActorLogging {
de
浏览 5提问于2016-05-16得票数 5
回答已采纳
1回答
尝试使用Chart学习Haskell。构建过程中的包中断：
/private/var/folders/m2/qwhdrn_d46z99_3vxchdwn7r0000gn/T/stack5630/Chart-1.9/Graphics/Rendering/Chart/State.hs:102:3: error:
• No instance for (Control.Monad.Fail.MonadFail Identity)
arising from a do statement
with the failable pattern ‘(c : cs)’
浏览 5提问于2019-03-26得票数 2
2回答
位类型在F#中的正确语法是什么，只有两个可能的值:0和1。我试过了；
type bit =
| 0
| 1
错误消息是error FS0010: Unexpected integer literal in union case。我需要使用[<Literal>]吗？
我收到了一个不同的错误消息：error FS0010: Unexpected integer literal in union case. Expected identifier, '(', '(*)' or other token.
浏览 2提问于2012-11-03得票数 2
1回答
我有以下单元测试：
it should "return xml" in new TestScope {
val testProbe: TestProbe = TestProbe()
val someActor = system.actorOf(Props[SomeActor])
testProbe.send(someActor, MakeXmlApiCall())
testProbe.expectMsgPF() {
case Success(message) => {
assert(message == &
浏览 2提问于2016-12-15得票数 1
回答已采纳
2回答
我正在学习Scala的Akka，还阅读了Scala的模式匹配/case语句。
在阿克卡，我可以写一个演员如下：
class MyActor extends Actor {
def receive: Receive = {
case msg: MyMsgClass => sender ! "message received!"
}
}
问题：
这是Scala模式匹配的例子吗？如果是这样的话，为什么没有对应的match关键字？
在case行中，msg是一个标识符，它是必需的吗？如果我省略它，只使用类名(如果我没有提供标识符，我就不能使用
浏览 3提问于2014-08-05得票数 4
回答已采纳
3回答
我是OCaml的新手，我正在试图理解如何从一个'a选项中获得值。根据的文档，有一个类型为'a option -> 'a的get函数，它可以做我想要的事情。但是当我键入：
# let z = Some 3;;
val z : int option = Some 3
# get z;;
Error: Unbound value get
# Option.get z;;
Error: Unbound module Option
为什么这个不起作用呢？
浏览 0提问于2012-09-06得票数 11
回答已采纳
我对在IoT设备场景中使用AKKA很感兴趣，但我担心单个演员的复杂性。在大多数行业中，设备并不像你在大多数教程中看到的“温度传感器”那么简单。一个设备代表的是一些更复杂的东西，可以具有以下特征：
许多传感器可以表示(温度，电/流体流动，功率输出，开关值.
以上每个值都可以查询当前值和更可能的历史值(趋势、直方图.)。
可以为任何一个传感器值设置警报规则。
每个设备都有一个相当复杂的配置，必须进行管理(什么传感器，什么测量单位)
可以发送许多不同的消息类型(传感器读取请求、警报、配置更新.)
所以，我的主要问题是，有没有人对演员的复杂程度有很好的建议？
谢谢史蒂夫
浏览 1提问于2018-05-08得票数 1
回答已采纳
3回答
我想要解构从服务器获得的HttpResponse
Success(HttpResponse(200 OK,List(Server: akka-http/2.3.12, Date: Tue, 04 Aug 2015 22:20:21 GMT),HttpEntity.Default(application/json,69,akka.stream.scaladsl.Source@52ffaba9),HttpProtocol(HTTP/1.1)))
我看了看，但我不确定如何解构它
我尝试的方式是
val responseFuture: Future[HttpResponse] =
H
浏览 0提问于2015-08-05得票数 1
2回答
我使用的是Akka库。
当多个参与者在一个对象上调用一个函数时会发生什么？这会阻止其他参与者访问该对象吗？
我问这个的原因是因为我想在akka演员中使用JBCrypt。因为我们可以同时加密多个字符串，所以我让每个参与者调用JBcrypt.hash(...)。我不确定它是如何工作的，因为我认为，在scala中，对象存在于一个地方，并且我觉得使用同一对象(库)的多个参与者可能会阻止并发的实际发生。
浏览 0提问于2017-12-05得票数 1
警告-这是一个处理Codility BinaryGap任务的代码-只是为了警告，因为这可能会破坏某些人的东西。
我有一段代码，比如
@tailrec
def count2(max:Int, count:Int, d:Seq[Char]):Int = d match {
case '1' :: s => count2(Math.max(max, count), 0, s)
case '0' :: s => count2(max, count+1, s);
case Nil => max
}
我这样叫它
println(Solution
浏览 0提问于2016-02-19得票数 0
这是的后续节目。
我知道使用-Wall，GHC可以对非穷举模式发出警告。我想知道，在默认情况下，不使它成为编译时错误的原因是什么，因为始终可以显式定义部分函数：
f :: [a] -> [b] -> Int
f [] _ = error "undefined for empty array"
f _ [] = error "undefined for empty array"
f (_:xs) (_:ys) = length xs + length ys
问题不是针对GHC的。
是因为..。
没有人想要强制Haskell编译器来执行这种分析? c
浏览 12提问于2010-09-27得票数 33
回答已采纳
1回答
我创建了一个包含两个列表的虚拟函数，如下所示：
# let rec test ([a;b]) = match [a;b] with
[] -> []
| h::t ->
if ((List.length h) > 0) then
[List.hd a]
else
[]
;;
作为回报，我得到了这个警告：
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value t
浏览 3提问于2017-11-01得票数 0
回答已采纳
声明：
开关标签引入的模式变量在关联的开关规则表达式、开关规则块或开关规则抛出语句中绝对匹配。
这是否意味着模式匹配的开关需要强制穷尽，而不管它是用作语句还是表达式？
浏览 5提问于2021-10-02得票数 3
回答已采纳
3回答
和类型与多态性
、、
在过去的一年里，我学到了一种函数式编程语言(，F#)，我发现其中一个更有趣的事情是它如何影响我设计OO软件的方式。在OO语言中，我发现自己最缺少的两件事是模式匹配和和类型。无论我往哪里看，我都会看到一些情况，它们都会被歧视的联盟模式化，但我不愿意在某些OO实现中拿出铁撬，这对范例来说是不自然的。
这通常会导致我创建中间类型来处理sum类型将为我处理的or关系。它似乎也导致了大量的分支。如果我读到像米斯科·希尔这样的人，他建议，良好的OO设计可以通过多态性最小化分支。
在OO代码中，我尽量避免的事情之一是使用null值的类型。显然，or关系可以用一个null值和一个非null值的类型建模，但这意
浏览 0提问于2018-03-12得票数 13
回答已采纳
首先定义一个列表：
val list = List(1,2,3)
Scala编译器给出警告(即使它可以匹配)：
list match {
case head :: tail => println(s"h:${head} ~ t: ${tail}")
}
Scala编译器不会给出警告(即使它不匹配)：
list match {
case List(a,b) => println("!!!")
}
我不能理解第二个
浏览 1提问于2014-07-01得票数 2
我对Akka完全陌生。我很难把握什么时候应该将以前的类方法/行为分割成akka消息。许多示例将接收到的消息显示为一行- println("Howdy")。
让我们假设我想做以下工作：
给定一组预定义的正则表达式
给出一本书中句子的输入流。每条信息都是一个句子。
对句子执行正则表达式
正则表达式的匹配和非匹配增量计数。
如果匹配，执行HTTP post语句。
什么是阿克卡专家在他们的头脑中使用的指导方针，以打破这一点？我会让这里的每一步都是单独的消息，而不是几个方法调用吗？在我看来，我唯一会使用akka消息的东西是#1 (每条消息)和#6 (阻塞h
浏览 8提问于2015-08-31得票数 2
回答已采纳
1回答
我正在尝试理解akka FSM模式，在下面的示例中，我不明白为什么我没有得到与processing -> complete相对应的打印。我的指纹清楚地表明我是完整的。有没有人能开导一下我？
import akka.actor.{ActorRef, FSM}
import scala.concurrent.duration._
import akka.actor.Actor
import akka.actor.ActorSystem
import akka.actor.FSM.Event
import akka.actor.Props
object FSM2 extends App{
浏览 29提问于2016-09-03得票数 1
回答已采纳
1回答
我试图在我的代码中得到一个类型的值。有一个x，它是stmt，值是("x“1)。我希望得到"x“，并将其用作在散列表中查找值的键。我要问的是如何提取"x“。
type variable = string
type expr = int
type arrayref = variable * expr
type stmt = Dim of arrayref
let x = Dim("x",1);;
let aa (sbc:stmt) = match sbc with
|Dim a -> None;;
我不应该用一些密码来代替，但是我不知道该怎么做。
浏览 0提问于2019-01-24得票数 0
回答已采纳
我已经做了两个Akka.NET解决方案，希望在一个简单的hello示例中测试远程处理，但是，在尝试通信时，我仍然会得到一个不相关的异常。我有理由相信，这是因为共享类问候，这应该是两个系统都应该理解的信息。不幸的是，他们没有。我该怎么解决这个问题？
这是“服务器”应用程序的代码：
namespace Shared
{
public class Greet
{
public string Who { get; set; }
public Greet(string who)
{
Who = who;
浏览 4提问于2015-12-15得票数 0
回答已采纳
1回答
我想知道是否可以使用Scala宏生成类似于以下内容的内容：
sealed type Foo
type Bar <: Foo
type Baz <: Foo
那么，下面的表达式将被认为不是详尽无遗的。
(foo: Foo) match {
case bar: Bar => ???
}
从中的注释来看，似乎有一种方法可以将这些约束传递给打字机。
浏览 1提问于2014-05-29得票数 1
回答已采纳
1回答
基于指定代数数据结构的函子在队列上有一个问题。
data DQueue a = Empty | Enqueue a (DQueue a)
deriving (Eq, Show, Read)
instance Functor DQueue
where
fmap f (Enqueue x xs) = Enqueue (f x) $ fmap f xs
instance Foldable DQueue
where
foldr = error "not done"
sample1 :: DQueue Int
sample1 = Enqueue
浏览 2提问于2016-06-23得票数 1
回答已采纳
我有一些密码：
let some_func some_arg = (* ... *)
some_arg真正需要成为[| arg1; arg2 |]的地方。我想在函数参数位置上进行模式匹配，比如：
let some_func [| arg1; arg2 |] = (* ... *)
但是我也想保留变量名some_arg，以防我想直接使用它。我怎么能这么做？
浏览 3提问于2021-11-06得票数 1
回答已采纳
我正在尝试用Java实现Akka FSM，因此在这个过程中，我试图理解一些用Scala编写的示例。我还查看了
在下面的例子中，我不太理解_的用途。
onTransition {
case Uninitialized -> _ => unstashAll()
}
它指的是转换中的“任何”状态吗？
浏览 38提问于2018-06-05得票数 0
回答已采纳
1回答
我创建了Value Class
final class Feature(val value: Vector[Double]) extends AnyVal
在match中针对该类使用scala
val d = new Feature(Vector(1.1))
s match {
case a:Feature => println(s"a:feature, $a")
case _ => println("_")
}
这是正确的，但是在Akka中，在上面的同一个类中，在receive方法中，这是行不通的：
def receive = Logg
浏览 4提问于2017-02-17得票数 4
回答已采纳
1回答
在研究akka的源代码时，我在akka.event.slf4j.SLF4JLogger参与者中发现了以下内容：
def receive = {
//...
case event @ Warning(logSource, logClass, message) ⇒
withMdc(logSource, event) { Logger(logClass, logSource).warn("{}", message.asInstanceOf[AnyRef]) }
case event @ Info(logSource, logClass, mess
浏览 3提问于2016-11-22得票数 0
1回答
理解Akka容错
、、
我正在深入研究，只是看看他们的，并试图理解它。
为什么我不能实现所有相同的类型(Worker，Listener，CounterService等)在“纯Java”中(没有Akka)。Akka在这里加入了什么基础设施？
在这个图表中，Storage代表什么？关系数据库管理系统？监控RDBMS的Java应用程序？JDBC驱动程序？
如果Storage是一个Java应用程序，并且可以向请求者抛出一个StorageException，那么这很好，但是如果Storage和CounterService之间的网络被切断或者有传输级别的问题怎么办？整个图是否仍然工作(如果是的话，如何？！？)还是Ak
浏览 3提问于2013-12-09得票数 2
1回答
在每次重新启动服务3po3 shardinside AWS集群后，我们将得到一个异常，我们将使用NugetAkka1.4.16作为我们的.net服务，使用attaching，附加代码供您参考，如果我们遗漏了什么，请告诉我们。
当重播事件类型Akka时，ReceiveRecover中的异常。用于Cluster.Sharding.PersistentShardCoordinator+ShardHomeAllocated的序列号为26的persistenceId
原因: Shard 0已经在Akka.Cluster.Sharding.PersistentShardCoordinator.State.
浏览 7提问于2022-01-10得票数 0
正如akka博士所描述的，akka会发送信息-忘了-。
但是在ask模式中，如果typekey不存在，我仍然需要等待响应使用超时。
在向不存在的typekey发送消息时，是否有一种立即失败的方法？
浏览 7提问于2022-11-25得票数 1
回答已采纳
它不能用params初始化，它只能与自身进行比较(单例)。因此，它的等于和哈希代码函数没有优势。有没有人遇到过有用的案子？
浏览 4提问于2015-09-16得票数 5
回答已采纳
1回答
我熟悉这里定义的Akka测试方法：
我理解如何使用TestKit、TestActorRef、TestProbe等，我也知道我的核心域逻辑应该从Akka中分离出来并进行测试。
我的问题是关于在Akka持久性角色上执行TDD的策略，即PersistentActor和PersistentView。
我希望能够以合理的低开销、高效的方式测试以下类型的场景，即尽可能接近单元测试：
持久化参与者是否持久化了一个具有正确id的事件？
快照恢复是否正确？
我的观点是正确的事件吗？
如果有人知道一个项目，可以帮助我看到这方面的行动，我将不胜感激。
我能想到的一种方法是有一个测试Persis
浏览 3提问于2015-06-16得票数 1
回答已采纳
3回答
我有一个简单的类层次结构，它表示一个类似图的结构，它有几种使用case类实现的不同类型的顶点：
sealed trait Node
sealed abstract case class Vertex extends Node
case class Arc extends Node
case class VertexType1 (val a:Int) extends Vertex
case class VertexType2 (val b:Int) extends Vertex
这样我就可以编写这样的匹配块：
def test (x: Node) = x match {
case _ :
浏览 1提问于2011-06-13得票数 9
现在就在想。为什么Actor模型只有一个onReceive()方法。
{我还没有在制作中使用演员，所以如果我误解了什么，请原谅。一般只考虑一个模型。}
为什么不采取武断的方法
比如，为什么不告诉我们，无论我们的演员有什么公共方法，他们都会超越mail-box，推动对that function call queue的调用。
就像这样：
class MyActor extends ... {
public void doSomething1(message:String) {...}
public void doSomtething2(message:MyMessage) {}
}
我的观点是
浏览 2提问于2014-05-21得票数 0
2回答
我想把一个列表作为参数传递给一个函数，这个函数将这个列表中的每个元素乘以3。我必须使用递归(我知道怎么做)和map函数(有一个问题)。 我尝试将列表作为参数传递，就像我在其他帖子中看到的那样，但它不起作用。 fun x = 3 * x + 1
mult :: [Int] -> [Int]
mult [a] = map fun [a] 我尝试过的代码显示: Exception: x: function mult中的非穷举模式
浏览 25提问于2019-06-14得票数 0
回答已采纳
在这里，我创建了一个单例演员。主节点和种子节点是相同的。来自不同的项目，我正在尝试添加到集群中，并希望发送消息。我可以加入集群，但不能发送消息。
我的主节点和种子节点：
package Demo
import akka.actor._
import akka.cluster.singleton.{ClusterSingletonManager, ClusterSingletonManagerSettings, ClusterSingletonProxy, ClusterSingletonProxySettings}
import com.typesafe
浏览 0提问于2017-08-06得票数 0
2回答
我读了Akka文档，但我不明白：
class MyActor extends Actor {
private var _state = 0
override def receive: Receive = {
case x: Int =>
if (x != _state) {
println(s"---------> fail: ${x} and ${_state}")
}
_state = x + 1
}
}
implicit val system = ActorSystem("m
浏览 5提问于2021-05-31得票数 0
1回答
我正在使用Akka集群来实现一些冗余，并删除我的java应用程序中的单个故障点。但是，在将消息从一台计算机发送到另一台计算机时，我在序列化消息时遇到了一些问题。
我正在发送一个不实现Serializable的java对象。因此，我需要使用自己的序列化程序，幸运的是，该对象提供了一个使用Kryo的序列化方法。因此，在这个之后，我创建了自己的akka序列化程序，扩展了JSerializer
import akka.serialization.JSerializer;
public class MyObjectClusterSerializer extends JSerializer {
浏览 0提问于2014-08-04得票数 2
回答已采纳
在测试过程中，我收到了以下错误消息：
[ERROR] [07/13/2019 14:25:39.659] [DetectorSystem3-akka.io.pinned-dispatcher-2] [akka://DetectorSystem3/user/DetectorSupervisor] SapActiveConfirmed (of class com.sweetsoft.detector.ServerMonitoring$SapActiveConfirmed$)
scala.MatchError: SapActiveConfirmed (of class com.sweetsoft.d
浏览 17提问于2019-07-13得票数 0
回答已采纳
2回答
我试图在Actor的receive方法中进行两个外部调用(对Redis数据库)。两个调用都返回一个Future，我需要第二个调用中的第一个Future的结果。我将这两个调用包装在Redis事务中，以避免其他人在读取时修改数据库中的值。
根据第二个Future的值更新参与者的内部状态。
下面是我当前代码的样子，这是不正确的，因为我正在更新Future.onComplete回调中的参与者的内部状态。
我不能使用PipeTo模式，因为我需要两者都在一个事务中。如果我使用Await作为第一个Future，那么我的接收方法将被阻塞。知道怎么解决这个问题吗？
我的第二个问题与我如何使用Futures有关。
浏览 4提问于2014-08-07得票数 3
问题
在Bartosz Milewski的“程序员分类理论”一书中，第4.3章。
你必须编码一个Kleisli范畴，其中态射是部分函数。以下是我没有编译的尝试：
data Optional a = Valid a | Invalid deriving (Show)
return :: a -> Optional a
return x = Valid x
(>=>) :: (a -> Optional b) -> (b -> Optional c) -> (a -> Optional c)
f (>=>) g = \x ->
浏览 5提问于2019-12-07得票数 2
回答已采纳
我为编写了一个自定义记录器，将日志消息传递给远程系统。我有第二个记录器，它使用和作为后端打印到控制台和日志文件。
奇怪的是，我注意到一些消息没有被我的自定义记录器接收，但是slf4j记录器接收得很好。
例如，作为监督策略的一部分，由失败的子参与者生成的错误消息被记录：
[DEBUG][akka://Test/system/remote-deployment-watcher]: started (akka.remote.RemoteDeploymentWatcher@b342d63)
[DEBUG][akka://Test/system]: now supervising Actor[akka:
浏览 0提问于2014-09-03得票数 3
回答已采纳
1回答
我正在用akka io/streams编写Java XMPP服务器。根据XMPP规范，连接模式可以在飞行中切换到TLS模式。使用akka.io或akka.streams有什么好的/标准的方法来实现这一点吗？谢谢!
浏览 0提问于2015-12-09得票数 1
1回答
在官方OCaml文档的OCaml文档中，引入了_ -> .格式的反驳案例。然而，我认为模式匹配已经是详尽无遗的，所以我不确定什么时候需要反驳。
文档中给出的示例如下：
type _ t =
| Int : int t
| Bool : bool t
let deep : (char t * int) option -> char = function
| None -> 'c'
| _ -> .
但即使是文档也指出，这个反驳案例是多余的。是否有一个例子，其中一个反驳案例是必要的代码，以进行打字机？
浏览 0提问于2018-10-13得票数 20
回答已采纳
豆荚在运行，但却一次又一次地发出下面的警告。
当使用sbt runAll时，一切都很好。部署在Kubernetes上(使用RP生成的资源)，它没有。
我在用：
rp generate-kubernetes-resources "xrates-list-impl:1.0.1"
--generate-all --registry-use-local --pod-controller-replicas 3 --external-service "kafka_native=_broker._tcp.kafka.default.svc.cluster.local"
--e
浏览 0提问于2018-07-18得票数 1
我认为用具体的例子来描述一个问题比较容易。假设我有Fruit类层次结构和Show类型类：
trait Fruit
case class Apple extends Fruit
case class Orange extends Fruit
trait Show[T] {
def show(target: T): String
}
object Show {
implicit object AppleShow extends Show[Apple] {
def show(apple: Apple) = "Standard apple"
浏览 1提问于2011-08-31得票数 12
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
