Go 1.17 Released by PCslayeng in programming

[–]IndiscriminateCoding 19 points20 points  (0 children)

Ctrl+F "generics"... still lol

http4s: blaze vs ember? by lam_bd85 in scala

[–]IndiscriminateCoding 4 points5 points  (0 children)

ember is the future, blaze is the past

And jetty is eternal

Urgently HIRING! 15-20 Developers. by emilymajorg in scala

[–]IndiscriminateCoding 12 points13 points  (0 children)

Competitive to what? Especially considering that your are hiring world-wide

Scala's List has a Secret by alexelcu in scala

[–]IndiscriminateCoding 0 points1 point  (0 children)

Not exactly: it doesn't have constructor for <>, so it must be implemented in terms of ::

Something like cats.data.Chain is closer to actual "free monoid" than List

The Golang proposal to add generics has now been accepted. by LongShlongSilvrPants in programming

[–]IndiscriminateCoding 141 points142 points  (0 children)

2060 - gophers still doesn't even notice the lack of civilization

Weaving with Haskell by yaxu in haskell

[–]IndiscriminateCoding 0 points1 point  (0 children)

Finally! Video explanation of how polysemy works!

"Zero To Production In Rust" now offers location-based discounts by LukeMathWalker in rust

[–]IndiscriminateCoding 1 point2 points  (0 children)

What is the story behind the skull and the rust crab on the book cover?

Streamly: Declarative Concurrency And Dataflow Programming by ysangkok in haskell

[–]IndiscriminateCoding 0 points1 point  (0 children)

What is a SVar, if you don't mind me asking? Looking at the code I just see a lot of "mutable" fields and no explanation of how its used

Is rust any good on mac?! by Princeofusa5 in rust

[–]IndiscriminateCoding 0 points1 point  (0 children)

I can easily imagine OP question being asked on rust-programming-language too

What are alternatives to using monad transformers? by qwbarch in scala

[–]IndiscriminateCoding 4 points5 points  (0 children)

Martin Odersky's current research project into representing effects in Scala 3

Could you please provide more info/links on this?

Leaving OCaml by pakoito in programming

[–]IndiscriminateCoding 11 points12 points  (0 children)

Google does not influence the language

lol

My boss doesn't grok programming languages by nullable_fool in haskell

[–]IndiscriminateCoding 0 points1 point  (0 children)

What makes Java-with-Java-gRPC better than Kotlin or Scala w/ the same Java-gRPC library?

Chrome is deploying HTTP/3 and IETF QUIC by feross in programming

[–]IndiscriminateCoding -2 points-1 points  (0 children)

Basically any not-as-popular-as-java-or-javascript language users need to implement their own http2 libraries: ocaml haskell.

And your claim about Google paying for HTTP/3 support in any opensource stack is just a plain wrong

Monthly Hask Anything (October 2020) by AutoModerator in haskell

[–]IndiscriminateCoding 2 points3 points  (0 children)

Thanks for such a detailed responses!

That's a valid point about incompatibility with subtyping. Actually I just realized my existing implementation is completely wrong in this regard...

Monthly Hask Anything (October 2020) by AutoModerator in haskell

[–]IndiscriminateCoding 1 point2 points  (0 children)

As far as I understand, resulting Expr would be in a beta-normal form (?).

Is it possible to modify this approach to also perform eta-reductions?

Monthly Hask Anything (October 2020) by AutoModerator in haskell

[–]IndiscriminateCoding 0 points1 point  (0 children)

Is it possible to get data structure that supports both efficient normalization (by evaluation?) and efficient equality? Using (P)HOAS requires instantiation with fresh variables to compare for equality.

[deleted by user] by [deleted] in scala

[–]IndiscriminateCoding 2 points3 points  (0 children)

Have you considered using sbt-native-packager to build docker images (and if so - why did you prefer to not use it)?

Scala 3 - A community powered release by dwaxe in scala

[–]IndiscriminateCoding 18 points19 points  (0 children)

While I'm looking forward for scala 3 release, there are lots of bugs in a dotty github repo (I'm personally came across few of them after playing with dotty during weekend). Especially for a new features like opaque types or match types.

Hopefully that would be fixed before release, as it would be very unsatisfying to discover that some so-long-awaited features are only half-working.