scala VS rust

Compiling Scala without a SAT solver is probably too difficult.

The CNF Converter is a gem.

https://github.com/scala/scala/blob/v2.13.5/src/compiler/sca...

In addition to Structured Query Language(SQL), we can also use a variety of different programming languages, such as Python, Java, JavaScript, R, Julia, Scala, or any other programming language as long as it supports a basic database connection and functions to perform all of those operations, to connect to databases and perform more advanced query operations on the data. This gives us greater flexibility and allows us to apply custom-created logic to the data.

Based on Lambda Calculus, developed by Alonzo Church in the 1930s, functional programming has been implemented in mainstream programming languages like JavaScript, Python and Java. Programming languages like Erlang, Haskell or Scala are better suited for functional programming as they are designed to be functional first.

Tapir is a Scala framework. (which runs on the JDK) Since the recent release of version 1.0, it's become my go to for many projects. It doens't provide much in the way of integrations with 3rd party frameworks, but I actually prefer that. It does autogenerate great swagger docs though.

details: https://github.com/scala/scala/releases/tag/v2.13.9

It already 99% worked. We just needed to upgrade ASM to a version that recognizes JDK 19 bytecode, so the optimizer (which most people don't even use) can function on JDK 19. The PR was https://github.com/scala/scala/pull/10001 — eazy peazy.

See also https://github.com/scala/scala/pull/9893, this will be in the upcoming Scala 2.13.9.

Scala - Popular in the data-science world, particularly when working with distributed data processing (e.g. Spark). Lots of large companies have dedicated data teams that process the huge amount of analytics and other data the games produce.

www.scala-lang.org

I took a look at some Haskell; like I said, I never actually learned it, but I have seen some. And I briefly dipped my toes in Scala awhile back, and it seemed like a good thing. And then came the Phoenix web framework drawing heavily on the general concepts of Rails but with the slightly different philosophy of making things more explicit rather than the infamous Rails magic, which is so helpful when you're doing things the Rails way. But if you try to fight it at all, no, no, no, that magic is a plus-five sword against you. [laughter]

Have to admit to skimming -- this is complicated, but neat! -- but I also have to say lack of pluggable per-container allocators in Rust is perhaps my chief complaints at this point; really miss this from the C++ STL.

I don't pay attention much the process or politics, but allocator_api feels like it is stuck in permanent limbo. https://github.com/rust-lang/rust/issues/32838 -- opened 6 years ago, still pending.

MIR goes through many different transformations from the time it's built to what gets lowered to LLVM IR. It's also worth noting that borrow checking works on MIR. Some of the most important MIR transformations are drop elaboration and generator lowering.

There was one such case in the stdlib but it was quickly patched.

Do you have a link to an MR or tracking issue? All I can find is the JSON one and a neglected MR from 2019.

So many people just wanted a contains() method, and the issue for that ended up being the most amazing example of bikeshedding I've ever seen.

This change is a pretty frustrating one. The bug it addresses should have been closed as an "works as intended." The MR acknowledges that this will break things, then does it anyway. There is no easy path to re-enable JSON output from cargo test while using stable Rust.

You can read about it here: https://github.com/rust-lang/rust/issues/62358

Rust can only guarantee anything if every unsafe block obeys the invariants and if all soundness bugs are not triggered.

The current SafeStack implementation seems to simply ask LLVM to do its magic.