euclidianAce

Support for numeric/integer enums?

2

Are there any plans to support enums like they are in C/C++/etc where the values are numbers instead of strings? Perhaps when idendifiers instead of strings are used they could...

Generate .d.tl files

7

When writing a module, the only way of including typed files for users to consume is by including the `.tl` files directly. If a `.tl` file is particularly large (like...

API: expose a way to programmatically create a typed environment for tl.load/process/etc.

2

I'm currently working on [my own cli to Teal](https://github.com/euclidianAce/teal-cli) for a few reasons - Implementing some of the ideas expressed in #187 - Having a sort of testing grounds for...

Static assertions, limiting typeargs, and type operations

1

Allowing for static/compile-time assertions could be a naive way to limit typeargs to certain types before introducing subtyping ``` local function partial(f: T, a: any): T !static_assert(f is function) --...

I'm working on some tooling for neovim in the absence of a language server and am using `tl.tl` as an api and am having trouble defining my own types using...

Suggestions for the structure of the project moving forward

1

I thought of some of these ideas while working on the build options (#177) and would like to know your opinions. These are definitely more abstract and long-term oriented goals,...

Having the docs navigable outside of the codebase would be nice.

tree-sitter has changed some of the installation paths

1

Parsers used to be put in `~/.tree-sitter/bin/` but these paths have changed and this needs to be reflected in `ltreesitter.require`

changing `package.path` and `package.cpath` for this feels hacky, so we should provide a nicer way to do this

The current functions we are using to check for indentation have timeouts that actually timeout on large files such as tl.tl We should make some effort to optimize the indent...