主页 / user-1980863

RandomB's questions

Martin Hope
RandomB
Asked: 2025-02-13 16:46:37 +0800 CST
  • 5

我尝试使用库regex-applicative。

我的代码是：

nicBeg = ((psym $ not . isSpace) $> (few anySym <> " adapter ")) *> some anySym
result = match nicBeg "abcd adapter NIC 1"

我 认为result是 的Just "bcd adapter NIC 1".

但文献记载*>表明：

*> :: forall (f :: Type -> Type) a b.Applicative f => fa -> fb -> fb

在‘GHC.Base’（base-4.16.4.0）中定义的
序列动作，丢弃第一个参数的值。

那么，问题是：为什么“bcd 适配器”部分存在于result而不是只有“NIC 1”（它没有被丢弃）？是库的问题还是我哪里错了？

PS. 该库具有“贪婪” RE 表达式的概念。

PS. 很容易得到预期的结果：（((psym $ not . isSpace) *> (few anySym <> " adapter ")) *> some anySym 即替换$>为*>）

haskell
Martin Hope
RandomB
Asked: 2024-08-01 18:44:08 +0800 CST
  • 5

如果我有一个像这样的功能fun：

-- For example, `SomeRecord` can have more than 2 fields,
-- but 20 or 30
data SomeRecord a b = SomeRecord {
  f1 :: a -> b,
  f2 :: a -> b -> Bool
}

fun :: SomeRecord Int Bool
fun = SomeRecord ...

然后我fun在程序的不同位置调用，GHC 生成的代码fun每次都会调用吗？还是会被替换为对这个零元（实际上是常量）函数结果的某些“引用”，就像 C 编译器对常量所做的那样？像“第一次调用它，然后在任何嵌套深度的任何地方都用这个值替换”（或者 GHC 甚至可以在不调用的情况下做到这一点），这可能吗？我需要一些特殊的编译器标志吗（我-O2目前只使用）？

haskell