@fraczak/k 5.1.2 → 6.0.1

package/DOCS/book.html

@@ -0,0 +1,65 @@
+<div data-align="center">
+<pre><code>      { }                         { }
+     /   \       {.lang name}      |
+   lang   by          --&gt;         name
+    |      |                       |
+   &#39;k&#39;  &#39;wojtek&#39;                  &#39;k&#39;</code></pre>
+</div>
+<h1 id="the-k-language-book">The k-language Book</h1>
+<p>This book describes the k programming language - a minimal functional
+language for transforming tree-structured data using partial functions
+and algebraic data types.</p>
+<h2 id="table-of-contents">Table of Contents</h2>
+<ol type="1">
+<li><a href="book/01-introduction.md">Introduction</a></li>
+<li><a href="book/02-syntax-and-values.md">Syntax and Values</a><br />
+</li>
+<li><a href="book/03-types-as-finite-automata.md">Types as Finite
+Automata</a></li>
+<li><a href="book/04-partial-functions-and-composition.md">Partial
+Functions and Composition</a></li>
+<li><a href="book/05-typing-filters-and-normalization.md">Typing,
+Filters, and Normalization</a></li>
+<li><a href="book/06-values-in-memory.md">Values in Memory</a></li>
+<li><a href="book/07-the-partial-function-abi.md">The Partial Function
+ABI</a></li>
+<li><a href="book/08-operational-semantics-and-execution.md">Operational
+Semantics and Execution</a></li>
+<li><a href="book/09-compiler-architecture.md">Compiler
+Architecture</a></li>
+<li><a href="book/10-from-ast-to-intermediate-representation.md">From
+AST to Intermediate Representation</a></li>
+<li><a href="book/11-llvm-basics.md">LLVM Basics</a></li>
+<li><a href="book/12-code-generation.md">Code Generation</a></li>
+<li><a href="book/13-linking-and-execution.md">Linking and
+Execution</a></li>
+<li><a href="book/14-canonical-serialization.md">Canonical
+Serialization</a></li>
+<li><a href="book/15-optimization-and-folding.md">Optimization and
+Folding</a></li>
+<li><a href="book/16-toward-a-universal-schema-registry.md">Toward a
+Universal Schema Registry</a></li>
+</ol>
+<h2 id="appendices">Appendices</h2>
+<ul>
+<li><a
+href="book/appendix-a-implementing-a-prototype-compiler-in-python.md">Appendix
+A: Implementing a Prototype Compiler in Python</a></li>
+<li><a
+href="book/appendix-b-incorporating-external-predefined-types-and-functions.md">Appendix
+B: Incorporating External Predefined Types and Functions</a></li>
+</ul>
+<hr />
+<p><em>Note: This is the master file. Individual chapters are stored in
+the <code>book/</code> directory for easier editing and maintenance.
+Each chapter can be edited independently and the changes will be
+reflected when the individual files are viewed.</em></p>
+<h2 id="usage">Usage</h2>
+<ul>
+<li><strong>For reading</strong>: Click on any chapter link above to
+read individual chapters</li>
+<li><strong>For editing</strong>: Edit the individual chapter files in
+the <code>book/</code> directory</li>
+<li><strong>For publishing</strong>: Combine chapters as needed for
+different output formats</li>
+</ul>

package/DOCS/book.md

@@ -0,0 +1,54 @@
+---
+title: "k-language"
+author: "W. Fraczak"
+---
+
+<div align="center">
+
+```
+      { }                         { }
+     /   \       {.lang name}      |
+   lang   by          -->         name
+    |      |                       |
+   'k'  'wojtek'                  'k'
+```
+
+</div>
+
+# The k-language Book
+
+This book describes the k programming language - a minimal functional language for transforming tree-structured data using partial functions and algebraic data types.
+
+## Table of Contents
+
+1. [Introduction](book/01-introduction.md)
+2. [Syntax and Values](book/02-syntax-and-values.md)  
+3. [Types as Finite Automata](book/03-types-as-finite-automata.md)
+4. [Partial Functions and Composition](book/04-partial-functions-and-composition.md)
+5. [Typing, Filters, and Normalization](book/05-typing-filters-and-normalization.md)
+6. [Values in Memory](book/06-values-in-memory.md)
+7. [The Partial Function ABI](book/07-the-partial-function-abi.md)
+8. [Operational Semantics and Execution](book/08-operational-semantics-and-execution.md)
+9. [Compiler Architecture](book/09-compiler-architecture.md)
+10. [From AST to Intermediate Representation](book/10-from-ast-to-intermediate-representation.md)
+11. [LLVM Basics](book/11-llvm-basics.md)
+12. [Code Generation](book/12-code-generation.md)
+13. [Linking and Execution](book/13-linking-and-execution.md)
+14. [Canonical Serialization](book/14-canonical-serialization.md)
+15. [Optimization and Folding](book/15-optimization-and-folding.md)
+16. [Toward a Universal Schema Registry](book/16-toward-a-universal-schema-registry.md)
+
+## Appendices
+
+- [Appendix A: Implementing a Prototype Compiler in Python](book/appendix-a-implementing-a-prototype-compiler-in-python.md)
+- [Appendix B: Incorporating External Predefined Types and Functions](book/appendix-b-incorporating-external-predefined-types-and-functions.md)
+
+---
+
+*Note: This is the master file. Individual chapters are stored in the `book/` directory for easier editing and maintenance. Each chapter can be edited independently and the changes will be reflected when the individual files are viewed.*
+
+## Usage
+
+- **For reading**: Click on any chapter link above to read individual chapters
+- **For editing**: Edit the individual chapter files in the `book/` directory
+- **For publishing**: Combine chapters as needed for different output formats

