yubrot/llrl

An experimental Lisp-like programming language

llrl's Issues

Add LLVM-independent backend

• x64 assembler: type-safe encoding utilities
• x64 assembler: type-safe operands
• x64 assembler: type-safe instruction set
• x64 assembler: labels
• ELF writer
• ELF writer + x64 assembler with symbols and relocations
• JIT executor
• chibi backend

Several language improvements

Things missing:

• Type synonyms
• Fundeps or Associated types. I especially want Associated types
• User-defined patterns
• Hygienic macros

etc.

WebAssembly backend

dockerfile

working on building a docker, here is info on docker and LLVM

https://llvm.org/docs/Docker.html

https://github.com/silkeh/docker-clang/blob/master/templates/debian.Dockerfile

https://github.com/llvm/llvm-project/blob/820be30ad96591de2d7e651b3ec9cc0253ca6344/llvm/utils/docker/build_docker_image.sh

I have a question.

Does this product support AVX2 and AVX512?
Or do you have plans to support it in the future?

Add formatter

interop examples

would be nice to show case some of the interop capabilities and advanced things in examples

build instructions Mac

on mac Apple M2/Venture 13.0 I get this, not sure expect to build at all.

error: No suitable version of LLVM was found system-wide or pointed
              to by LLVM_SYS_110_PREFIX.
       
              Consider using `llvmenv` to compile an appropriate copy of LLVM, and
              refer to the llvm-sys documentation for more information.
       
              llvm-sys: https://crates.io/crates/llvm-sys
              llvmenv: https://crates.io/crates/llvmenv
   --> /Users/ben/.cargo/registry/src/github.com-1ecc6299db9ec823/llvm-sys-110.0.1/src/lib.rs:486:1
    |
486 | / std::compile_error!(concat!(
487 | |     "No suitable version of LLVM was found system-wide or pointed
488 | |        to by LLVM_SYS_",
489 | |     env!("CARGO_PKG_VERSION_MAJOR"),
...   |
496 | |        llvmenv: https://crates.io/crates/llvmenv"
497 | | ));
    | |__^

error: could not compile `llvm-sys` due to previous error
warning: build failed, waiting for other jobs to finish...

Debugging capability

Current llrl

• has no stack trace at all
• has no symbol information
• may produce useless positional information at macro expansion error

Add Language Server Protocol support

To support Language Server Protocol, llrl lacks

• Incremental semantic analysis, separate compilation
• Concurrency support
• Standard library features
  • JSON
  • Networks

Probably it is difficult to implement LSP on top of the current llrl compiler architecture.

Add conditional compilation support

To enable to build llrl1 without LLVM or without xten