Viewing profile — wyatwerp

MISRA C? Cool! About the design model for programming in Rust, I guess only making the time to try writing something in Rust can answer the question. It is interesting how the stee…

I truly was curious about your C/C++ code - good for you that it was less C++ and more C! I don't know any masochists, so I don't know anybody who likes to work in C++ (even with j…

The reference compiler is as free-standing as OCaml's because it too has its own back-end. Its front-end is shared with the other 2 back-ends: feeds the ubiquitous LLVM in LDC, and…

I don't know. Maybe because it is GC-only? It doesn't have custom allocators, so there may be no easy way to map an object to some location in shared memory.

And it is a short-running utility :-)

I wasn't talking about necessarily temporal operations like mutex ops; of course, they should be deterministically done - it is a beautiful implementation detail that it falls out …

The topic was the no-GC no-runtime niche, which necessarily requires brilliant programmers, and they are stuck with C++. They would welcome tools to represent their resource contro…

Off-hand, Mirage OS comes to mind - it completely upends how you would "build" and "run" back-end services, and it is written solely in a GC'ed language - OCaml. And all GC'ed lang…

As pjmlp said below, GC doesn't preclude deterministic destruction, so it isn't about resources in general; it is largely about memory. Also typical programs in any language have q…

In the no-GC no-runtime niche, you probably need brilliant programmers anyway. Most of them are banging their heads against the C++ wall right now; they would love to get back some…

This is going further & further OT, but hey - I didn't start it! What you need is a motivating factor. Vim is almost guaranteed to be there on any Linux/BSD/Mac shell environment, …

Is the speed bump for other-language libraries or for other-language applications? For speeding up other-language libraries, D has a -betterC mode, which prevents you from using th…

Taking nothing away from the Rust community that has managed such a complex language so well so long, I have to say that there never was anything viable in the no-GC no-runtime nic…

Do you mean "thread local passed to another thread by mistake"? There is an option to make data global instead. Unless it is a Unix pipeline kind of design, independent threads can…

Well, Standard ML is a weird one too in that sense (lurking around for a couple of decades without picking up steam (outside academia?)). Languages having type inference and module…

Indeed! For example, it is amazing how small Poly/ML is for a type-inferred multi-threaded language.

Are you describing the D language? https://dlang.org C-like syntax and execution speed with high-level scripting-language-like conveniences, close to Lisp-level ability to generate…

Does it matter which workloads always need software? If anything, the networking use-case shows that a workload, any workload, that is ubiquitous & can benefit tremendously from pr…

I don't know if FPGA's are a dead-end. Why did Intel buy Altera, the 2nd biggest FPGA vendor?

I don't know if desktops have a future, or if even local computing has one. Maybe a portion of "personal computing" ends up only done on mobile devices, and some of the rest of it …

Foot in mouth there! For that, I apologize as profusely as possible online. P.S: FWIW, I was thinking of John McCarthy there, must have gotten confused by recalling Joe Armstrong's…

He sounded like a wonderful person in terms of ideas, communication & empathy. I feel sadder than on the day Alan Kay passed. To those with whom I share the morbid curiosity about …