らりお (進捗垢) さんがブースト

フリーソフトウェアなエディターってどんなのがあるのかしら。Emacsしか知らない。

であれば、処理系に意味解析でエラーを出すか決めさせるべきで、パーサ自体は BracedURILiteral で打倒な URI / IRI を使っているかの検証は避けるのが都合が良いか

スレッドを表示

XML Path Language (XPath) 3.1
w3.org/TR/2017/REC-xpath-31-20

> XPath 3.1 requires a statically known, valid URI in a BracedURILiteral. An implementation may raise a static error [err:XQST0046] if the value of a Braced URI Literal is of nonzero length and is neither an absolute URI nor a relative URI.

スレッドを表示

w3.org/TR/2017/REC-xpath-31-20

このエラーはたぶん基本的には `xml` と w3 .org/2000/xmlns/ の名前空間は必ず互いだけに関連付けられているべきみたいな話なんだけど、 URIQualifiedName 中に出現する w3 .org/2000/xmlns/ はこれに反しているのか?そうは思えないんだけど

スレッドを表示

あと

> It is a static error [err:XQST0070] if the namespace URI for an EQName is `w3.org/2000/xmlns/`.

というのも地味に気になっている

スレッドを表示

W3C XML Schema Definition Language (XSD) 1.1 Part 2: Datatypes
w3.org/TR/xmlschema11-2/#anyUR

ふーむ……将来的に URI / IRI 関係の規格が更新される可能性を考えると、パーサは URIQualifiedName の URI が RFC 3986 / 3987 の意味で valid かどうかを検証せずユーザに任せた方がいいのか?

らりお (進捗垢) さんがブースト

Tracking Issue for RFC 2959: Promote aarch64-unknown-linux-gnu to a Tier-1 Rust target · Issue #78251 · rust-lang/rust
github.com/rust-lang/rust/issu

64bit ARM ターゲットが tier 1 サポートに格上げされるらしい🎉

timothee-haudebourg/json-ld: JSON-LD implementation for Rust
github.com/timothee-haudebourg

なんかいつの間にかかなり使いやすそうな感じになってるな……

型推論でイテレータの吐く型 T が一致するまで trait 実装が掘り下げられて、一致したところで今度は Depth が () に設定されて逆向きに辻褄合わせのネストが発生する……

スレッドを表示

datetime-string - crates.io: Rust Package Registry
crates.io/crates/datetime-stri

Released v0.2.1 🎉

chrono integration is added.

> At the same time, ISRG engineers will add support for Rustls as a TLS back-end for curl.

スレッドを表示

Memory Safe ‘curl’ for a More Secure Internet - Internet Security Research Group
abetterinternet.org/post/memor

> ISRG is funding Daniel to work on adding support for Hyper as an HTTP back-end for curl. Hyper is a fast and safe HTTP implementation written in Rust.

ワォ

古いものから表示
Mastodon

Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。