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.

Apparently we have the assert macro disabled in CI, even in non-release builds - at least on Windows (see ethereum/solidity#12634 (comment)). While this macro is generally discouraged in our project in favor of the solAssert() family of macros, we still do have them in some places and I think that they should

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

pub fn run(args: List(_)) -> Option(_) {
  todo
}

Currently they are erroneously rejected