Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PIDE/Java 8: the future now with much more fut...


view this post on Zulip Email Gateway (Aug 19 2022 at 16:52):

From: Gottfried Barrow <igbi@gmx.com>
I thought Java would become the mother of all computing platforms. You
say, "Credentials, please." Certainly. A copy of my Sun Certified Java
Programming certificate will be coming shortly, unless it doesn't. The
future didn't transpire. Microsoft won. Sun lost. And Java merely became
a major, ubiquitous presence.

Here's the future:

1) Functional programming that keeps you high and safe, unless you want
to work low and dangerous, all in a way that's acceptable to the many.

2) Intermediate languages.

3) Many-core computing.

As a concrete example: Rust, with its foundation in LLVM, where it will
surely tie into any GPGPU platform it pleases, since low-level
programming is at it's heart, like C.

Yes, all things computing can be compared to old-school C. High-level,
but with low-level freedom and power.

With hardware on my mind, for many long months, it has seemed that, for
the future, Java got it wrong with it's stack-based virtual machine, and
LLVM made it right, with its register-based virtual machine.

But all it takes, when it's all wrong, is for capable people to make
what's all wrong all right.

The future, there are parallel paths, with multiple winners when it
comes to intermediate languages and virtual machines.

Java, it's still in the running, with companies like AMD tying it's
stack-based bytecode into a register-based intermediate language.

There is Java 8/Scala, HSA, HSAIL, and Aparapi/Sumatra, to take the JVM
into the same future as Rust and LLVM.

http://www.hsafoundation.com/hsa-developer-tools/

http://openjdk.java.net/projects/sumatra/

Watch this, about Aparapi and HSA, and get a warm and fuzzy feeling, to
give you confidence that Java won't leave you behind, crying, shedding
big, Crocodile Dundee crocodile tears. Yea, that guy. He works at NICTA now.

https://www.youtube.com/watch?v=H7Nh1ZWnx5U

To tap into the full power of the JVM, I figure you'll have to drop down
to Java occasionally:

https://pragprog.com/book/vsjava8/functional-programming-in-java

I attach an image of the future now, of jdk-8u25-windows-x64 running the
PIDE. I'm pretty sure it's faster than 64-bit SDK 7, but it could be my
imagination. That it will continue to work, I don't know.

Regards,
GB
PIDE_&_jdk-8-64.png


Last updated: Mar 29 2024 at 08:18 UTC