diff --git a/.gitignore b/.gitignore index 6098942..a38adbe 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ node_modules static/css +static/learn diff --git a/md/learn/index.md b/md/learn/index.md index 0875631..7b95447 100644 --- a/md/learn/index.md +++ b/md/learn/index.md @@ -2,10 +2,39 @@ Welcome to the documentation of the THP programming languague. +THP is a new programming language that compiles to PHP. + ## Goals +- Bring static typing to PHP: Not just type hints, not use `mixed` for everything + that isn't a primitive type. +- Avoid automatic type conversion. +- Remove the inconsistencies in the language. +- Organize the stdlib. +- Differentiate between Arrays, Tuples, Maps and Sets. +- Create a **consistent** language. +- Create typings for popular libraries (like TS's `.d.ts`). +- Have a simple instalation and configuration (requiring just Composer). +- Ship a fast, native binary (not written in PHP). +- Sub 10ms watch mode. +- Support in-place compilation. +- Emit readable PHP code (but not meant to be edited). +- Implement a LSP server. + + +## Not goals + +These are **not** aspects that THP looks to solve or implement. + +- Be what TypeScript is for JavaScript. +- Use PHP syntax/conventions. +- + + ## Philosophy + + ## Compared to PHP ### Differences diff --git a/static/index.html b/static/index.html index bf223b0..119e39e 100644 --- a/static/index.html +++ b/static/index.html @@ -11,7 +11,7 @@ - +
diff --git a/static/template.html b/static/template.html index df46ee8..a6bd089 100644 --- a/static/template.html +++ b/static/template.html @@ -12,7 +12,7 @@ - +
diff --git a/tailwind.config.js b/tailwind.config.js index d1d4c12..c70655b 100644 --- a/tailwind.config.js +++ b/tailwind.config.js @@ -16,8 +16,8 @@ module.exports = { }, fontFamily: { "mono": ["Inconsolata", "Iosevka", "monospace"], - "display": ["'Fugaz One'", "Inter", "'Fira Sans Extra Condensed'", "sans-serif"], - "body": ["'Fira Sans Extra Condensed'", "Inter", "sans-serif"], + "display": ["'Fugaz One'", "Inter", "'Fira Sans Condensed'", "sans-serif"], + "body": ["'Fira Sans Condensed'", "Inter", "sans-serif"], }, }, plugins: [], diff --git a/tailwind.css b/tailwind.css index ff5b1be..1c5d8f5 100644 --- a/tailwind.css +++ b/tailwind.css @@ -27,7 +27,7 @@ } body { - font-family: 'Fira Sans Extra Condensed', Inter, sans-serif; + font-family: 'Fira Sans Condensed', Inter, sans-serif; } pre, code {