Viewing profile — jmite

Does anyone know of any language servers that use the notebook capabilities introduced in LSP 3.17? Do any clients actually implement it? I've found the official documentation from…

Can't a neural network only ever achieve an O(1) time approximation of an NP hard problem? Unless you're using it as a heuristic inside some broader search algorithm.

No, I think the article is right. When a value goes out of scope, its drop method is called, which for Box values deallocates it. The trick is that if it is (possibly) returned fro…

What is your favorite tool? Agda? I've been finding it much nicer to work with, but the ecosystem is just not there yet.

Rust's traits are basically Haskell typeclasses, with a few extensions enabled, like multiple parameters. Trait objects are basically existential types, with a few more restriction…

Right, but Rice's theorem means that you either have false positives, false negatives, or "Unknown" answers in any static analysis. Which means that the CIA could never guarantee t…

Rice's theorem, actually

Algebraic data is just so perfectly suited to abstract syntax. It's clearly possible to model an AST in C, but not to do it in an ergonomic z typesafe way.

Removing them wasn't necessary, but it's better. Elm isn't 1.0 yet, so "does this make the language better" is the metric for feature addition or deletion.

The "other way" is to use x_1, x_2, or to just use better variable names. Haskellers are bad at coming up with informative variable names (and I say this as a Haskeller).

I think server side Elm will come eventually. It's just taking time.

I like my types, without runtime overhead of type checks

To be clear, I am not the "I" in that quote, that's Evan Czaplicki

"I do not expect to be compiling to JavaScript forever": in the 0.17 announcement http://elm-lang.org/blog/farewell-to-frp

I wouldn't say that it's about performance for Elm. Its virtual-dom has been shown to be wickedly fast with pure code. It's more that real programs need real effects: you need to s…

It should at least be able to compile with GHC 7.10 now.

I don't think the semantics are any more imperative than IO in Haskell, it's just that there's a different abstraction used for dealing with it. Moreover, Tasks are absolutely mona…

Under "other cool stuff" it's mentioned that error reporting when parsing fails is greatly improved. Not sure if that's what you meant.

They do, and have been made much clearer: http://guide.elm-lang.org/interop/javascript.html

It has changed, in that the language is moving away from Native code, and instead is trying to provide the web-platform as part of the language/core libs. And for everything else, …

Author here. LPP is a small language with dependent types. The idea is that it's a small set of features for people who are just starting with DTs to learn, and it's also a small e…