sullyj3

24 ms·

181.
by sullyj3 6y ago
In Haskell, it's both common and idiomatic. There's always a tradeoff between the usefulness of having static guarantees, and the complexity of the type system features that enable those guarantees. In some cases it's more tr
182.
by sullyj3 6y ago
Type systems can encode proofs of properties that you want your data to have. For example, suppose you want to write a function that returns the first element of a list. head :: [a] -> a This is the type of a function "head&q
183.
by sullyj3 6y ago
That would be a pretty severe human rights violation
184.
by sullyj3 6y ago
I'm australian, and I pronounce them identically, with the schwa
185.
by sullyj3 6y ago
https://www.merriam-webster.com/dictionary/obtuse 2.b: "difficult to comprehend : not clear or precise in thought or expression". I think that makes sense.
186.
by sullyj3 6y ago
I don't think OP was necessarily claiming they were different
187.
by sullyj3 6y ago
knowledge about haskell tends to be presented in a "first principles" fashion for whatever reason, which is unfortunate. It's not a very pedagogically sound method. I think it has to do with the systematic temperament of most
188.
by sullyj3 6y ago
What features make it a game changer for you? For me it felt like just a small quality of life improvement, but I've never delved that deeply into its feature set.
189.
by sullyj3 6y ago
The `e.lbl = value` syntax suggests mutation to me, which would be misleading.
190.
by sullyj3 6y ago
I'm a big fan of the flow package ( https://hackage.haskell.org/package/flow ), which defines (<.) :: (b -> c) -> (a -> b) -> a -> c and (.>) :: (a -> b) -> (b -> c) -> a
191.
by sullyj3 6y ago
Just fucking do it?
192.
by sullyj3 6y ago
Max Tegmark goes into detail on the potential pitfalls of anthropic arguments in "Our Mathematical Universe". Very interesting book.
193.
by sullyj3 6y ago
Dhall bills itself as being designed for longer configuration files. It has functions, allowing for some abstraction, but it's not turing-complete. https://github.com/dhall-lang/dhall-lang
194.
by sullyj3 6y ago
Sure, but it might be the only way to get the data.
195.
by sullyj3 6y ago
I mean, it's all pretty well automated by stack, the only painful part is that it can take a long time and use a lot of storage.
196.
by sullyj3 6y ago
I mean, it seems strange to reject implications of a successful model if those implications aren't observable. Eg, I believe that stuff exists outside our light cone, because it would be unparsimonious for there to be an extra rule say
197.
by sullyj3 6y ago
The really nice thing about proc is that emphasizes that they are in fact procedures, rather than mathematical functions - a distinction that becomes more relevant as FP gains mindshare.
198.
by sullyj3 6y ago
Would one expect the average size to change?
199.
by sullyj3 6y ago
https://en.wikipedia.org/wiki/Hindsight_bias
200.
by sullyj3 6y ago
Seems possible it arises from a greater willingness to accept things about themselves and do things like transitioning that are socially stigmatized.
201.
by sullyj3 6y ago
Is there an article on this?
202.
by sullyj3 6y ago
I really like the Unison syntax: fib = cases 0 -> 0 1 -> 1 n -> fib (drop n 1) + fib (drop n 2) (drop is (-) for natural numbers, clamping to 0.)
203.
by sullyj3 6y ago
Maybe the difference was that they did the crimes and you didn't.
204.
by sullyj3 6y ago
That seems like a seriously perverse incentive if kicking people out and leaving the building vacant becomes more economically prudent in the long run
205.
by sullyj3 6y ago
Would you characterize Australia as a disciplined, conformist society? I'm in Melbourne, where masks are currently mandatory, and most are complying. In practice, you see people sipping from coffees while walking down the street, then
206.
by sullyj3 6y ago
The fingerprint reader on my Pixel 2 XL is still going strong.
207.
by sullyj3 6y ago
Making a commit and pushing every time I edit a note would drive me nuts. I've gotten used to notes auto-saving and syncing. Additionally, reading md on android would require a specialized app anyway.
208.
by sullyj3 6y ago
"people could find out the information is they looked hard enough" is also ridiculous because, yeah, that's trivially true - the journalist already found the information.
209.
by sullyj3 6y ago
I mean, people should be using `==` for this. The fact that `is` happens to work for small numbers is an implementation detail that shouldn't be relied upon.
210.
by sullyj3 6y ago
That just seems like a poor choice of api design for forEach, rather than a fundamental problem with implicit returns.

More ›