programming-language

Following the discussion in JuliaLang/julia#44168 (comment) (and JuliaLinearAlgebra/MKL.jl#106) I suggest to copy https://carstenbauer.github.io/ThreadPinning.jl/dev/explanations/blas/ into somewhere in the Julia manual if @carstenbauer is OK with it.

Requested in ethereum/solidity#12716 (comment).
Related to #12350.

I would actually be happier if we could find a way to somehow set an "illegal" locale so that we get an error whenever we perform a locale-dependent operation (and of course remove all locale-dependent operations).

The following code fails to compile, as expected:

actor Main
  new create(env: Env) =>
    let f = {() => None}
    f.string()

However, the error message says:

Error:
[main.pony:4:6](): couldn't find 'string' in '$1$0'
    f.string()
     ^

Internally to the compiler (I believe) we don't have a proper name for lambdas, so it's not clear what would be the a

When the user defines an invalid top-level term, the error message should give correct info about what is permissible.

https://github.com/unisonweb/unison/blob/6cbd464c0eae2bd3d0a355e09ffef0a409762086/parser-typechecker/src/Unison/PrintError.hs#L1265

Of course, if we want to bring back the namespace functionality, disregard! 😄

Motivation

The .postf is a neat shortcut for posting a formatted string.

But personally I see my self doing things like "% is not implemented yet".format("something").warn and the equivalent with .error all the time.

Description of Proposed Feature

Add the following methods to String:

// Equivalent to .postf
St