11–20 of 20 posts
Why is it specific to doom emacs?
How can I use it from stock emacs ?
Note that I added a format-on-save hook in my config, and since I do completions using corfu and not company, I didn't include that part of the package.
git clone https://github.com/tomekw/doom-ada ~/.doom.d/modules/lang/ada
git clone https://github.com/tomekw/doom-ada ~/.doom.d/modules/lang/ada Why don't contribute this to Doom Emacs repo instead? I personally would not enjoy having git submodules in my config repo.
Ada is something I've always wanted to get into (it interests me that there's a low level programming language that came around at the same time as C but just never took off) Ada has a bunch of features built into it already, including concurrency support with tasks [0] I just haven't found the right motivation to figure out what to do with it yet. Maybe I could play around with the Raylib bindings [1] at some point?…
... and of course Ada / SPARK. You can do a lot of checks at compile time, so no performance penalty for any checks whatsoever. It is worth looking into.
And yes, you are right. Ada has concurrency constructs builtin the language that help you avoid dead locks, race conditions and all sorts of concurrency-related issues.
If anyone finds my comment with regarding to it, or may help me find it (there may be a website that could help with that), please let me know. IIRC there is a website for finding comments containing particular words from me, for example.
git clone https://github.com/tomekw/doom-ada ~/.doom.d/modules/lang/ada Why don't contribute this to Doom Emacs repo instead? I personally would not enjoy having git submodules in my config repo.
https://github.com/doomemacs/doomemacs/tree/master/modules/l...
Earlier quoted context omitted.
Nothing specific to Doom Emacs. And that’s great! I just packaged it so it just works! :)
The author/maintainer of doom emacs is amazing but also very nice, I think you should try to open a MR to include your work inside the project, which would make it even smoother to enable and also easier to discover
https://github.com/doomemacs/doomemacs/tree/master/modules/l...
Ada is something I've always wanted to get into (it interests me that there's a low level programming language that came around at the same time as C but just never took off) Ada has a bunch of features built into it already, including concurrency support with tasks [0] I just haven't found the right motivation to figure out what to do with it yet. Maybe I could play around with the Raylib bindings [1] at some point?…
I have left lots of comments about Ada, but I do not have them at hand right now. People should check out Ada's contracts (pre- and post-conditions), and subranges. They are pretty cool. ... and of course Ada / SPARK. You can do a lot of checks at compile time, so no performance penalty for any checks whatsoever. It is worth looking into. And yes, you are right. Ada has concurrency constructs builtin the language tha…
Earlier quoted context omitted.
The author/maintainer of doom emacs is amazing but also very nice, I think you should try to open a MR to include your work inside the project, which would make it even smoother to enable and also easier to discover
It made it upstream! https://github.com/doomemacs/doomemacs/tree/master/modules/l...
Earlier quoted context omitted.
I have left lots of comments about Ada, but I do not have them at hand right now. People should check out Ada's contracts (pre- and post-conditions), and subranges. They are pretty cool. ... and of course Ada / SPARK. You can do a lot of checks at compile time, so no performance penalty for any checks whatsoever. It is worth looking into. And yes, you are right. Ada has concurrency constructs builtin the language tha…
If you click on your username then there is a link to all of your past comments.
git clone https://github.com/tomekw/doom-ada ~/.doom.d/modules/lang/ada Why don't contribute this to Doom Emacs repo instead? I personally would not enjoy having git submodules in my config repo.
It made it upstream! https://github.com/doomemacs/doomemacs/tree/master/modules/l...