我在环境中安装了Anaconda,并且可以作为普通用户在shell中成功地使用它:
curt@lamp-v5mi:~$ python
Python 2.7.9 |Anaconda 2.2.0 (64-bit)| (default, Mar 9 2015, 16:20:48)
[GCC 4.4.7 20120313 (Red Hat 4.4.7-1)] on linux2
Type "help", "copyright", "credits" or "license" for more information.
Anaconda
我使用sudo apt-get install lamp-server从终端安装Xampp
当lamp-server还在安装时,我的电脑就关机了。
我再次运行了sudo apt-get install lamp-server,它返回了以下错误:
E: dpkg was interrupted, you must manually run 'sudo dpkg --configure -a' to correct the problem.
这个问题与本质上是一样的,但是我正在特别地寻找一个使用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 =