forked from ocaml/ocaml.org
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[scrape.yml] New OCaml Planet blog posts and videos from watch.ocaml.org
- Loading branch information
1 parent
8b3e85d
commit 2af732f
Showing
16 changed files
with
2,679 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,12 @@ | ||
| --- | ||
| title: OCaml Weekly News, 02 Jul 2024 | ||
| description: | ||
| url: https://alan.petitepomme.net/cwn/2024.07.02.html | ||
| date: 2024-07-02T12:00:00-00:00 | ||
| preview_image: | ||
| authors: | ||
| - Caml Weekly News | ||
| source: | ||
| --- | ||
|
|
||
| <ol><li><a href="https://alan.petitepomme.net/cwn/2024.07.02.html#1">OCaml Tech Talk | Editor Features</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.02.html#2">New release of Ocsipersist</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.02.html#3">Preview of Godotcaml for the Godot 4.2 Game Engine</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.02.html#4">euler 0.3</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.02.html#5">dune 3.15</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.02.html#6">dune 3.16</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.02.html#7">Other OCaml News</a></li></ol> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,12 @@ | ||
| --- | ||
| title: OCaml Weekly News, 09 Jul 2024 | ||
| description: | ||
| url: https://alan.petitepomme.net/cwn/2024.07.09.html | ||
| date: 2024-07-09T12:00:00-00:00 | ||
| preview_image: | ||
| authors: | ||
| - Caml Weekly News | ||
| source: | ||
| --- | ||
|
|
||
| <ol><li><a href="https://alan.petitepomme.net/cwn/2024.07.09.html#1">The Structure of Godotcaml as of Today, by Matt Walker [Fizzixnerd]</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.09.html#2">opam 2.2.0 is out!</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.09.html#3">OCaml.org Newsletter: June 2024</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.09.html#4">ocaml-libbpf: Libbpf C-bindings for OCaml</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.09.html#5">How I built the Acutis template language in OCaml</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.09.html#6">MirageOS podcast</a></li></ol> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,12 @@ | ||
| --- | ||
| title: OCaml Weekly News, 16 Jul 2024 | ||
| description: | ||
| url: https://alan.petitepomme.net/cwn/2024.07.16.html | ||
| date: 2024-07-16T12:00:00-00:00 | ||
| preview_image: | ||
| authors: | ||
| - Caml Weekly News | ||
| source: | ||
| --- | ||
|
|
||
| <ol><li><a href="https://alan.petitepomme.net/cwn/2024.07.16.html#1">OCaml FFI Sharp Edges and How to Avoid Them</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.16.html#2">Ortac 0.3.0 Dynamic formal verification made easy</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.16.html#3">dream-html and pure-html 3.5.2</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.16.html#4">The OCaml community is signed up for Outreachy!</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.16.html#5">OCaml LSP 1.18.0</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.16.html#6">2nd editor tooling dev-meeting: 25th of July 🧙</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.16.html#7">A (Possibly) Safer Interface to the Ctypes FFI</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.16.html#8">OCaml Workshop 2024 at ICFP -- announcement and call for proposals</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.16.html#9">living 0.1.0</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.16.html#10">Other OCaml News</a></li></ol> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,12 @@ | ||
| --- | ||
| title: OCaml Weekly News, 23 Jul 2024 | ||
| description: | ||
| url: https://alan.petitepomme.net/cwn/2024.07.23.html | ||
| date: 2024-07-23T12:00:00-00:00 | ||
| preview_image: | ||
| authors: | ||
| - Caml Weekly News | ||
| source: | ||
| --- | ||
|
|
||
| <ol><li><a href="https://alan.petitepomme.net/cwn/2024.07.23.html#1">A Tour of the Living Library -- A Safer FFI</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.23.html#2">first release of rpmfile</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.23.html#3">Dune dev meeting</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.23.html#4">Fighting Mutation with Mutation in Living</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.23.html#5">A small extension of Bigarray.Genarray adding iteration, mapping and folding</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.23.html#6">cudajit: Bindings to the ~cuda~ and ~nvrtc~ libraries</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.23.html#7">Rpmfile 0.2.0 - changelog</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.23.html#8">Exploring the Docusaurus+Odoc combo</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.23.html#9">Mopsa 1.0 -- Modular Open Platform for Static Analysis</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.23.html#10">OCaml 5 performance</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.23.html#11">Other OCaml News</a></li></ol> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,12 @@ | ||
| --- | ||
| title: OCaml Weekly News, 30 Jul 2024 | ||
| description: | ||
| url: https://alan.petitepomme.net/cwn/2024.07.30.html | ||
| date: 2024-07-30T12:00:00-00:00 | ||
| preview_image: | ||
| authors: | ||
| - Caml Weekly News | ||
| source: | ||
| --- | ||
|
|
||
| <ol><li><a href="https://alan.petitepomme.net/cwn/2024.07.30.html#1">.mlx syntax dialect</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.30.html#2">heml, a HEEx-inspired HTML templating ppx for OCaml</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.30.html#3">Forester 4.2</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.30.html#4">First Robotics and OCaml - Do you know any local teams?</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.30.html#5">2nd editor tooling dev-meeting: 25th of July 🧙</a></li><li><a href="https://alan.petitepomme.net/cwn/2024.07.30.html#6">Other OCaml News</a></li></ol> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,90 @@ | ||
| --- | ||
| title: Introducing tree-sitter-dune | ||
| description: | ||
| url: http://blog.emillon.org/posts/2024-07-26-introducing-tree-sitter-dune.html | ||
| date: 2024-07-26T00:00:00-00:00 | ||
| preview_image: | ||
| authors: | ||
| - Etienne Millon | ||
| source: | ||
| --- | ||
|
|
||
| <p>I made a <a href="https://tree-sitter.github.io/tree-sitter/">tree-sitter</a> plugin for | ||
| <code>dune</code> files. It is available <a href="https://github.com/emillon/tree-sitter-dune">on | ||
| GitHub</a>.</p> | ||
| <p>Tree-sitter is a parsing system that can be used in text editors. | ||
| <a href="https://dune.build/">Dune</a> is a build system for OCaml projects. | ||
| Its configuration language lives in <code>dune</code> files which use a s-expression | ||
| syntax.</p> | ||
| <p>This makes highlighting challenging: the lexing part of the language is very | ||
| simple (atoms, strings, parentheses), but it is not enough to make a good | ||
| highlighter.</p> | ||
| <p>In the following example, <code>with-stdout-to</code> and <code>echo</code> are “actions” that we | ||
| could highlight in a special way, but these names can also appear in places | ||
| where they are not interpreted as actions, and doing so would be confusing (for | ||
| example, we could write to a file named <code>echo</code> instead of <code>foo.txt</code>.</p> | ||
| <div class="sourceCode"><pre class="sourceCode scheme"><code class="sourceCode scheme"><span><a href="http://blog.emillon.org/feeds/ocaml.xml#cb1-1" aria-hidden="true" tabindex="-1"></a>(rule</span> | ||
| <span><a href="http://blog.emillon.org/feeds/ocaml.xml#cb1-2" aria-hidden="true" tabindex="-1"></a> (action</span> | ||
| <span><a href="http://blog.emillon.org/feeds/ocaml.xml#cb1-3" aria-hidden="true" tabindex="-1"></a> (with-stdout-to</span> | ||
| <span><a href="http://blog.emillon.org/feeds/ocaml.xml#cb1-4" aria-hidden="true" tabindex="-1"></a> foo.txt</span> | ||
| <span><a href="http://blog.emillon.org/feeds/ocaml.xml#cb1-5" aria-hidden="true" tabindex="-1"></a> (echo <span class="st">"testing"</span>))))</span></code></pre></div> | ||
| <p>Tree-sitter solves this, because it creates an actual parser that goes beyond | ||
| lexing.</p> | ||
| <p>In this example, I created grammar rules that parse the contents of <code>(action ...)</code> as an action, recognizing the various constructs of this DSL.</p> | ||
| <p>The output of the parser is this syntax tree with location information (for | ||
| some reason, line numbers start at 0 which is normal and unusual at the same | ||
| time).</p> | ||
| <pre><code>(source_file [0, 0] - [5, 0] | ||
| (stanza [0, 0] - [4, 22] | ||
| (stanza_name [0, 1] - [0, 5]) | ||
| (field_name [1, 2] - [1, 8]) | ||
| (action [2, 2] - [4, 20] | ||
| (action_name [2, 3] - [2, 17]) | ||
| (file_name_target [3, 3] - [3, 10] | ||
| (file_name [3, 3] - [3, 10])) | ||
| (action [4, 3] - [4, 19] | ||
| (action_name [4, 4] - [4, 8]) | ||
| (quoted_string [4, 9] - [4, 18])))))</code></pre> | ||
| <p>The various strings are annotated with their type: we have stanza names | ||
| (<code>rule</code>), field names (<code>action</code>), action names (<code>with-stdout-to</code>, <code>echo</code>), file | ||
| names (<code>foo.txt</code>), and plain strings (<code>"testing"</code>).</p> | ||
| <p>By itself, that is not useful, but it’s possible to write <em>queries</em> to make | ||
| this syntax tree do interesting stuff.</p> | ||
| <p>The first one is highlighting: we can set styles for various “patterns” (in | ||
| practice, I only used node names) by defining queries:</p> | ||
| <div class="sourceCode"><pre class="sourceCode scheme"><code class="sourceCode scheme"><span><a href="http://blog.emillon.org/feeds/ocaml.xml#cb3-1" aria-hidden="true" tabindex="-1"></a>(stanza_name) @function</span> | ||
| <span><a href="http://blog.emillon.org/feeds/ocaml.xml#cb3-2" aria-hidden="true" tabindex="-1"></a>(field_name) @property</span> | ||
| <span><a href="http://blog.emillon.org/feeds/ocaml.xml#cb3-3" aria-hidden="true" tabindex="-1"></a>(quoted_string) @string</span> | ||
| <span><a href="http://blog.emillon.org/feeds/ocaml.xml#cb3-4" aria-hidden="true" tabindex="-1"></a>(multiline_string) @string</span> | ||
| <span><a href="http://blog.emillon.org/feeds/ocaml.xml#cb3-5" aria-hidden="true" tabindex="-1"></a>(action_name) @keyword</span></code></pre></div> | ||
| <p>The parts with <code>@</code> map to “highlight groups” used in text editors.</p> | ||
| <p>Another type of query is called “injections”. It is used to link different | ||
| types of grammars together. For example, <code>dune</code> files can start with a special | ||
| comment that indicates that the rest of the file is an OCaml program. In that | ||
| case, the parser emits a single <code>ocaml_syntax</code> node and the following injection | ||
| indicates that this file should be parsed using an OCaml parser:</p> | ||
| <div class="sourceCode"><pre class="sourceCode scheme"><code class="sourceCode scheme"><span><a href="http://blog.emillon.org/feeds/ocaml.xml#cb4-1" aria-hidden="true" tabindex="-1"></a>((ocaml_syntax) @injection.content</span> | ||
| <span><a href="http://blog.emillon.org/feeds/ocaml.xml#cb4-2" aria-hidden="true" tabindex="-1"></a> (#<span class="kw">set!</span> injection.language <span class="st">"ocaml"</span>))</span></code></pre></div> | ||
| <p>Another use case for this is <code>system</code> actions: these strings in <code>dune</code> files | ||
| could be interpreted using a shell parser.</p> | ||
| <p>In the other direction, it is possible to inject <code>dune</code> files into another | ||
| document. For example, a markdown parser can use injections to highlight code | ||
| blocks.</p> | ||
| <p>I’m happy to have explored this technology. The toolchain seemed complex at | ||
| first: there’s a compiler which seems to be a mix of node and rust, which | ||
| generates C, which is compiled into a dynamically loaded library; but this is | ||
| actually pretty well integrated in nix and neovim to the details are made | ||
| invisible.</p> | ||
| <p>The testing mechanism is similar to the cram tests we use in Dune, but I was a | ||
| bit confused with the colors at first: when the output of a test changes, Dune | ||
| considers that the new output is a <code>+</code> in the diff, and highlights it in green; | ||
| while tree-sitter considers that the “expected output” is green.</p> | ||
| <p>There are many ways to improve this prototype: either by adding queries (it’s | ||
| possible to define text objects, folding expressions, etc), or by improving | ||
| coverage for <code>dune</code> files (in most cases, the parser uses a s-expression | ||
| fallback). I’m also curious to see if it’s possible to use this parser to | ||
| provide a completion source. Since the strings are tagged with their type (are | ||
| we expecting a library name, a module name, etc), I think we could use that to | ||
| provide context-specific completions, but that’s probably difficult to do.</p> | ||
| <p>Thanks <a href="https://x.com/teej_dv">teej</a> for the initial idea and the useful | ||
| resources.</p> |
Oops, something went wrong.