Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Administered by:

Server stats:

217
active users

eupolicy.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

#xpath

0 posts0 participants0 posts today
Jan de Muijnck-Hughes<p>Revisiting the idea of 'Shaped Data' using <a href="https://discuss.systems/tags/dependent_types" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dependent_types</span></a> </p><p>The idea being that lots of standards (<a href="https://discuss.systems/tags/RFCs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RFCs</span></a>) are encoded in <a href="https://discuss.systems/tags/XML" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>XML</span></a> for good reason. </p><p>Surprise, surprise:</p><p>What if we assume: <a href="https://discuss.systems/tags/XSD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>XSD</span></a> are <a href="https://discuss.systems/tags/types" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>types</span></a> and XML and <a href="https://discuss.systems/tags/XPath" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>XPath</span></a> are values typed by XSD.</p><p>We can encode that nicely using dependent types so that we can write well-typed queries over well-typed data:</p><p>```<br>query : {ty : Schema n a} -&gt; Query ty -&gt; Data ty -&gt; Maybe (Result ty)<br>```</p><p>Still, there are more things that can be well-typed. For example, I am gearing up to look at getting something like this working:</p><p>```<br>parse : {ty : Schema n a}<br> -&gt; (str : String)<br> -&gt; Rule (Data ty)<br>```</p>
Emmanuel Chateau-Dutier<p>Cool ! une nouvelle implémentation de <a href="https://mamot.fr/tags/XPath" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>XPath</span></a> et <a href="https://mamot.fr/tags/XSLT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>XSLT</span></a> en <a href="https://mamot.fr/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rust</span></a> <a href="https://blog.startifact.com/posts/xee/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">blog.startifact.com/posts/xee/</span><span class="invisible"></span></a></p>
GripNews<p>🌗 祕密網誌 • Xee: 一個現代的Rust XPath和XSLT引擎<br>➤ 對XML技術歷史、XPath、XSLT和現代的Rust Xee引擎的深入探討<br>✤ <a href="https://blog.startifact.com/posts/xee/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">blog.startifact.com/posts/xee/</span><span class="invisible"></span></a><br>近兩年來，作者一直在開發一種名為Xee的Rust程式語言實現，支援現代版本的XPath和XSLT。Xee是一種程式語言實現，成果包含一個命令行工具和一個Rust庫，用於發行XPath查詢和在Rust中發出XPath查詢。文章介紹了Xee的起源、XML技術歷史以及對於XML以及XPath和XSLT在基於開源堆上的現狀和未來的看法。<br>+ 讀完這篇文章後，對於XML技術的演進和Xee的出現更有深入瞭解。<br>+ 文章精簡而清晰地介紹了Xee的背景和價值，對於XML技術愛好者具有啟發性。<br><a href="https://mastodon.social/tags/XML" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>XML</span></a> <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rust</span></a> <a href="https://mastodon.social/tags/XPath" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>XPath</span></a> <a href="https://mastodon.social/tags/lxml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lxml</span></a></p>
GNU/Linux.ch<p>XML Abfragen</p><p>Es gibt viele Möglichkeiten, um XML-Dateien auszulesen und abzufragen. Hier findet ihr eine davon. </p><p><a href="https://social.anoxinon.de/tags/XML" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>XML</span></a> <a href="https://social.anoxinon.de/tags/Query" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Query</span></a> <a href="https://social.anoxinon.de/tags/Abfrage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Abfrage</span></a> <a href="https://social.anoxinon.de/tags/Xpath" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Xpath</span></a> <a href="https://social.anoxinon.de/tags/Xmllint" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Xmllint</span></a> <a href="https://social.anoxinon.de/tags/Linux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Linux</span></a></p><p><a href="https://gnulinux.ch/xml-abfragen" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">gnulinux.ch/xml-abfragen</span><span class="invisible"></span></a></p>
Emmanuel Chateau-Dutier<p>Imaginez si un jour (il y a 20 ans) les développeurs web avaient découverts <a href="https://mamot.fr/tags/XPath" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>XPath</span></a>&nbsp;! "Pour le CSS, :has() a été la nouvelle fonctionnalité CSS préférée, 36% des personnes la classant comme la meilleure. Le deuxième favori est @container avec 17 %, à égalité avec l'imbrication CSS." <a href="https://web.dev/blog/state-of-css-html-2024?hl=fr" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.dev/blog/state-of-css-html</span><span class="invisible">-2024?hl=fr</span></a> <a href="https://mamot.fr/tags/webdesign" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webdesign</span></a></p>
barefootliam<p>XSLT addendum - there are a few places left for an XSLT course on 4th/5th September, aimed at people who have to write or mantain XSLT stylesheets.</p><p><a href="https://www.delightfulcomputing.com/course-xslt-introduction.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">delightfulcomputing.com/course</span><span class="invisible">-xslt-introduction.html</span></a></p><p><a href="https://floss.social/tags/xslt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>xslt</span></a> <a href="https://floss.social/tags/xml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>xml</span></a> <a href="https://floss.social/tags/schematron" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>schematron</span></a> <a href="https://floss.social/tags/onlineCourse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>onlineCourse</span></a> <a href="https://floss.social/tags/liveInstructor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>liveInstructor</span></a> <a href="https://floss.social/tags/xpath" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>xpath</span></a> <a href="https://floss.social/tags/learn" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>learn</span></a> <a href="https://floss.social/tags/lotsOfHashTags" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lotsOfHashTags</span></a> <a href="https://floss.social/tags/delightfulComputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>delightfulComputing</span></a></p>
ExploreLive feeds
About