Hacker Newsnew | past | comments | ask | show | jobs | submit | utfeight's commentslogin

Thank you for your opinion.

I know that you can generate IR using LLVM tools (clang, rust, zig etc.) but the "well-known" languages generally restrict you with some:

    - Static & Dynamic Typed Languages (which makes it almost impossible [0])
    - Philosophies: e.g some languages embrace OOP-like systems for their general program design philosophy while others may not
    - These two are some of the cavities in my mind but simple primitive types wouldn't be that hard I think
Even If It's just primitive types I think this can be a tool for automatic configration wrapper which would help a lot when integrating a new language to a program (e.g lua for neovim & awesomewm)

--------------

[0]: I'm thinking some run-time checked generic type implementation but I need to figure A LOT for this. (something like rust's dynamic dispatch but more enhancable?) (maybe an enum for all edge cases? like Function, Struct, Class ...)


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: