codygman

14 ms·

91.
by codygman 6y ago
Also see this related discussion: https://www.reddit.com/r/programming/comments/ij0qzl/comment...
92.
by codygman 6y ago
Also see this related discussion: https://www.reddit.com/r/programming/comments/ij0qzl/comment...
93.
by codygman 6y ago
It was kind of more like coming up with organized snippets and notes while understanding a problem. I'm expressing the wish that were I better at organizing them better that I could have tangled all of those snippets into a working (if
94.
by codygman 6y ago
I had a similar example today in the functional programming slack. > hello, quick question: i feel like there's a more elegant way to express this, but I'm struggling to come up with one: foo :: (a -> Bool) -> (a -&
95.
by codygman 6y ago
> Ansible, as an example, would abstract away the CLI commands and be very readable in very few lines. If it's just a few lines can you give an example?
96.
by codygman 6y ago
I've done this before, but more directed at general software development as a sort of documented reproducible and resumable state. Ask me anything :) I never got good at tangling my blocks together in the end though which is what I thi
97.
by codygman 6y ago
> Sometimes I get the feeling that no one focuses on shipping actual software with Haskell. With just a modicum of effort you can easily disprove this feeling.
98.
by codygman 6y ago
> Yes, but you don't like, need that to be, I dunno, a complete programmer or person. Yeah? I'm not sure how meaningful this argument is here since you can just get by with nano and a terminal. > Which is how the "cul
99.
by codygman 6y ago
You can have a good text editor and semantically meaningful code manipulation. Emacs has had structural editing for lisp how long? Plus, it's nice to fallback to ctags or ripgrep if your lsp server dies
100.
by codygman 6y ago
> Emacs was invented for a world where Text was everything. Text still is mostly everything for all of my backend programming, note taking, etc. > The other problem is speed of typing is irrelevant if you are working with libraries al
101.
by codygman 6y ago
I use jf as escape in emacs/evil ;)
102.
by codygman 6y ago
> > I am afraid I'm missing something. > You are not You are missing an entire world treated as text and a consistent and an endlessly configurable interface for everything you can pull into your emacs Borg. See this comment t
103.
by codygman 6y ago
The point is the level of configurability and that you can remove all sharp edges from within emacs. Then when you sync your Emacs config to your laptop, those sharp edges remain gone. Examples like this, especially those widely meaningful
104.
by codygman 6y ago
> Last time lists like this were posted, most of the links were false accusations, or just someone claiming something, with no way to know the truth. What last link posted consisted mostly of fakes? I must have missed it.
105.
by codygman 6y ago
I recall refractors from those proposal being very mechanical and easy to automate. Maybe my memory is fuzzy... But if not can you give an example where that wasn't the case?
106.
by codygman 6y ago
> And at that point, all the power you get from saying things like there's only one possible implementation of a function f :: a -> a immediately go out of the window, because you don't have a value of type a, you have a val
107.
by codygman 6y ago
> This is a common counter-argument. It is a true statement. And, in the nicest possible way, it is also completely missing the point. Yes, kind of. > When you're playing with cute mathematical code and almost everything is writt
108.
Project Isolation Beyond Requirements.txt(blog.niteo.co)
1 points by codygman 6y ago|1 comments
109.
by codygman 6y ago
I argue after the initial learning curve every Joe would find it easier to avoid bugs in Haskell. https://www.simplehaskell.org/ Then if you use simple Haskell for a year and want more type safety, you can fearlessly refact
110.
by codygman 6y ago
> I am with you. Haskell is an brick wall of monads and other really hard words... I understand the feeling, that's why it's very necessary to either find a very good teaching resource. I'm currently reading "A Type
111.
by codygman 6y ago
This gives you the ability to arbitrarily order via user defined list (the first argument) and then to order by some comparison function if for instance a new key were added (length in this example). Given the example: { "b
112.
by codygman 6y ago
> Functional programming is a style or pattern. If a language gives you basic stuff, you can do that pattern. Kind of... correctness isn't as guaranteed though. Having a hard time putting it into words at the moment, maybe I just n
113.
by codygman 6y ago
> - Haskell (pure FP, even HKT): good for fun but not for profit. Use Haskell for pure FP. My day job disagrees Haskell isn't good for profit ;)
114.
by codygman 6y ago
I agree about Haoyi's libraries, but you're mention of overhead reminds me of the overhead you run into trying to be purely functional in Scala. If you're sold on benefits of purely functional programming, I think it's g
115.
by codygman 6y ago
> I tried with haskell and gave up when I noticed I couldn't easily get json serialization to be in the same order as the javascript implementation and therefor couldn't verify nor sign messages with interoperability with the c
116.
by codygman 7y ago
> In my experience, most harsh criticism comes from those who either barely used Go if at all or tried to build something Go wasn't aimed for. How do you know the harsh critics of Go you read barely used Go at all? What things did h
117.
by codygman 7y ago
>>> I follow a lot of prominent people in Rust ... I'm not sure these people are even building anything, they seem to be "snacking" on the language only. - Touche >> This is obviously false. How do you square t
118.
by codygman 7y ago
> There was a thread on the Rust reddit where someone was asking how to do something relatively simple using some elaborate combination of map/reduce/filter/continuations/who-knows-what, and someone said "just us
119.
by codygman 7y ago
What is your useful definition of art that is useful in this discussion?
120.
by codygman 7y ago
> Haskell is too academic How so? You know there has been a growing number of professional Haskell developers for the past 5-7 years right?

More ›