Hacker Timesnew | past | comments | ask | show | jobs | submit | SomeOtherGuy's commentslogin

This is an echo chamber. What you hear here is not indicative of real world relevance.


>Take advantage of all that extra time

There is no extra time. You just moved time at night to time in the morning. You can take advantage of that time regardless of whether it is in the morning or the evening.


>Most languages can help you avoid using the wrong one through the use of variable names.

That doesn't help at all, are you serious? Cause you genuinely sound like you are trolling. Especially when you say things like "if a language can't prevent every possible bug then there's no poing having it prevent any bugs".


>Erlang is interpreted

No it isn't, it is compiled to bytecode and executed on a virtual machine, just like most scripting languages are.

>Since this is not about a simple CGI application a benchmark in which you compare the running time of a compiled executable with the interpretation and running time a another program it doesn't make a lot of sense.

Read the site, this concern is explicitly addressed. The tests are long running, not short tests repeated a million times. So the byte code compilation step ends up too small to notice. That is why using a PHP bytecode caching plugin doesn't increase PHP's performance on the shootout, and why java isn't dead last from the massive startup time of the JVM.

>Also this performance usually isn't the best way to argument about languages for web applications

This is a myth. Very few web applications actually have one CPU intensive portion that can be moved out into a C module. Most web apps have pretty flat profiles, where overall language speedups make the biggest difference. When 90% of your time is spent in 10% of the code, a C module is a reasonable option. When 90% of your time is spent in 90% of your code, your only option is a faster language.


>For complex template rendering/delivery, Erlang will probably beat anything out there because of Erlang's intelligent use of immutable data and I/O lists.

What templating engine are you talking about? I'd assume ErlyDTL for obvious reasons, but it is certainly not beating "anything out there". Are you just comparing it to scripting languages or what?


>Is anyone here using haskell or a similar funtional language for any web app?

Yes.

>Would be interested in known your experiences and opinion compared to something like django or rails.

Rails is an abomination, so pretty much anything would be better than that. We rolled our own framework in scala. Despite initial resistance from some dynamic language proponents here, it is now the only thing anyone here will use for web development. Even the python fan won't touch django now.

>How difficult is it to build something with a complex domain model?

Easier than in dynamic languages. The problem with complex models is that humans can't hold all that information in their heads. Static typing lets us offload a bunch of important information to the compiler and have it error check for us as we go. Our biggest issue has been that scala isn't strong enough, I'd much prefer to be using haskell.


>Our biggest issue has been that scala isn't strong enough, I'd much prefer to be using haskell.

I hear that. I learned Haskell because I thought it would help me understand Scala better (namely the type system), but Haskell spoiled me and I don't want to use Scala anymore. Only thing keeping me on Scala atm is Lift, a truly excellent rethinking of web frameworks. If I ever find the time I want to start porting Lift to Haskell.


I'm not a huge fan of lift, but the portion of it I am ok with (the templates/snippets side of things) is fairly similar to how you use snap. It may be worth it to work on helping to finish snap (or forking it if need be) rather than starting from scratch. Snap currently provides nothing for database access, so you have a blank slate there to copy mapper or record from lift (but those both suck horribly!).


Interesting, what aspects are you not a fan of (besides the persistence parts)?


The model side of things is certainly my biggest complaint. The other things are minor in comparison, but still annoying. I like the architecture of lift, just not some of the details of the implementation.

I don't like the way templates are forced to use snippets to load data, in particular as it results in snippets being dependent on the database, and thus not suitable for unit testing. The framework should be pulling the data into the view, which then passes it as an argument to the snippet to do whatever transformation on it. That way snippets are entirely self-contained and easy to unit-test. This is the sort of thing that I think would have ended up the way I want had it been written in haskell instead of scala just because writing small, self-contained functions is the typical haskell way of doing things.

I hate the very opinionated nature of the form handling, and the even more opinionated responses from the developers to questions like "how can I make a form that works normally and doesn't require a session". People are not bad for wanting forms to behave normally, and the "security" show the lift devs put on to justify the form handling in lift is insulting.

While I find templates acceptable, they are seriously missing out on type safety. I should get a compiler error if I create a template with invalid html. Ocsigen got this part very right (an ocaml framework/appserver). Not only do I not get this benefit for my markup, but lift itself generates invalid html on me when using virtually any of the included form generation methods. Very annoying.

Ideally what I want is a framework that gives me the type safety of yesod, but with the structure of lift. I hate faux-mvc web frameworks and find they make things more difficult rather than making things easier, and unfortunately yesod copies the typical rails clone structure. Lift doesn't make the mistake of trying to hide http from me, and gives me the simple and correct mapping of template to url, leaves the domain model in the model instead of cramming it into "controllers" that shouldn't be involved.


