Início / user-1980863

RandomB's questions

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

Eu tento usar uma biblioteca regex-applicative .

Meu código é:

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

e vejo que resulté Just "bcd adapter NIC 1".

Mas a documentação *>diz:

*> :: forall (f :: Tipo -> Tipo) a b. Aplicativo f => fa -> fb -> fb

Definido em 'GHC.Base' (base-4.16.4.0)
Ações de sequência, descartando o valor do primeiro argumento.

Então, a questão é: por que a parte "bcd adapter" existe no resulte não apenas "NIC 1" (ele não foi descartado )? É um problema da biblioteca ou estou errado em algum lugar?

PS. A biblioteca tem um conceito de expressões RE "gananciosas".

PS. É fácil obter um resultado esperado: ((psym $ not . isSpace) *> (few anySym <> " adapter ")) *> some anySym (ou seja, substituir $>por *>)

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

Se eu tiver uma função funcomo:

-- 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 ...

e então eu chamo funem lugares diferentes no meu programa, o código produzido pelo GHC chamará funtodas as vezes ou será substituído por alguma "referência" ao resultado desta função nula (na verdade constante), como os compiladores C fazem com constantes? Algo como "chame pela primeira vez e depois substitua por esse valor em qualquer lugar em qualquer profundidade de aninhamento" (ou o GHC poderia fazer isso mesmo sem chamada), é possível? Preciso de alguns sinalizadores de compilador especiais para isso (eu uso apenas -O2atualmente)?

haskell