@cliffordheath@mastodon.social
Post #2280781
2025-10-29 20:13 UTC
@sminez@hachyderm.io @robpike@hachyderm.io I have a concept beyond structural editing, to that of a lexically typed file system. For a file to be accepted as more than just a byte stream, say as a GIF, it must be verified as conforming to the correct syntax. My pattern matching library can't yet handle arbitrary binary, but I have a plan for that, and I want it to be able to both match and generate arbitrary network protocols too. It uses PEG with no backtracking so doesn't need the Thompson parallelism
Replies (1)
-
@sminez@hachyderm.io 2025-10-29 20:20
@cliffordheath@mastodon.social @robpike@hachyderm.io sounds fun! I'm primarily focused on text editing / searching so that's a little different form what I'm looking at. What sort of pattern matching / extraction are you doing on files like GIFs?