сейчас большинство одноплатников на 32бите

ну без танцев с бубном можно 1.3.1 поставить еще

Какие есть библиотеки для парсинга HTML?

Cascadia + Gumbo

Ну и опционально можно ещё Underscores.jl добавить, потому что пайпы удобно писать когда обрабатываешь htlml.

Спасибо 🙂

У меня обычно как-то так выглядит:

using Gumbo
using Cascadia
using Cascadia: matchFirst
using UrlDownload
using Underscores

pageparser(x) = parsehtml(String(x))
page = urldownload("http://example.com", parser = pageparser)
pics_page = @_ eachmatch(sel"div.wpagination", page.root) |> first |>
    eachmatch(sel"div.number", __) |> last |> nodeText |>
    parse(Int, __) |> rand(2:__) |> seed.url * "/page-" * string(__) |>
    urldownload(__, parser = pageparser)

Урл разумеется не example.com

Что если у меня разные по смыслу переменные одного и того же числового типа (скажем, Int32) надо диспатчить по-разному? Нужно делать для них тип-обертку от Int32?

Val?

Не по значению, а просто есть два разных параметра одного типа

ну в смысле foo = 1, bar = 2, при этом они одного типа Int

но надо различать fcn(foo) и fcn(bar) - делать разные методы, но это нельзя, т.к. у них одинаковая сигнатура fcn(::Int)

Ну вот как-то так можно (не знаю, насколько это отвечает на вопрос)

julia> function f(::Val{:foo}, x)
           return x
       end
f (generic function with 1 method)

julia> function f(::Val{:bar}, x)
           return x*x
       end
f (generic function with 2 methods)

julia> foo = 1
1
julia> bar = 2
2
julia> f(Val{:foo}(), foo)
1
julia> f(Val{:bar}(), bar)
4

Ну или можно диспатчи не мучать, а просто if ами разводить разные варианты.

Если их ограниченное количество.

я думал ввести обертку типа struct Foo parent::Int end

Можно с параметрическими типами поиграться

julia> struct Container{T}
           x::Int
       end

julia> f(x::Container{Val{:foo}}) = x.x
f (generic function with 1 method)

julia> f(x::Container{Val{:bar}}) = x.x^2
f (generic function with 2 methods)

julia> Container(name, x) = Container{Val{name}}(x)
Container

julia> foo = Container(:foo, 1)
Container{Val{:foo}}(1)

julia> bar = Container(:bar, 2)
Container{Val{:bar}}(2)

julia> f(foo)
1

julia> f(bar)
4

можно просто Container{:foo}, тут Val не нужен

А symbol является типом сам по себе?