sullyj3

18 ms·

151.
by sullyj3 6y ago
Haskell is substantially more powerful when it comes to features like enforcing compile time guarantees about properties of your program, as well as writing highly polymorphic functions.
152.
by sullyj3 6y ago
If in fact it is viable, then it's a good idea to work on it. Seems like a big "if". Regardless, it's a different argument to the nonsensical one gp was making.
153.
by sullyj3 6y ago
How is it narcissism? It's pragmatism! A company isn't going to work on something that a minority of people care about out of the goodness of their heart. Why would you expect that of them?
154.
by sullyj3 6y ago
The difference is that you can delete code with confidence that the compiler will tell you if you did something wrong, rather than things failing at runtime at some indeterminate point in the future.
155.
by sullyj3 6y ago
It's short for "composite" recording. As in, mixing several takes together to form a single one with the best bits of all of them. Strictly speaking you can already do this using multiple tracks, but having a dedicated workfl
156.
by sullyj3 6y ago
What specifically do you mean by fundamental? Not made out of other things?
157.
by sullyj3 6y ago
- Built in LSP support - Moving away from config and plugins in VimL, which is extremely idiosyncratic and awkward to use, towards lua and other languages via rpc - Long term health of the project - neovim feels like a truly community drive
158.
by sullyj3 6y ago
I'm not sure about the specific instance of vscode. Since it's a gui app, I don't think you can run it inside of wsl. You can use a plugin to connect to wsl, but I don't think that's quite the same thing, and I woul
159.
by sullyj3 6y ago
Yeah, I've been following that one for a while, I pre-ordered it. I was a little disappointed they switched from neovim back to vim. I'm sure the engineering reasons were sound, although I didn't understand them and it made m
160.
by sullyj3 6y ago
I've found it to be a colossal pain in the ass in WSL, since the emulated linux clipboard isn't synced with the windows clipboard. I have to :wq, cat the file, and ctrl-ins to copy.
161.
by sullyj3 6y ago
I'm still holding out for proper IDEs with embedded neovim at the core. Vim has a few killer apps I can't live without - custom text objects, vim-surround, and vim-sneak.
162.
by sullyj3 6y ago
Unison's ability system (an implementation of algebraic effects) is looking promising as an ergonomic method of tracking effects.
163.
by sullyj3 6y ago
It's worth noting that Haskell allows mutable variables in IO actions - a type used to model computations that are not referentially transparent. It's just that using this facility is not super ergonomic.
164.
by sullyj3 6y ago
Sometimes people infer things that aren't strictly speaking logically implied. That doesn't make it not misleading, if it reliably causes people to make those inferences.
165.
by sullyj3 6y ago
I can't even sort my artists in alphabetical order on the webapp. It's a total embarrassment.
166.
by sullyj3 6y ago
Haskell is very free, and very suitable for complex systems!
167.
by sullyj3 6y ago
It's interesting that this line of argument perhaps leads to the conclusion "keep libraries small, to allow more granular selection of dependencies". But this is the kind of reasoning that leads to the situation in npm of tho
168.
by sullyj3 6y ago
Should probably note that class Convert a b requires MultiParamTypeclasses
169.
by sullyj3 6y ago
The point about let exressions is excellent, and I definitely relate to the author. I think they're underemphasized in FP evangelism to people used to the imperative paradigm - "look, this is pretty similar to how it'd look i
170.
by sullyj3 6y ago
Given that I don't have a degree in hyperbolic topology, that would definitely put a damper on my appreciation for the language, yep haha. I'd probably consider myself to be on the lower side of average intelligence for programmer
171.
by sullyj3 6y ago
https://en.wikipedia.org/wiki/Compatibilism
172.
by sullyj3 6y ago
I mean, at a certain point you're asking for ultimate power over everything and instead of attempting to become autonomous you find yourself attempting to become a supervillain
173.
by sullyj3 6y ago
I'm not entirely sure what you're getting at here. Are you saying the author is arguing a call like new Customer() should return something valid? I think the FP way would be to disallow constructor overloads with no argumen
174.
by sullyj3 6y ago
Previous discussion (2015): https://news.ycombinator.com/item?id=8998117
175.
by sullyj3 6y ago
I like how this could be taken as an endorsement or criticism of the article, depending on the hubris of the reader
176.
by sullyj3 6y ago
Good point! last time I used elm i didn't know what a nonempty list was.
177.
by sullyj3 6y ago
In practice I've found that it leads to writing code that you know is unreachable, but you can't prove it to the compiler.
178.
by sullyj3 6y ago
Definitely don't disagree!
179.
by sullyj3 6y ago
Combination of somewhat high barrier to entry (they're unlike most other languages so experience isn't as transferable), and network effects - those in charge of choosing a technology for a project generally make the subjectively
180.
by sullyj3 6y ago
The general consensus in the community afaik, is that head :: [a] -> a in Prelude was a mistake, and the default should be to return a Maybe/Optional. Beginners are generally advised to avoid head, and all other partial funct

More ›