sideeffffect

21 ms·

91.
by sideeffffect 6y ago
> the compiler has no way of suggesting to you Of course it does. And since Scala 3, it does suggest to you the imports you need for implicits. And IntelliJ does recommend imports even for Scala 2. Regarding cats, the codebase has been r
92.
by sideeffffect 6y ago
AFAIK Credit Suisse have their quant library written in F#.
93.
by sideeffffect 6y ago
> Isn't F# pretty much OCaml.NET? Kinda yes, kinda no. There's a whole interesting story to it: https://dl.acm.org/doi/pdf/10.1145/3386325
94.
by sideeffffect 6y ago
Oh yes it does count. Scala can be a nice functional language, with a powerful module system. Although I miss type providers, enforced lack of cycles and other nice things, like syntax: https://contributors.scala-lang.org/t&
95.
by sideeffffect 6y ago
> GPL doesn't permit commercial use That is alarmingly false. Do you have a source that McNealy indeed has said that? I couldn't find anything by googling.
96.
by sideeffffect 6y ago
AFAIUI _monomorphisation_ and reification are interchangable. That means, that if I have a polymorphic (generic) class `MyClassA<T>`, the compiler (regardless if it is JIT in the runtime as in C#, or AOT as in Rust) monomorphises (rei
97.
by sideeffffect 6y ago
It it possible to use this with F#?
98.
by sideeffffect 6y ago
"Generics" in Haskell are real, but they're not what is in the .NET lingo called reified. Just like Java does not monomorphise. On the other hand, C#, F# or Rust monomorphise (have reified generics).
99.
by sideeffffect 6y ago
Has anyone tried to combine Zig with Cosmopolitan libc yet? https://justine.lol/cosmopolitan/index.html
100.
by sideeffffect 6y ago
> that is what killed F# effectively F# has been an unwanted child of Microsoft, it actually adopted the language from Microsoft Research. As a language, F# is _very_ good (although not as good as the original OCaml, whose features had
101.
by sideeffffect 6y ago
> Algorithms are not simply math, in the same way mechanical engineering is not simply math. Algorithms are _literally_ mathematical objects. C.f. Church-Turing thesis. > And if it were simply math, then there would be no way to work
102.
by sideeffffect 6y ago
> Scala has its own drawbacks wrt. Haskell: lack of typed effects is a big one for me. There are libraries like ZIO, Cats Effect or Monix. Give them a try! Some people might even say that for example ZIO is even better than Haskell'
103.
by sideeffffect 6y ago
But F# doesn't have async/await. As you write, it has "computation expressions", which are inspired by Haskell's "do-notation", but are more generalised and powerful (than both Haskell's "do-nota
104.
by sideeffffect 6y ago
I'm not a C++ developer, but AFAIK the fact that C++ is not 100% "you don't pay for what you don't use" is commonly acknowledged. Exceptions are an example of that. There are ideas/proposals how to fix that: h
105.
by sideeffffect 6y ago
Really amazing cast: Dana Scott, Phil Wadler, Barry Jay, last student of Curry (whose name I don't remember)... it's really interesting to see all these people together.
106.
by sideeffffect 6y ago
Why not F#? :)
107.
by sideeffffect 6y ago
I've posted above how Scala's IO/Task is different from C#/Kotlin async-await. https://news.ycombinator.com/item?id=25305574 I hope you will find it helpful.
108.
by sideeffffect 6y ago
> Scala/Haskell's IO type Since you've brought out Haskell's IO and Scala libraries' IOs (Monix, ZIO, Cats Effect), or F#'s Async, I think it's worthwhile to point out how they're different from th
109.
by sideeffffect 6y ago
There is an answer to the perceived bad UX of Git: Gitless. https://gitless.com/ Is has already been mentioned a couple of time in this thread, but it deserves a more prominent mention, because IMHO it's a really inter
110.
by sideeffffect 6y ago
Interestingly, just recently, Neil Mitchell has published an article claiming that this is a fallacy and in practice, people are forced to back-pedal on it. Ban recursion and unbounded loops. Proclaim the language is "Turing inco
111.
by sideeffffect 6y ago
The Free software movement hasn't gone anywhere. Copyleft licenses still exist, so does the Free Software Foundation. There are now more people who care about these things and more quality Free software available than ever before in hu
112.
by sideeffffect 6y ago
Yes, "copyleft licenses force or encourage devs to contribute back to the community" is a ridiculous cliche (or misguided, or misleading, to be more charitable), but for different reasons than you talk about. The point of Copyle
113.
by sideeffffect 6y ago
have a look at https://gitless.com/ A talk introducing the issues with git and how gitless improves upon them https://www.youtube.com/watch?v=31XZYMjg93o
114.
by sideeffffect 6y ago
F# has the expectation of reified generics (Don Syme, the language author created them for .NET before creating F#, after all), which are not a thing (yet?) on JVM. Conversely, Scala has the expectation of (partial) type erasure as is done
115.
by sideeffffect 6y ago
> I don't think we ever mentioned OCaml How could you have not mentioned OCaml? The original Rust compiler was implemented in it. By this, Rust has a very clear (OCa)ML heritage. It's meaningless to argue, whether Rust got ADTs
116.
by sideeffffect 6y ago
Shenandoah is coming to OpenJDK 11. See my other comment for more details: https://news.ycombinator.com/item?id=24571054
117.
by sideeffffect 6y ago
Shenandoah might help you. See my other comment for more details: https://news.ycombinator.com/item?id=24571054
118.
by sideeffffect 6y ago
Shenandoah might help you. See my other comment for more details: https://news.ycombinator.com/item?id=24571054
119.
by sideeffffect 6y ago
20th October, OpenJDK 11.0.9 will be released, with full-fledged Shenandoah GC. It has _very_ low pauses and has the `-XX:ShenandoahGCHeuristics=compact` option, which will promptly give unused memory back to the OS (thus keeping the whole
120.
by sideeffffect 6y ago
According to the blog, BitTorrent v2 now tightens the possible block size to power of 2. But does that still allow for the blocks to be variably sized and created by, for example, a rolling hash-based chunker, like Buzzhash or Rabin? I&#x27

More ›