codygman

56 ms·

511.
by codygman 11y ago
It doesn't seem like innguest hates low-level to me. Kind of random question: What do you think of Rust and ATS?
512.
by codygman 11y ago
Getting a 502 error when trying to add fpco.key. Guessing servers are overloaded?
513.
by codygman 11y ago
> Are there any examples of Haskell being used to do anything really cool and useful to the average programmer. https://code.facebook.com/posts/302060973291128/open-sourcin... More here: https://www.
514.
by codygman 11y ago
> In my view, Haskell is a good example of how you can overdo it, with the best intentions: concepts that are beautiful and frictionless in pure math become a cumbersome burden and an impractical cognitive load when translated too direct
515.
by codygman 11y ago
> Well, depending on your problems, Haskell may simply not be the correct answer. It shines complex behavior for example, but "numerical work" normally means simple behavior (but highly optimized) To give a rebuttal to Haskell
516.
by codygman 11y ago
> I also think Haskell places an unreasonable burden of thinking about the types vs. the algorithm an domain. When you are encoding your logic in types the distinction between types and "the algorithm and domain" is very blurre
517.
by codygman 11y ago
I've never taken a calculus class and I'm very productive in Haskell. Maybe knowing all of the applied Math and that there is a better solution available in Haskell keeps you from being productive? I take the route of solving prob
518.
by codygman 11y ago
> Maybe we work on very different kinds of problems, or maybe it's just because we're different people. In the interest in figuring out which, what problems do you work with and what are your principles/beliefs/guidin
519.
by codygman 11y ago
Maybe you should write a blog post and list those reasons and post it here. Would probably create interesting discussion.
520.
by codygman 11y ago
I work on rest APIs mostly and the Internet of things.
521.
by codygman 11y ago
Just built my project on NixOS with no problems. Built it on Ubuntu with a cabal sandbox, no problems. Using stackage LTS I have no problems. Built it using Halcyon as well. Building with vanilla cabal I might have some issues, but professi
522.
by codygman 11y ago
I can agree with that, but once you are experienced with functional languages I think "easier to start off with" becomes a very low value. I'm assuming by start off with you solely mean "starting a new project" and
523.
by codygman 11y ago
As someone who used Go in the past for work and now uses Haskell, I can say that the advantages of Haskell over Go are more than "just theoretical". In my day job I use Haskell to "just get shit done". However when it co
524.
by codygman 11y ago
What are you currently stuck on?
525.
by codygman 11y ago
> The difference is that with Haskell or Erlang you get hard guarantees about side effects, but access to imperative libraries is very difficult. In my experience creating Haskell bindings to say imperative c libraries is pretty easy. Wh
526.
by codygman 11y ago
what are some specific disadvantages of operator overloading in the instance of subtracting or adding months together?
527.
by codygman 11y ago
I've successfully used this one before :)
528.
by codygman 11y ago
> The amount of times where defining a partially applied higher-order function is the best way to solve a problem is nonzero, but still really really low. Not sure about Scala, but I find partially applied higher order functions to frequ
529.
by codygman 11y ago
Best I could find was this: https://groups.google.com/forum/#!topic/golang-nuts/L5Lothlv... It also led to a real world example where the author tried using Go for a project and had a lot of need for Generics
530.
by codygman 11y ago
I mostly agree, but I'll say (usually at the cost of more complexity upfront) you can encode quite a bit of logic into Haskell's type system. But yes, you can easily create a beautiful specification for the wrong thing. I think th
531.
by codygman 11y ago
> saying "if it compiles it works" is one of the most damaging things people say about Haskell I've recently been getting a lot of logic errors with code at work I'm working on for a typeclass instance, so the "i
532.
by codygman 11y ago
Hopefully since FP Complete open sourced the backend to their FP Haskell center IDE a offline usable version will be made.
533.
by codygman 11y ago
> Show them an implementation that works in Go, and they've said multiple times they might do it. Put up or shut up, basically. Didn't someone fork Go and do exactly that only to get ignored? Perhaps it was a rumor, do you know
534.
by codygman 11y ago
These are the reasons I advise using Haskell for startups. If you make everything validated (or much of it) at compile time you can move very quickly. There's also the feeling of the code writing itself. In some places you can litera
535.
by codygman 11y ago
I agree, that would be awesome to study/emulate. Possibly use some of the techniques to make GHCJS programs smaller.
536.
by codygman 11y ago
I feel like that comment is a little disingenous or at least needs a caveat after reading this[0]. I know that casts are almost never needed in Haskell code whereas I needed them in my last Android application (correct me if there's an
537.
by codygman 11y ago
> it's simpler to directly call the right function, rather than over-engineering things with a short-lived intermediary representation. That intermediary representation can enforce that your input is valid. Then you can create func
538.
by codygman 11y ago
Can you list some ways/reasons Purescript is too unstable for you? Maybe a link to the JS Array type mistake? I've used purescript for some semi-serious stuff before and didn't notice anything unstable.
539.
by codygman 11y ago
You can encode logic into types making what were previous runtime logic errors compile time errors.
540.
by codygman 11y ago
Purescript (while not quite Haskell) also has very small output and is strict by default. There's also the very fun, informative, and productive "Purescript By Example"[0] book. 0: https://leanpub.com/purescri

More ›