小编Joh*_*ler的帖子

我正在使用DataMapper,一个用于ruby的开源ORM,而且我已经知道了.目前,DataMapper可以将战略预测加载(SEL)用于一对多关系,但不能使用多对多关系,其中发生N + 1个查询.我想破解正确的工作,但我找不到在哪里做.所以两部分问题:

1. 如何运行测试套件,以便它显示失败(nb.现在所有应该失败的规格被标记为待定)？
2. SEL为何以及如何实现一对多关系？

我正在讨论关于添加Ruby使用的能力的讨论,?而不是lambda更广泛地关于Unicode支持.我意识到我所知道的所有语言都只使用英语保留字,并且大部分假设使用us-en键盘(例如使用$而不是£或¥).虽然有些语言现在开始在字符串函数中支持Unicode,但仍有许多基于英语或拉丁字符集的约定.例如,Ruby要求类名以大写字母开头,但大写和小写在大多数脚本中都不是字形的属性.

所以问题是:"是否存在可以在大量语言中运行的编程语言,以及它们是如何实现的？"

背景:我写了一个玩具Lisp解释器,我试图添加LLVM JIT功能.目前,已施加以下限制:

• 函数中只允许整数值
• 变量可能只引用形式参数

鉴于:

compile :: [Value] -- List of Formal Parameters
        -> [Value] -- Body of function
        -> CodeGenModule(Function a)`

问题:如何生成一个函数,其中参数的数量等于形式参数列表的长度？

我有一个数据类型,其中包含IORef作为一个重要元素.这意味着没有一种干净的方法可以使它成为show类型类的成员.这不是太糟糕,因为我print在这种类型的IO monad中有一个函数.但是在GHCi中很烦人,因为每当我返回其中一个东西时,我都会收到错误声明它无法显示.

有没有办法让IOC无论如何在IO monad中运行,使用IO动作来显示结果？如果没有,是否会对写作产生任何负面影响show a = unsafePerformIO $ print a？

以下代码旨在生成Double或Integer.s被假定为negate或id; n整个部分; 和f小数部分或Nothing整数.

computeValue :: Num a => (a->a) -> Integer -> (Maybe Double) -> Either Double Integer
computeValue s n Nothing = Right $ s n
computeValue s n (Just a) = Left $ s (fromIntegral n + a)

当我编译这个时,我得到:

test1.hs:2:28:
    Couldn't match type `Integer' with `Double'
    Expected type: Either Double Integer
      Actual type: Either Double a
    In the expression: Right $ s n
    In an equation for …

它看起来像有偶尔发布的报告,详细的下载一些顶级包(http://haskellwebnews.wordpress.com/2011/03/16/hackage-stats-the-past-year/).

是否可以查看单个包的更新统计数据？

我已经在Stack Overflow上查看了一些问题的答案,试图在使用Reactive Banana库时找到我的问题的解决方案.所有答案都使用了一些我不太了解的'mapAccum'的魔法.查看API文档,我发现的是"高效组合accumE和" accumB.这不是很有帮助.

似乎这个函数可以用来比较Behavior两个连续事件时a的值,这是我想要做的.但我不清楚如何做到这一点.

mapAccum工作究竟如何？

设置:

我正在使用Reactive Banana和OpenGL,我有一个我想要旋转的装备.我有以下信号:

bTime :: Behavior t Int -- the time in ms from start of rendering
bAngularVelosity :: Behavior t Double -- the angular velocity
                                      -- which can be increase or
                                      -- decreased by the user
eDisplay :: Event t ()     -- need to redraw the screen
eKey :: Event t KeyState   -- user input

最终,我需要计算bAngle哪个过去到绘图函数:

reactimate $ (draw gears) <$> (bAngle <@ eDisp)

角度很容易计算: a = ?v(t) dt

问题:

我想我想要做的是a = …

我正在尝试阅读Edward Kmett的Lens包中的文档 .我不熟悉很多使用的术语(profunctor,isomorphism,monomorphic,contravariant,bifunctor等...)

在这个库中使用这些词汇时,学习一些词汇的好资源是什么.

我在看文档的阅读器单子和ReaderT单子转换.

相关定义是:

newtype ReaderT k r m a :: forall k. * -> (k -> *) -> k -> *
type Reader r = ReaderT * r Identity

我不明白*在定义中做了什么.特别是我试图从ReaderT派生一个新的monad,其中IO作为基本monad,并且对r值有一个类约束.

我不确定为什么ReaderT(k)有第四个输入,以及当它将*放在该位置时Reader正在使用该值.