vmchale

65 ms·

571.
by vmchale 8y ago
> Does ATS have a network library? Or a 2d canvas library ? Does it compile to JS !? I It's pretty easy to use C code for libraries. I haven't use the ATS -> JS compiler myself but I know it exists. Though given that ATS was
572.
by vmchale 8y ago
> people have limited time and resources, so don't be too hard on them (or they'll be less willing to help and investigate in future). yes, clearly knocking out 911 service for millions of people isn't a problem. won'
573.
by vmchale 8y ago
There's nothing lazy in there, right?
574.
by vmchale 8y ago
Some immutable data structures must be implemented strictly, others lazily. There are known algorithms/data structures where you either have to use immutability or laziness in order to get an efficient implementation.
575.
by vmchale 8y ago
I think you limit them if you don't cast blame at all. Obviously failures of process are interesting but sometimes it's because someone at the company fucked up.
576.
by vmchale 8y ago
Rust is nice, but it's missing the ease of parallelism you get from things like Haskell's accelerate or repa. I prefer it for concurrency, but it's not a panacea. In particular, laziness is necessary for efficient immutable d
577.
by vmchale 8y ago
Personally I'm a huge fan of J for this purpose. Haskell also has some nice qualities, though one has to use something like accelerate or repa.
578.
by vmchale 8y ago
> as programmers we need to change our default behavior from writing linear programs and then trying to make them take advantage of concurrent hardware to writing concurrent solutions at every level of application design by default from
579.
by vmchale 8y ago
Well, if you mean concurrency over parallelism, I think it's quite clear that there are many tasks that benefit from concurrency.
580.
by vmchale 8y ago
> High-end games are now running pretty close to 100% CPU utilization on octa-core console hardware That's concurrency, no?
581.
by vmchale 8y ago
> will begin to attract that talent which may not be happy about costs, education I don't think it's obvious that some of these areas will be able to provide the same quality education.
582.
by vmchale 8y ago
lol in this case it's more money going out of state to fund things like the military. So... not really.
583.
by vmchale 8y ago
what?
584.
by vmchale 8y ago
> the influence of functional languages is pretty much expected for any trendy new language today (Rust Rust is barely influenced by functional languages.
585.
by vmchale 8y ago
In fact, many/most computers these days have 8GB of RAM. And in any case, less RAM usage usually means less cache thrashing which in turn means acceptable performance.
586.
by vmchale 8y ago
> because it redefines wasteful how do people write shit like this and not realize how blatantly user-hostile they are??
587.
by vmchale 8y ago
I think you're just bad at reading pointfree notation, tbh, which is not a particularly interesting commentary on OCaml or Haskell. Lots of things lend themselves well to pointfree style, and if you do not see them it is because of you
588.
by vmchale 8y ago
FORTRAN is a great language, but it's not really good at math either. It's used with floats, which are a peculiar and volatile beast, though certainly useful. When I think of "good at math" I think of something like Egis
589.
by vmchale 8y ago
Supposedly numpy was inspired in part by J. I don't think it will ever dominate the market - some things such as FFI remain weak points compared to C. Plus a lot of what makes Mathematica good is that they have specific algorithms that
590.
by vmchale 8y ago
> Haskell and OCaml as implementation languages would signal huge academic bias Apparently reading papers from the past 30 years is a "huge academic bias." I'd honestly be fine if it was implemented in Racket too. > ina
591.
by vmchale 8y ago
I'm mostly just saying "if the authors were experts on functional programming, surely they would use Haskell or OCaml?" My problem is not with the compiler/implementation but rather the fact that they are trying to sell
592.
by vmchale 8y ago
> Most of the newer popular functional languages aren't implemented in those, but rather Java, I don't think this is true. Java is not a good language for compilers in any case, and it would cause me to trust the language less,
593.
by vmchale 8y ago
> Much more for what? Much more in the field of build tooling/package management. Pinning versions is fine, but dependency resolution is another legitimate choice.
594.
by vmchale 8y ago
Is this a research language? I don't understand how this offers anything beyond what already exists. I'm also suspicious of the fact that it's implemented in Go. I would think that someone who knew functional programming well
595.
by vmchale 8y ago
> Introducing a lockfile is a big step forward for Python dependency management Huh? I'm not really familiar with the state of dependency management for Python/dynamic languages but... there's much more out there beyond ju
596.
by vmchale 8y ago
> Rust isn't a "simpler Agda" either. Calling Rust a "simpler Agda" is a bit insane. Rust simply has a sensible, current type system. Agda is full dependent types.
597.
by vmchale 8y ago
> Zig doesn't want to be a dumpster for trendy PL concepts. It has been designed to be a safer and friendlier C Exactly why the project is pointless. It doesn't offer enough beyond C for there to exist any incentive to switch.
598.
by vmchale 8y ago
Zig doesn't force you to free all your memory (which occasionally good), so there are whole classes of errors that Rust/ATS avoid that are possible in Zig.
599.
by vmchale 8y ago
If the problem is the type system/borrow checker, it's simply a question of experience.
600.
by vmchale 8y ago
> So that only really leaves ATS and Rust, and rules out Nim, D, Zig, Jai I don't have a problem with GC so Nim/D are on the table. ATS is a pain in the ass but after the arrival of Rust it's pretty clear that linear/

More ›