Language Server pro WooWoo dokumenty

Abstract

Tato diplomová práce vylepšuje proces tvorby obsahu v jazyce WooWoo, který je hojně využíván na Fakultě informačních technologií ČVUT ke tvorbě matematických studijních materiálů. Práce poskytuje ucelený přehled historie, vize, syntaxe a sémantiky jazyka WooWoo a zavádí koncept "WooWoo dialektů"--klíčovou abstrakci pro vývoj jazykových nástrojů pro WooWoo, při zachování jeho doménově agnostické povahy. Hlavním přínosem této práce je návrh a implementace jazykového serveru pro WooWoo, který implementuje protokol Language Server Protocol (LSP) a zahrnuje Tree-sitter gramatiku, tvořící základ pro efektivní parser. Vytvořený jazykový server nabízí několik funkcí, včetně detekce syntaktických chyb, auto-doplnění a funkce přechodu k definici. Práce dále podrobně popisuje integraci jazykového serveru do rozšíření pro Visual Studio Code a jeho distribuci na populárních platformách, což zajišťuje snadnou dostupnost a instalaci. V době zveřejnění této práce jsou již tyto nástroje aktivně využívány autory ve WooWoo.

This thesis enhances the authoring experience for the WooWoo language, extensively used at the Faculty of Information Technology at CTU to create mathematical study materials. It offers a comprehensive exploration of WooWoo's history, vision, syntax, and semantics, and introduces the concept of 'WooWoo Dialects'--a crucial abstraction for developing language tools for WooWoo while preserving its domain-agnostic nature. The core contribution of this work is the design and implementation of a Language Server Protocol (LSP) developed specifically for WooWoo, featuring a Tree-sitter grammar that underpins an efficient parser. This Language Server is equipped with several features, including syntax error detection, auto-completion, and go-to-definition. Furthermore, the thesis details the integration of the Language Server into a Visual Studio Code extension and its deployment on popular marketplaces, ensuring easy accessibility and installation. As of the publication of this thesis, the developed tools are already being actively used by WooWoo authors.