package/DOCS/book.tex

@@ -0,0 +1,150 @@
+% Options for packages loaded elsewhere
+\PassOptionsToPackage{unicode}{hyperref}
+\PassOptionsToPackage{hyphens}{url}
+\documentclass[
+]{article}
+\usepackage{xcolor}
+\usepackage{amsmath,amssymb}
+\setcounter{secnumdepth}{-\maxdimen} % remove section numbering
+\usepackage{iftex}
+\ifPDFTeX
+  \usepackage[T1]{fontenc}
+  \usepackage[utf8]{inputenc}
+  \usepackage{textcomp} % provide euro and other symbols
+\else % if luatex or xetex
+  \usepackage{unicode-math} % this also loads fontspec
+  \defaultfontfeatures{Scale=MatchLowercase}
+  \defaultfontfeatures[\rmfamily]{Ligatures=TeX,Scale=1}
+\fi
+\usepackage{lmodern}
+\ifPDFTeX\else
+  % xetex/luatex font selection
+\fi
+% Use upquote if available, for straight quotes in verbatim environments
+\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
+\IfFileExists{microtype.sty}{% use microtype if available
+  \usepackage[]{microtype}
+  \UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts
+}{}
+\makeatletter
+\@ifundefined{KOMAClassName}{% if non-KOMA class
+  \IfFileExists{parskip.sty}{%
+    \usepackage{parskip}
+  }{% else
+    \setlength{\parindent}{0pt}
+    \setlength{\parskip}{6pt plus 2pt minus 1pt}}
+}{% if KOMA class
+  \KOMAoptions{parskip=half}}
+\makeatother
+\setlength{\emergencystretch}{3em} % prevent overfull lines
+\providecommand{\tightlist}{%
+  \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
+\usepackage{bookmark}
+\IfFileExists{xurl.sty}{\usepackage{xurl}}{} % add URL line breaks if available
+\urlstyle{same}
+\hypersetup{
+  pdftitle={k-language},
+  pdfauthor={W. Fraczak},
+  hidelinks,
+  pdfcreator={LaTeX via pandoc}}
+
+\title{k-language}
+\author{W. Fraczak}
+\date{}
+
+\begin{document}
+\maketitle
+
+\begin{verbatim}
+      { }                         { }
+     /   \       {.lang name}      |
+   lang   by          -->         name
+    |      |                       |
+   'k'  'wojtek'                  'k'
+\end{verbatim}
+
+\section{The k-language Book}\label{the-k-language-book}
+
+This book describes the k programming language - a minimal functional
+language for transforming tree-structured data using partial functions
+and algebraic data types.
+
+\subsection{Table of Contents}\label{table-of-contents}
+
+\begin{enumerate}
+\def\labelenumi{\arabic{enumi}.}
+\tightlist
+\item
+  \href{book/01-introduction.md}{Introduction}
+\item
+  \href{book/02-syntax-and-values.md}{Syntax and Values}\\
+\item
+  \href{book/03-types-as-finite-automata.md}{Types as Finite Automata}
+\item
+  \href{book/04-partial-functions-and-composition.md}{Partial Functions
+  and Composition}
+\item
+  \href{book/05-typing-filters-and-normalization.md}{Typing, Filters,
+  and Normalization}
+\item
+  \href{book/06-values-in-memory.md}{Values in Memory}
+\item
+  \href{book/07-the-partial-function-abi.md}{The Partial Function ABI}
+\item
+  \href{book/08-operational-semantics-and-execution.md}{Operational
+  Semantics and Execution}
+\item
+  \href{book/09-compiler-architecture.md}{Compiler Architecture}
+\item
+  \href{book/10-from-ast-to-intermediate-representation.md}{From AST to
+  Intermediate Representation}
+\item
+  \href{book/11-llvm-basics.md}{LLVM Basics}
+\item
+  \href{book/12-code-generation.md}{Code Generation}
+\item
+  \href{book/13-linking-and-execution.md}{Linking and Execution}
+\item
+  \href{book/14-canonical-serialization.md}{Canonical Serialization}
+\item
+  \href{book/15-optimization-and-folding.md}{Optimization and Folding}
+\item
+  \href{book/16-toward-a-universal-schema-registry.md}{Toward a
+  Universal Schema Registry}
+\end{enumerate}
+
+\subsection{Appendices}\label{appendices}
+
+\begin{itemize}
+\tightlist
+\item
+  \href{book/appendix-a-implementing-a-prototype-compiler-in-python.md}{Appendix
+  A: Implementing a Prototype Compiler in Python}
+\item
+  \href{book/appendix-b-incorporating-external-predefined-types-and-functions.md}{Appendix
+  B: Incorporating External Predefined Types and Functions}
+\end{itemize}
+
+\begin{center}\rule{0.5\linewidth}{0.5pt}\end{center}
+
+\emph{Note: This is the master file. Individual chapters are stored in
+the \texttt{book/} directory for easier editing and maintenance. Each
+chapter can be edited independently and the changes will be reflected
+when the individual files are viewed.}
+
+\subsection{Usage}\label{usage}
+
+\begin{itemize}
+\tightlist
+\item
+  \textbf{For reading}: Click on any chapter link above to read
+  individual chapters
+\item
+  \textbf{For editing}: Edit the individual chapter files in the
+  \texttt{book/} directory
+\item
+  \textbf{For publishing}: Combine chapters as needed for different
+  output formats
+\end{itemize}
+
+\end{document}