Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
codygman
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
92 ms
·
871.
▲
by
codygman
12y ago
Go has a garbage collector, that makes it not like C.
872.
▲
by
codygman
12y ago
This book is pragmatic, fun, and thorough. It also provides a nice introduction for people new to thinking in a functional way and applying it to the real world.
873.
▲
by
codygman
12y ago
It sounds like a Haskell programmer using unsafePerformIO everywhere. Or, perhaps a more apt example would be using Data.Dynamic for everything.
874.
▲
by
codygman
12y ago
Thanks for putting isomorphic in quotes.
875.
▲
by
codygman
12y ago
I personally use generics enough in web development that Go is sufficiently annoying for many parts.
876.
▲
by
codygman
12y ago
I was curious what Haskellers were using and found this: https://github.com/codygman/git-date-haskell Had to do a small bugfix from bitrot, but this is a nice package that wraps the git date handling code which the aut
877.
▲
by
codygman
12y ago
I'm pretty sure the Ocaml code is doing more than the Python code you posted. Hopefully someone who knows Ocaml can explain it to us and then we can write the actual python equivalent.
878.
▲
by
codygman
12y ago
To this Haskeller it appears to be keeping state as well.
879.
▲
by
codygman
12y ago
While I love and use Haskell a lot I would recommend Purescript [0] over Haskell or Ocaml. Even if the only reason (hint: it's not) were that Purescript uses familiar tooling such as NPM, node, CommonJS modules, bower, etc and would al
880.
▲
by
codygman
12y ago
How does Ocaml do on having predictable memory usage? This is still a weak spot in Haskell, though I absolutely love the language and it hasn't mattered yet for my use cases. Doesn't it hurt having a GIL? How awesome is having the
881.
▲
by
codygman
12y ago
I would like to second the recommendation of either Racket or Chicken Scheme (Gambit is good too) where you are writing command line scripts with a LISP. I'm sure Common Lisp has excellent options as well, but I can't speak to tho
882.
▲
by
codygman
12y ago
I believe they can be very easily used if they are CommonJS modules? I'm not sure, but I'm almost positive the amazing Purescript Book[0] has an answer for you. 0: https://leanpub.com/purescript/read
883.
▲
by
codygman
12y ago
After looking at that site I'm baffled as to why it's not more popular.
884.
▲
by
codygman
12y ago
C# imo doesn't qualify as a programmable programming language and even if it did it wouldn't be the first.
885.
▲
by
codygman
12y ago
Have you checked out purescript[0]? 0: http://www.purescript.org/
886.
▲
by
codygman
12y ago
This link seems to be broken :(
887.
▲
by
codygman
12y ago
A shame this one didn't get any discussion, especially from those who didn't see the benefit in the original version.
888.
▲
by
codygman
12y ago
You don't have to validate all objects inside of that list are an int or handle cases via duck typing, exceptions, etc. As _yosefk said, the interpreter can assume a more compact representation.
889.
▲
by
codygman
12y ago
> Whether or not a square is a rectangle in a Euclidian sense it is a normal thing to use a type system in this way. Why do I care about whether or not it's normal way (for some people/languages) to use a type system in this wa
890.
▲
by
codygman
12y ago
How does what the OP posted not qualify as an alternative?
891.
▲
by
codygman
12y ago
Well, to be fair it's if you use any language that uses some equivalent of the Maybe Monad.
892.
▲
by
codygman
12y ago
I'll admit I'm a little rusty on my geometry, but I'm fairly sure I was never told that a square is a rectangle. If you mean insofar as operations on rectangles should work on squares, this could be accomplished with typeclas
893.
▲
by
codygman
12y ago
What "Real World" applications do you think Haskell isn't practical for? For instance, why wouldn't Haskell be practical for web development?
894.
▲
by
codygman
12y ago
I've been debating whether or not to choose C++ or D to learn as my "when performance really matters" language. I'm still going to learn Rust, but I'm very interested in D. I also like that it has a pure keyword ;)
895.
▲
by
codygman
12y ago
Cool, it's always good to see other languages approaches (especially when idiomatic) to try out their way of thinking. > I would very much be interested in the dependently typed version. I'll try to get to it later today, I
896.
▲
by
codygman
12y ago
> Go model a square and a rectangle in your favorite statically typed language. Okay. data Shape = Square Int | Rectangle Int Int deriving (Show) > You will find that square extends rectangle and setting the length on a squar
897.
▲
by
codygman
12y ago
Yeah, I was really big into elm until I started noticing how slow many of my programs were on Firefox. Everything runs great in Chrome however.
898.
▲
by
codygman
12y ago
It probably hasn't been proven enough for him to deem worth of his time. I don't say that condescendingly, but he seems to have a pretty pragmatic approach to trying out new stuff. Unsurprising, given how busy he inevitably is.
899.
▲
by
codygman
12y ago
I believe that ATS[0] has/can do this, perhaps I'm confusing another feature. Anywho, there's also a very comprehensive ATS book[1]. 0: http://www.ats-lang.org/ 1: http://ats-lang.sourceforge.net&#
900.
▲
by
codygman
12y ago
> If you're test-driven, you're basically building up your own, domain specific compiler as you go not having to play by a language-specific static type systems rules. > I could care less about the type system of merely a la
More ›