主页 / user-232848

Ev_Hyper's questions

Martin Hope
Ev_Hyper
Asked: 2020-02-13 05:20:29 +0000 UTC
  • 6

对如何获取有关模块包含的功能的信息的问题感兴趣。我想得到类似 FSI 问题的东西。

例如对于以下模块

module Test = 
    let ign _ = ()
    let getNowDateTime() = System.DateTime.Now
    let getNumbers count = [1..count]

FSI 显示此类信息

module Test = begin
  val ign : 'a -> unit
  val getNowDateTime : unit -> System.DateTime
  val getNumbers : count:int -> int list
end

我尝试通过反射获取数据如下

let getInfoAboutModule (t : Type) = 

    let genericToString (t : Type) = 
        match t.GenericTypeArguments with
        | [| |] -> t.FullName
        | x -> 
            x 
            |> Seq.map (fun x -> x.Name)
            |> String.concat "," 
            |> sprintf "%s<%s>" t.Name

    let getInfo (mi:MethodInfo) =
        let parameter = 
            let sb = System.Text.StringBuilder()

            for x in mi.GetParameters() do
                x.ParameterType
                |> genericToString
                |> sprintf "%s : %s ->" x.Name
                |> sb.Append
                |> ignore

            sb.ToString()
            |> fun str -> if str |> System.String.IsNullOrEmpty then "unit -> " else str

        sprintf "%s : %s %s" mi.Name parameter (genericToString mi.ReturnType) 

    t.GetMethods(BindingFlags.Public ||| BindingFlags.Static)
    |> Seq.map getInfo

对于模块，Test结果如下

ign : _arg1 :  -> System.Void
getNowDateTime : unit ->  System.DateTime
getNumbers : count : System.Int32 -> FSharpList`1<Int32>

MCVE (ideone)

但是，当然，通过这种方式我得到的名字与 F# 相去甚远。

PS 您不能向模块添加任何属性，因为 您需要保留从其他程序集的模块中提取数据的能力。

.net
Martin Hope
Ev_Hyper
Asked: 2020-01-06 00:20:25 +0000 UTC
  • 4

需要从某些站点提取信息。为了解析 HTML，我使用F# Data: HTML Parser（HTML Type Provider不幸的是，在这种情况下不适用）。

像这样实现它：

let getNextLink (document : HtmlDocument) = 
    document.Descendants "a"
    |> Seq.choose
        (fun node ->
            match node.TryGetAttribute "href" with
            |Some href when node.InnerText().Trim() = "ключевое слово" -> 
               href.Value() |> Some
            |_ -> None)
    |> Seq.tryHead

let getAllValues start  = 
    let rec loop (pages : string) = seq {
        let result = HtmlDocument.Load pages
        yield 
            result.Descendants "div"
            |> Seq.filter
                (fun node -> 
                    match node.TryGetAttribute "id" with
                    |Some id -> id.Value().StartsWith("текст для проверки")
                    |None -> false)
            |> Seq.map
                (fun node -> node.InnerText())
        let next = getNextLink result
        if next.IsSome then
            yield! loop next.Value

    }
    loop start

let path = "http://адрес.html"

let values =
    getAllValues path
    |> Seq.concat

其余与接收数据的处理有关，与当前问题无关。对正确选择用于解析的库和实现本身感兴趣。

инспекция-кода