Raphael_Amiard

7 ms·

31.
by Raphael_Amiard 6y ago
That's absolutely delightful, thanks for the read ! I love the Terry Pratchett reference too!
32.
by Raphael_Amiard 6y ago
Hello Max! We agree that it's a hole in the current curriculum, that we intend to fill at some stage with the advanced lessons. State of memory management in Ada is: - You have a lot of facilities to stack allocate/not heap alloca
33.
by Raphael_Amiard 6y ago
How do you consider the improvements they didn't make (even before llvm was released) to gcc ?
34.
by Raphael_Amiard 6y ago
It's pretty common amongst my geeky social circles in Paris, much less (for obvious reasons) amongst the musicians/partyers social circles, unfortunately. What's very annoying is the social pressure: feeling compelled to say
35.
by Raphael_Amiard 6y ago
That's related to what FODMAP are: fermentable carbohydrates. They'll be decomposed in the fermentation process for sourdough bread. It has been noticed by many people who think they're gluten intolerant that they digest sour
36.
by Raphael_Amiard 6y ago
> I considered Pi+Monitor, but for me, something like the Pinetab is a cleaner, simpler solution. And at $99 without the keyboard, that's a pretty decent price. Of course you should go for what is easier for you, and the pinetab doe
37.
by Raphael_Amiard 6y ago
So, what you're saying is that 5g is basically an improved wifi? (Shortish range so uses another transport, very good throughput)
38.
by Raphael_Amiard 6y ago
> Drop the focus on languages. Choose one (popular) language and focus on understanding it well While I understand this advice, your mileage might vary. I had the exactly opposite approach and did learn a ton of different languages, on t
39.
by Raphael_Amiard 7y ago
> Due to limitations in the underlying programming model, TornadoVM doesn’t support objects (except for trivial cases), recursion, dynamic memory allocation or exceptions. So basically Java syntax for some kind of restricted C/CUDA
40.
by Raphael_Amiard 7y ago
I sympathize with the general message of what you say but: - it is completely possible to build cool things with lisp, as highlighted by some other people who answered your message. - your pejorative use of the word "nerd" above i
41.
by Raphael_Amiard 8y ago
> Ada is still being used in some fields, especially in some Defense Department projects, avionics and air traffic control, but it isn't in the TIOBE top 20 list of programming languages. Unless you're planning on making a care
42.
by Raphael_Amiard 8y ago
I'm one of the writers of learn.adacore.com and I disagree. This is a thought log from somebody who knows and loves Rust and is learning a new language. Steve if you're around: there is an error I think in your post, you write &gt
43.
by Raphael_Amiard 8y ago
> What happens when you stick a 32bit float into a 16bit float type in Ada? CONSTRAINT_ERROR. And this could happen at runtime, not compile time. It was Ada's inability to deal with unknown/incorrect inputs and deal with them i
44.
Nvidia Using Ada and SPARK(blog.adacore.com)
6 points by Raphael_Amiard 8y ago|0 comments
45.
by Raphael_Amiard 8y ago
Wow, just read the thread, looks like the stereotype of a toxic community...
46.
by Raphael_Amiard 8y ago
I'm not sure what you mean, optionals are just a sum type (says so in your own article) and Ocaml support for them is first class, also option is a built in Ocaml type http://batteries.forge.ocamlcore.org/doc.preview:ba
47.
by Raphael_Amiard 8y ago
Ada has memory management safety, even though it is not the same paradigm as Rust. Affine typed pointers might be a tad more powerful than Ada's scoped pointers and limited types, but they're still not powerful enough to express e
48.
by Raphael_Amiard 9y ago
> > which is buggy as hell > Is this really the fault of C++? I'm not saying it necessarily is, but it clearly can be. When you fuck-up language semantics, as pointers in C and C++, making things vague and unspecifiable regard
49.
by Raphael_Amiard 9y ago
> They do NOT want an autonomous Ada community to pop up, they just want to attract programmers they can contract. Since they're basically the only noteworthy contributors for Ada, they're impossible to bypass, hence using Ada
50.
by Raphael_Amiard 9y ago
We (french) are not https://www.planetoscope.com/elevage-viande/1587-consommatio... , pretty much the opposite actually
51.
by Raphael_Amiard 9y ago
> way more complex As somebody who works on an Ada compiler, I'm not sure about that. On some levels, Ada has a better design which simplifies compiler implementation. On some others, the RM spec is extremely complicated - in my opi
52.
by Raphael_Amiard 9y ago
> Ada and SPARK predate Rust by decades. For Rust to come on the scene and start influencing them and their well-established community is something that reflects favorably on Rust. It definitely does ! And FWIW I work at AdaCore, and eve
53.
by Raphael_Amiard 9y ago
Hello McCulley, sorry I missed your answer. > Does the current standard provide for automatic deallocation such that one need never instantiate Unchecked_Deallocation? The standard provide a host of containers and pointer-like constructs
54.
by Raphael_Amiard 9y ago
That's a very interesting answer, thanks for taking the time to write it. For the most part, as a professional Ada programmer, I agree with you on every point of your analysis. I personally like algol like syntax, but would like Ada to
55.
by Raphael_Amiard 9y ago
> In my experience developing Ada software, not being able to depend on a garbage collector being present means that code intended to be used by others must manually manage memory. This means that it must manage memory exposed to client
56.
by Raphael_Amiard 9y ago
There is nothing new or subtle about it. This subject has been thoroughly explored by the French school of sociology, most notably Pierre Bourdieu, some 60 years ago, with much more detail and academic rigor. I understand that an article ca
57.
by Raphael_Amiard 9y ago
Well, yes and no :) Ada is very close to C++ in terms of runtime abstraction, unlike Java, so it's not relying so much on the "sufficiently smart compiler" fallacy. Also, there are several idiomatic dialects of Ada, because A
58.
by Raphael_Amiard 9y ago
In theory, it's just as fast as C/C++, when you compare GNAT against GCC/G++. In practice, some language constructs are not as optimized as their C++ counterpart. The end result is that you can expect the Ada 83 subset to be
59.
by Raphael_Amiard 9y ago
Ada as an ecosystem has it's own alternative, SPARK. It's not a dependently typed language, but you can go just as far with it using pre and post conditions, and ghost code, insofar as what you can prove. You can see here for more
60.
by Raphael_Amiard 9y ago
There are a few people at AdaCore working on this, we're trying to bootstrap it and involve the community, more about that soon we hope :) The build tool, GPRBuild is already a step above makefiles, and personally I find it very conven

More ›