News for hackers. Stuff that matters.
Re:Microsoft rewrote Q# compiler in Rust by IshKebab on Wednesday June 21, 2023 @05:22PM (#36424777)
Yeah someone needs to do a ranked preference test. Rank all the languages you are familiar with...
Re:Microsoft rewrote Q# compiler in Rust by tmtvl on Wednesday June 21, 2023 @06:42PM (#36425691)
Funnily enough I'm not very familiar with languages I don't like, probably because I elect not to use them.
Re:Microsoft rewrote Q# compiler in Rust by antonvs on Wednesday June 21, 2023 @07:49PM (#36426374)
Limiting to relatively well-known general-purpose languages I've used in commercial system development:

Haskell, Scheme, OCaml, SML, Rust, Typescript, Smalltalk, Java, Scala, Common Lisp, Kotlin, C, C++, C#, Javascript, Forth, Delphi/Object Pascal, Turbo Pascal, Python, BASIC (various flavors), Fortran.

How about you?

Re:Microsoft rewrote Q# compiler in Rust by nequo on Wednesday June 21, 2023 @08:43PM (#36426725)
What was your commercial application for SML?
Re:Microsoft rewrote Q# compiler in Rust by antonvs on Wednesday June 21, 2023 @09:02PM (#36426849)
We developed the definitional model of a financial instrument modeling and simulation system in SML. The system included a DSL for specifying instrument models, so part of what the SML implementation did was act as a denotational semantics for that language.

The intent was never to deploy it using SML, it was to flesh out and formalize the design, and act as a specification for development of the full system.

The system was designed to run on a cluster long before the Kubernetes days, and so had to deal with many of the distribution, scaling, and concurrency issues itself, in addition to its business logic.

One of the experiences I had while working on that system was that at the time, I was reading "Monad Transformers and Modular Interpreters" - a seminal paper by Liang, Hudak, and Jones - and I thought I could probably quite easily implement the paper's approach using ML parameterized modules, instead of the Haskell typeclasses used in the paper. I tried it, and was soon disabused of that notion. Partly as a result of that, we wrote the distributed simulation engine for a later version of the system in Haskell.

Re:Microsoft rewrote Q# compiler in Rust by IshKebab on Thursday June 22, 2023 @09:02AM (#36431507)
I'd probably go

Rust, Typescript, C++, Go, Java, OCaml, Python, Javascript, Matlab, PHP, SystemVerilog, CMake, C, Bash

Ok I will make this site. :)

Re:Microsoft rewrote Q# compiler in Rust by antonvs on Thursday June 22, 2023 @09:41AM (#36432021)
Oh I left PHP and Go out of my list, my subconscious blocked them out of existence. They'd be near the bottom anyway. I suppose Go with polymorphic types might be worth another look, but before that it was dead to me.
Re:Microsoft rewrote Q# compiler in Rust by IshKebab on Thursday June 22, 2023 @04:08PM (#36438113)
I feel like Go is a so-so language with amazing infrastructure. How many other languages come with built in easy cross compilation, fuzzing, PGO, etc?

It is really unsurpassed in that regard, which is probably partly why it is so popular in DevOps. If only the language was a bit better...

It's definitely not a bad language like PHP though.

Re:Microsoft rewrote Q# compiler in Rust by Patrickmi on Sunday June 25, 2023 @05:01AM (#36466226)
A Subconscious that doesn’t want to admit it, not every “good language” makes it to the next round