jmite

5 ms·

1.
Have any language servers used the LSP Notebook capabilities?(microsoft.github.io)
3 points by jmite 3y ago|1 comments
2.
by jmite 3y ago
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 MS, but I haven't really found much else beyond t
3.
Agda 2.5.4 has been released (Dependently typed programming language)(hackage.haskell.org)
2 points by jmite 8y ago|0 comments
4.
by jmite 9y ago
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.
5.
by jmite 9y ago
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 from a function, it is moved instead of dropped. It's also
6.
by jmite 9y ago
What is your favorite tool? Agda? I've been finding it much nicer to work with, but the ecosystem is just not there yet.
7.
by jmite 9y ago
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 restrictions on them. But in essence polymorphism in Haskell and R
8.
by jmite 9y ago
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 the absence of malware, for example, if any
9.
by jmite 9y ago
Rice's theorem, actually
10.
by jmite 9y ago
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.
11.
by jmite 10y ago
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.
12.
by jmite 10y ago
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).
13.
by jmite 10y ago
I think server side Elm will come eventually. It's just taking time.
14.
by jmite 10y ago
I like my types, without runtime overhead of type checks
15.
by jmite 10y ago
To be clear, I am not the "I" in that quote, that's Evan Czaplicki
16.
by jmite 10y ago
"I do not expect to be compiling to JavaScript forever": in the 0.17 announcement http://elm-lang.org/blog/farewell-to-frp
17.
by jmite 10y ago
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 send HTTP requests, read from user input, etc.
18.
by jmite 10y ago
It should at least be able to compile with GHC 7.10 now.
19.
by jmite 10y ago
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 monadic, with `andThen` being the bind operator.
20.
by jmite 10y ago
Under "other cool stuff" it's mentioned that error reporting when parsing fails is greatly improved. Not sure if that's what you meant.
21.
by jmite 10y ago
They do, and have been made much clearer: http://guide.elm-lang.org/interop/javascript.html
22.
by jmite 10y ago
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, there's Ports. You can't use them in librarie
23.
by jmite 11y ago
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 enough code base that if you're doing research
24.
LambdaPiPlus: a small language for learning and hacking Dependent Types(lambda-pi-plus.github.io)
3 points by jmite 11y ago|1 comments
25.
How to Create Tetris in Elm [video](youtube.com)
5 points by jmite 11y ago|0 comments
26.
by jmite 11y ago
It seems to work for NoRedInk and CircuitHub...
27.
by jmite 11y ago
The learning curve is not terribly steep, compared to Haskell. There are a lot of good resources, and many friendly people on the mailing list to help you if you decide to learn Elm!
28.
“Make the Back-End Team Jealous: Elm in Production” by Richard Feldman(youtube.com)
3 points by jmite 11y ago|0 comments
29.
by jmite 12y ago
I think it has as much to do with standardization as ease of use. This way, if there are multiple experts, they don't each do it their own way. Plus, it gives a degree of reliability to those using the packages, which is something you
30.
by jmite 12y ago
The thing is, "sum types" really only works if you're familiar with the analogy between boolean algebra and arithmetic (why OR becomes +). Yes, they are disjoint union, but there's really no such thing as non-disjoint un

More ›