这个问题导致了 F# 3.0 中流和类型独立的、非线性的、可扩展的 parsec 实现——受 FParsec 的启发，从 Chars 和线性流中解放出来并简化:http://corsis.github.com/XParsec/
1 = < font=?'Bold' bbox=F'l ..' s > ; < ~s >*
2 = < font=!'Bold' bbox=F'l ..' s=?'(' > | [ 1.l < 2.l ] ; < ~s >*
3 = < font=!'Bold' bbox=F'l ..' s=?')' > | [ 1.l < 3.l ]
在哪里
element names are left unspecified
font, bbox and s are attributes
V = string, N = string
? :: V -> bool -- value contains string
! :: V -> bool = not . (?) -- value does not contain string
~ :: N -> bool -- value of attribute N is empty or whitespace
F :: V -> [(N, float)] -- extracts a list of named floats from value
RM :: V -> bool -- value matches regular expression
[] :: [bool] -- list of conditions
open System.Xml.Linq
open System.Collections.Generic
let inline (-?-) a b = (a : string).Contains b
let inline (~~) s = s |> String.IsNullOrWhiteSpace
let inline (!>) x = ( ^a : (static member op_Implicit : ^b -> ^a) x )
let inline (@) (x : XElement) n = let a = x.Attribute(!> n) in if a <> null then a.Value else String.Empty
let inline (@<) (x : XElement) n v = x.SetAttributeValue(!> n, v)
type XE = XElement IEnumerator
let inline bbox e = (e @ "bbox") |> fun s -> s.Split [| ' ' |] |> Seq.map float |> Seq.toList
let inline left bbox = match bbox with l::_ -> l | _ -> nan
let mark n = let id = Guid.NewGuid() in Seq.iter <| fun e -> e @< "class-" + n <| id
let speaker (n : XE) =
let c1 = n.Current
if c1 @? "font" <| "Bold"
then let l1 = c1 |> bbox |> left
while n.MoveNext() && ~~(n.Current @ "s") do ()
let c2 = n.Current
if (c2 @ "font") -?- "Bold" |> not
then let l2 = c2 |> bbox |> left
if l1 < l2
then let s2 = c2 @ "s"
if s2 -?- "("
then if s2 -?- ")"
then [c1; c2] |> mark "speaker"
while n.MoveNext() && ~~(n.Current @ "s") do ()
let c3 = n.Current
if (c3 @ "font") -?- "Bold" |> not
then let l3 = c3 |> bbox |> left
if l1 < l3
then if (c3 @ "s") -?- ")"
then [c1; c2; c3] |> mark "speaker"
let test (x : XElement) =
let spans = x.Descendants(!> "span") |> Seq.toArray
for i = 29 to spans.Length - 1 do
let n = (spans |> Seq.skip i).GetEnumerator()
n.MoveNext() |> ignore
speaker n
<doc>
<block bbox="63.2999 550.846 246.865 561.875">
<line bbox="63.2999 550.846 246.865 561.875">
<span bbox="63.2999 550.846 189.001 561.875" font="TimesNewRoman,Bold" size="9.96" s="Dr. Frank-Walter Steinmeier " />
<span bbox="189 550.846 246.865 561.875" font="TimesNewRoman" size="9.96" s="(SPD) . . . . . ." />
</line>
</block>
<block bbox="63.2999 567.766 246.875 578.796">
<line bbox="63.2999 567.766 246.875 578.796">
<span bbox="63.2999 567.766 136.004 578.796" font="TimesNewRoman,Bold" size="9.96" s="Rainer Brüderle " />
<span bbox="136.02 567.766 246.875 578.796" font="TimesNewRoman" size="9.96" s="(FDP) . . . . . . . . . . . . . . . . ." />
</line>
</block>
<block bbox="63.2999 584.626 250.351 651.456">
<line bbox="63.2999 584.626 246.826 595.656">
<span bbox="63.2999 584.626 152.105 595.656" font="TimesNewRoman,Bold" size="9.96" s="Sahra Wagenknecht " />
<span bbox="152.16 584.626 246.826 595.656" font="TimesNewRoman" size="9.96" s="(DIE LINKE) . . . . . . ." />
</line>
<line bbox="63.2999 600.362 250.351 613.34">
<span bbox="63.2999 601.546 139.327 612.576" font="TimesNewRoman,Bold" size="9.96" s="Siegfried Kauder " />
<span bbox="139.38 601.546 247.762 612.576" font="TimesNewRoman" size="9.96" s="(Villingen-Schwenningen) " />
<span bbox="247.861 600.362 250.351 613.34" font="Symbol" size="9.96" s=" " />
</line>
<line bbox="74.6404 612.526 246.911 623.556">
<span bbox="74.6404 612.526 246.911 623.556" font="TimesNewRoman" size="9.96" s="(CDU/CSU) . . . . . . . . . . . . . . . . . . . . . . . ." />
</line>
<line bbox="63.2999 628.202 191.909 641.18">
<span bbox="63.2999 629.386 126.374 640.416" font="TimesNewRoman,Bold" size="9.96" s="Jürgen Trittin " />
<span bbox="126.419 629.386 189.433 640.416" font="TimesNewRoman" size="9.96" s="(BÜNDNIS 90/" />
<span bbox="189.419 628.202 191.909 641.18" font="Symbol" size="9.96" s=" " />
</line>
<line bbox="74.6394 640.426 246.813 651.456">
<span bbox="74.6394 640.426 246.813 651.456" font="TimesNewRoman" size="9.96" s="DIE GRÜNEN) . . . . . . . . . . . . . . . . . . . . ." />
</line>
</block>
</doc>
<doc>
<block>
<line>
<span font="TimesNewRoman,Bold" size="9.96" s="Dr. Frank-Walter Steinmeier " class-speaker="1f2e4dca-80d5-4c5e-91b6-6bd2e4a8acaf" />
<span font="TimesNewRoman" size="9.96" s="(SPD) . . . . . ." class-speaker="1f2e4dca-80d5-4c5e-91b6-6bd2e4a8acaf" />
</line>
</block>
<block>
<line>
<span font="TimesNewRoman,Bold" size="9.96" s="Rainer Brüderle " class-speaker="eaa75d02-0ac6-4480-bcbe-f17bddfe6e81" />
<span font="TimesNewRoman" size="9.96" s="(FDP) . . . . . . . . . . . . . . . . ." class-speaker="eaa75d02-0ac6-4480-bcbe-f17bddfe6e81" />
</line>
</block>
<block>
<line>
<span font="TimesNewRoman,Bold" size="9.96" s="Sahra Wagenknecht " class-speaker="6b193f23-9b8b-4b37-9118-d8488fba25a2" />
<span font="TimesNewRoman" size="9.96" s="(DIE LINKE) . . . . . . ." class-speaker="6b193f23-9b8b-4b37-9118-d8488fba25a2" />
</line>
<line>
<span font="TimesNewRoman,Bold" size="9.96" s="Siegfried Kauder " class-speaker="a0162e4e-1167-412a-ac11-ac13ef1aa46e" />
<span font="TimesNewRoman" size="9.96" s="(Villingen-Schwenningen) " class-speaker="a0162e4e-1167-412a-ac11-ac13ef1aa46e" />
<span font="Symbol" size="9.96" s=" " />
</line>
<line>
<span font="TimesNewRoman" size="9.96" s="(CDU/CSU) . . . . . . . . . . . . . . . . . . . . . . . ." class-speaker="a0162e4e-1167-412a-ac11-ac13ef1aa46e" />
</line>
<line>
<span font="TimesNewRoman,Bold" size="9.96" s="Jürgen Trittin " class-speaker="81fd6735-c57f-464b-a08f-7e7cb3bccfa8" />
<span font="TimesNewRoman" size="9.96" s="(BÜNDNIS 90/" class-speaker="81fd6735-c57f-464b-a08f-7e7cb3bccfa8" />
<span font="Symbol" size="9.96" s=" " />
</line>
<line>
<span font="TimesNewRoman" size="9.96" s="DIE GRÜNEN) . . . . . . . . . . . . . . . . . . . . ." class-speaker="81fd6735-c57f-464b-a08f-7e7cb3bccfa8" />
</line>
</block>
</doc>
为了自动从简洁的模式声明到运行代码，我正在考虑执行以下操作:
但在我做任何事情之前，我想知道:
最佳答案
我不完全确定问题是什么。您是想使用一些现有的 XML 模式匹配语言(如您的示例中所示)，还是一般地询问有关 XML 处理的问题？
LINQ to XML 正如 Jack P. 所说，在 F# 中处理 XML 的最佳选择可能是仅使用标准 Seq 函数。这变得有点长，但它非常可读。
XPath 另一种选择是使用 XPath，这是一种在 XML 中选择节点的非常简洁(并且完全标准)的方法。例如，要选择具有指定属性值的节点，您可以这样写:
#r "System.Xml.Linq"
open System.Xml.Linq
open System.Xml.XPath
let doc = XDocument.Parse("<r><a n=\"f\">foo</a><a n=\"b\">bar</a></r>")
doc.XPathSelectElement("//a[@*='f']").Value
领域特定语言 如果您想编写自己的简洁语言，则不一定要使用自定义解析器等。只需以巧妙的方式使用 F# 运算符，您就可以走得更远.这F# snippet is a great example .你可以这样写:
printfn "Matches: %A" (!/foo/bar/(baz@=true)/quux/= x)
printfn "Doesn't Match: %A" (!/foo/bar/(baz@=false)/quux/= x)
printfn "Values: %A" (!/foo/bar/quux/(baz@=42)/! x)
请注意，模式由 F# 编译器进行类型检查。
关于xml - F# 中的模式匹配 XML，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/12339205/
总的来说，我对ruby还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用
我试图在一个项目中使用rake，如果我把所有东西都放到Rakefile中，它会很大并且很难读取/找到东西，所以我试着将每个命名空间放在lib/rake中它自己的文件中，我添加了这个到我的rake文件的顶部:Dir['#{File.dirname(__FILE__)}/lib/rake/*.rake'].map{|f|requiref}它加载文件没问题，但没有任务。我现在只有一个.rake文件作为测试，名为“servers.rake”，它看起来像这样:namespace:serverdotask:testdoputs"test"endend所以当我运行rakeserver:testid时
作为我的Rails应用程序的一部分，我编写了一个小导入程序，它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是，与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存，我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关，因为当我删除对LDAP内容的调用时，内存使用情况会很好地稳定下来。此外，不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray，它们都是LDAP库的一部分。当我运行导入时，内存使用量最终达到超过1GB的峰值。如果问题存在，我需要找到一些方法来更正我的代
Rails2.3可以选择随时使用RouteSet#add_configuration_file添加更多路由。是否可以在Rails3项目中做同样的事情？ 最佳答案 在config/application.rb中:config.paths.config.routes在Rails3.2(也可能是Rails3.1)中，使用:config.paths["config/routes"] 关于ruby-on-rails-Rails3中的多个路由文件，我们在StackOverflow上找到一个类似的问题
我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co
我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i
我需要从一个View访问多个模型。以前，我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它，但这似乎不是“ruby方式”，我将需要在不久的将来访问更多模型。这可能会变得很脏，是否有针对这种情况的任何技术？注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展，本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向，这似乎很麻烦。最终从任何
我有一个对象has_many应呈现为xml的子对象。这不是问题。我的问题是我创建了一个Hash包含此数据，就像解析器需要它一样。但是rails自动将整个文件包含在.........我需要摆脱type="array"和我该如何处理？我没有在文档中找到任何内容。 最佳答案 我遇到了同样的问题；这是我的XML:我在用这个:entries.to_xml将散列数据转换为XML，但这会将条目的数据包装到中所以我修改了:entries.to_xml(root:"Contacts")但这仍然将转换后的XML包装在“联系人”中，将我的XML代码修改为
我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer
鉴于我有以下迁移:Sequel.migrationdoupdoalter_table:usersdoadd_column:is_admin,:default=>falseend#SequelrunsaDESCRIBEtablestatement,whenthemodelisloaded.#Atthispoint,itdoesnotknowthatusershaveais_adminflag.#Soitfails.@user=User.find(:email=>"admin@fancy-startup.example")@user.is_admin=true@user.save!ende