这个问题与本质上是一样的,但是我正在特别地寻找一个使用Maybe类型安全处理范围外变量的答案(因此不使用Haskell的错误机制)。
具体来说,我有以下这些类型:
type Name = Int
data Lam = Var Name | Lam Name Lam | App Lam Lam
data LamP p = VarP p | LamP (p -> LamP p) | AppP (LamP p) (LamP p)
为了简单起见,我使用整数作为名称。
从LamP到Lam很简单:
fromP :: (forall p. LamP p) -> Lam
fromP x0 =
我使用juju部署了一个lamp>lamp->mysql堆栈。它看起来很直接,从我的测试中运行得很好。我也看到了它很容易缩放一个层,并增加额外的单位,例如灯服务器。我们在服务器上的其他配置是由傀儡完成的。
但是,在本例中相同的环境"ec2“(在我的environments.yaml中指定)中,我希望使用相同的公式haproxy>lamp->mysql部署另一组服务器。
然而,这似乎是不可能的,因为您得到了这个错误:
ERROR Service name 'mysql' is already in use
有办法这样做吗?
我的想法是使用相同的EC