type-theory

0热度

1回答

我正在尝试为玩具语言编写我自己的类型推理算法，但我遇到了一堵墙 - 我认为算法W只能用于过于普通的类型。这里是表达式： Expr ::= EAbs String Expr | EApp Expr Expr | EVar String | ELit | EConc Expr Expr 打字规则简单 - 我们继续使用类型变量抽象和应用。这里是所有可

0热度

3回答

zend框架中找不到项目配置文件错误

我是zend框架的新手。我安装了它并使用zf create project创建了一个项目。现在我无法使用zf create action添加索引添加索引，因为我收到错误消息'找不到项目配置文件'有人可以帮忙吗？ http://www.leoganda.net/solving-zend-framework-error-an-error-has-occurred-a-project-profile-w

1热度

1回答

第一类函数的函数构造

我正在重写PHP类型系统并致力于实现更纯粹的语言。我尽可能地将纯粹主义视为功能性和面向对象的语言，如方法链，类型为对象，消息传递，条件方法和其他一些功能http://github.com/haskellcamargo/rawr。在这里，函数将是Func类的实例，之后我将为它做一个反编译器，因为PHP已经走到了尽头。 Func不会限制到一元函数的参数，但会检查是否被调用时，参数的数目相匹配正是预期参

2热度

1回答

术语“最左边”和“最右边”（指泛型）是如何得到其含义的？

阅读Angelika Langer's superb Generics FAQ，我终于开始真正理解泛型的一些更微妙的点。但是我仍然对某些术语感兴趣。的“最左边”和“最右边”我的外行的理解是从兰格如何使用它her FAQ appararently不同。 “那段翻译类型擦除执行，这意味着类型参数由它们最左边结合的取代或者没有结合被指定的对象..” .. 。 “类型擦除。最左边的上限用于类型擦除，

0热度

1回答

当proxy_pass服务器接收到http 302/301响应时，如何让nginx（代理）缓存实际内容而不是缓存头部信息？

我试图使用nginx作为临时http缓存，以尽量减少对内容的请求。我的内容是在多台服务器，所以我不能用静态proxy_pass参数直接的位置，但不是我使用重写PHP脚本： rewrite /([^/]+\.jpg) /index.php?file=$1 break; proxy_pass http://www.phpserver.com; PHP脚本（这将是http://www.phpse

0热度

1回答

JSON Gem无法在Windows上构建

好的，在Windows XP上使用DevKit安装了一个非常基本的Ruby 1.9.3安装。当我尝试执行rails new myapp时，它开始安装json并死亡。 Installing json (1.7.5) with native extensions C:\devkit\bin\make.exe: *** Couldn't reserve space for cygwin's heap,

37热度

3回答

什么是困境？

对于Haskell禁止的“impredicative”类型，我有相当不错的直觉：即forall出现在除->以外的类型构造函数的参数中。但是什么是困境？什么使它很重要？它与“谓词”这个词有什么关系？

0热度

1回答

Gsub提取两行之间的相关内容

我想提取准备和营养\ nPer服务之间的内容。我使用 - gsub(".*\nPreparation\n\\s*|Tips & Notes*", "", filename) 我的文件名看起来像 \nPreparation\nThinly slice both lemons and one orange. Combine the sliced fruit with rum in a

19热度

1回答

如何系统地计算给定类型的居民人数？

如何系统地计算系统F中给定类型的居民人数？假设以下限制：所有居民终止，即，没有底部。所有居民都没有副作用。例如（使用Haskell语法）： Bool具有两个居民。 (Bool, Bool)有四个居民。 Bool -> (Bool, Bool)有十六个居民。 forall a. a -> a有一个居民。 forall a. (a, a) -> (a, a)有四个居民。 forall a b.

11热度

2回答

GADT提供的OOP和泛型不能做什么？

是GADTs功能语言相当于传统的OOP +泛型，或者有一种情况下GADT容易实施正确性约束，但使用Java或C＃很难或不可能实现？例如，这种“良好类型的解释”哈斯克尔程序： data Expr a where N :: Int -> Expr Int Suc :: Expr Int -> Expr Int IsZero :: Expr Int -> Expr Boo