mbo

19 ms·

181.
by mbo 6y ago
I feel the same way. For a place as exceedingly cynical as Hackernews, a lot of the comments here feel artificial.
182.
by mbo 6y ago
This is identical to my partners experience. She got EBV (asymptomatically, only discovered in blood records years after) and has suffered from CFS and Delayed Sleep Phase disorder for almost a decade now. She's recently been prescribe
183.
by mbo 6y ago
Hey, same situation! As the resident rabid FP evangelist at work, people are often surprised by how much I like like TypeScript. Personally, I think structural typing systems are the path forward for functional languages, and that means acc
184.
by mbo 6y ago
The Quantum Computing for Computer Scientists video by Microsoft Research ( https://www.youtube.com/watch?v=F_Riqjdh2oM ) really hammered it home for me. It goes slowly and the presenter, in his own words "shuts up and d
185.
by mbo 7y ago
Disclaimer: also work at Google https://www.theverge.com/2020/4/8/21214059/google-hangouts-m... you would be incorrect
186.
by mbo 7y ago
It is, as of today, just Google Meet, no "Hangouts".
187.
by mbo 7y ago
This article echos a lot of the themes that I saw in "Family spaghetti of programming languages" ( https://erkin.party/blog/190208/spaghetti/ ) which seems to be the best attempt at developing a famil
188.
by mbo 7y ago
> 80+ years old: 14.8% Great. My grandparents have a more than insignificant chance of dying if they (probably) catch it. This really assuages my fears. > Mortality rate is much, much lower than 3% if you exclude the elderly and the c
189.
by mbo 7y ago
It's because `Integer` is an insufficiently specific type to ensure that the value expression is well formed. If you really wanted to, you could prove that `add` is well-formed in Haskell and Haskell-likes: https://github.co
190.
by mbo 7y ago
> If I knew you write code like this, I would feel compelled during code review to squeeze my brain to try to see whether there is some library function that does what you just did. That's because the author didn't put a type h
191.
by mbo 7y ago
It's improved in the last year or so. It's not perfect by any stretch of the imagination but I find that it's one of the better supported languages out there, second to of course Java/Kotlin/TypeScript/C#.
192.
by mbo 7y ago
Yes
193.
by mbo 7y ago
Walder's Law states that: In any language design, the total time spent discussing a feature in this list is proportional to two raised to the power of its position. 0. Semantics 1. Syntax
194.
by mbo 7y ago
A communications channel controlled by the workers and not the managerial structure? This is a truly tragic development.
195.
by mbo 7y ago
It's almost like they could have used some sort of specialised tree data structure where each tree node was assigned to some spatial region on the map, where successive levels were assigned to increasingly smaller regions.
196.
by mbo 7y ago
It's related. Atlassian runs on AWS.
197.
by mbo 7y ago
Okay, I got really confused by this whole mandatory thing. I never said FP should be mandatory at scale. I said it had a moderate benefit at scale. You respond with "well actually, it's not mandatory at Google-scale" so I ass
198.
by mbo 7y ago
Okay, so given this answer here's what I would do: 1) I wouldn't make it the entry level course. It's clearly a paradigm that's used by a minority of people, so it doesn't make sense to start educating students with
199.
by mbo 7y ago
Sorry, I mean scale as in "large scale projects". Spark is the quintessential Google-scale FP project - it was even born out of the MapReduce paper by Google! And there's plenty of other large-scale projects that are arguably
200.
by mbo 7y ago
Okay, so FP is more difficult to learn. Assume for the sake of this argument that FP has a tangible benefit over other paradigms, that manifest themselves at scale. You're tasked with educating students in this paradigm, but they compl
201.
by mbo 7y ago
New members of our team are greeted with a "Hi, my name is mbo. Here's your desk, here's your copy of The Red Book, good luck." https://www.manning.com/books/functional-programming-in-scal...
202.
by mbo 7y ago
> Why can't FP's benefits be obvious so that it doesn't require evangelists? Because there aren't immediate benefits. They only pop out at scale and with complexity, as I said. > similar real world massive producti
203.
by mbo 7y ago
The issues is that you get benefits for sticking to one paradigm, because then everything is made of the same stuff. If everything is an object, then you can use all your tooling that works with objects, which is everything. If everything i
204.
by mbo 7y ago
The sad part is that this is a common experience - universities have done a bad job at teaching FP. I think there are good pieces of FP education, particularly Learn You a Haskell and https://github.com/data61/fp-course
205.
by mbo 7y ago
> Why does functional programming need to be taught in schools but all the other various programming topics did not? Because I think it is harder for people who have programmed with other paradigms - following an inverse law, most things
206.
by mbo 7y ago
EDIT: I wrote this comment before watching the video. I stand by this comment, but the video is very good and I wholeheartedly agree with its conclusions. As someone who writes pure FP for a living at a rather large and well known org, thes
207.
by mbo 7y ago
Functional programming at Atlassian: https://youtu.be/HSQ9ET0bOYg
208.
by mbo 7y ago
Note that not everyone FP lang is verb-noun. Sure, most are, but your F#/Elixir/Scala's are more often than not written in a noun-verb form with the `|>` operator or something vaguely equivalent (syntax extensions in Scala
209.
by mbo 7y ago
When are higher-kinded types roadmapped for Java?
210.
by mbo 7y ago
You know, I really agree with a lot of this. It's maybe not an unreasonable argument to make that maybe OO-heavy or Akka-ish Scala might be a better investment for a lot of people, considering the weight and momentum of the communities

More ›