Thanks. Those haven't bothered me too much yet, but good to have on the radar. That's the first real critique of Lift I've seen, other than 'it's not MVC'.

As for Yesod, I was also thinking it would be nice to have the type safety and parallel/concurrent performance of Yesod with the templating and structure of Lift. Don't know Yesod well enough yet though. Too many side projects.


No interest in starting a flame-war, but as someone who's just getting going learning to code, I'm curious why you would call Rails an abomination. Can you explain in a way a complete beginner would understand?


I can try. Basically it is a PHP framework written in ruby. It has a really poor API that makes for very error prone coding. It completely fucked up the entire MVC architecture, creating a big fat controller layer that contains logic that belongs in the model. This makes it impossible to re-use code as much as it should, and makes unit testing much harder as there's too many inter-dependencies. And monkey-patching is the norm with rails, which causes all sorts of bugs. Monkey-patching is basically changing the API of existing classes, so then other libraries you might use break because the API they are expecting from the ruby library has changed on them.


Right , I get that static typing can be an advantage but how is the functional paradigm an advantage in this case?

Or is it more than you just want to use something statically typed that isn't Java?


Ah, yes we weren't looking for functional languages specifically, just languages with expressive type systems. As far as I know, the only languages with expressive type systems are also functional so we end up with a functional language as a consequence of that requirement, not due to actively seeking a functional language.

We use scala in a pretty functional way, but most of the gains there come in the processing/displaying side rather than the model. Just because that portion lends itself to a functional style of applying chains of functions on data to transform it.


What do you mean by "strong" enough? Are you just talking about strongly typed?


Yes. Scala lets you bypass the compile time type safety pretty easily, and as a result tons of libraries do precisely that. Take squeryl for example, it advertises itself as a type safe DSL for querying databases, but virtually anything you throw at it will compile, and then results in run-time exceptions.


>I think there's a very real danger you guys aren't hearing stuff like this because who in their right mind would tell you and who would you listen to?

Tons of people have told him he's a pompous blowhard. The problem is that the answer to the second half of your question is "nobody". Paul's ego does not allow him to listen to anyone. "I was lucky once" is his standard reply to any form of criticism or questioning of his "wisdom".


If it is their New Coke, then what you mean is they can roll it back to something exactly the same, and then have conspiracy nuts repeat nonsense claims that it is different now. New Coke was not a way to distract people while they changed the recipe of classic, classic didn't change.


Classic did change. It went from having cane sugar before to having high fructose corn syrup afterwards.


Not sure about that.

What Coca Cola actually ships from Atlanta is the syrup, unsweetened. The bottlers add water and sugar to this, and AFAIK [1], it is up to their discretion what type of sugar to use.

This is one of the reasons that Coke tastes different in different places - a can of Coke in Montreal is very different from one in Toronto.

I'd have fact-checked this, but for some reason, Wikipedia is down... :)

[1] Perhaps this is no longer the case, but it certainly was in 1989, when I "interned" at a Coke bottling facility in Harare, Zimbabwe for a week


Well, according to Snopes this is a myth; bottlers had been allowed to use HFCS in original Coke prior to the introduction of New Coke. Here's what Wikipedia has to say:

The new product continued to be sold and retained the name Coca-Cola (until 1992, when it was officially renamed Coca-Cola II), so the old product was named Coca-Cola Classic, also called Coke Classic, later just Coke and for a short period of time it was referred to by the public as Old Coke. Many who tasted the reintroduced formula were not convinced that the first batches really were the same formula that had supposedly been retired that spring. This is partially true because Coca-Cola Classic differed from the original formula, as all bottlers who hadn't already done so were using high fructose corn syrup instead of cane sugar to sweeten the drink


You seriously think repeating conspiracy theory bullshit magically turns it into fact?


So, you missed the domain, and were subject to the horrors of people discussing comics? Why exactly do we need to protect you from this terrible fate?


Some employers flag at domain level and actively monitor internet use.

Developer news / discussion sites like HN are fine, but something like 4chan.org or somethingaweful.com aren't.


So you are complaining about (the linking to) a site protesting against censorship (+etc) because this could interfere with the censorship mechanisms implemented by some employers?


more likely it interferes with his job.


So how does that support your initial reaction at all? Comics aren't NSFW just because you work in a shithole. Tons of things get posted here that aren't related to software development, you think they should all be tagged as NSFW?


>get the data model benefits of a NoSQL database [1] without sacrificing the mature Postgres internals.

They already have that: http://www.postgresql.org/docs/9.1/static/hstore.html


HStore looks great, but as I understand it, it's just one level of key-value - JSON (and any document database) lets you store nested hashes.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: