tag:blogger.com,1999:blog-3952876501331659855.post8292609236765679593..comments2024-03-07T13:31:48.446+02:00Comments on Marco's Blog: Functional Programming In IndustryAnonymoushttp://www.blogger.com/profile/09634973425351931784noreply@blogger.comBlogger8125tag:blogger.com,1999:blog-3952876501331659855.post-69034732248642518562010-04-14T17:31:58.780+02:002010-04-14T17:31:58.780+02:00Just curious, can you list some profitable FP comp...Just curious, can you list some profitable FP companies?toddhttps://www.blogger.com/profile/05855614881353985234noreply@blogger.comtag:blogger.com,1999:blog-3952876501331659855.post-11283486046155259002007-11-05T18:32:00.000+02:002007-11-05T18:32:00.000+02:00By "OCaml can format code itself" I suppose you me...By "OCaml can format code itself" I suppose you mean things such as indentation, etc. By style I was referring to a more complete style than just format. Good examples of this in the <A HREF="http://www.cs.caltech.edu/courses/cs11/material/haskell/misc/haskell_style_guide.html" REL="nofollow">Haskell guide</A> are MAGIC_NUMBER, USELESS_CODE and USAGE_STMT. There are many more examples, but hopefully you get the idea.<BR/><BR/>When I was at Google they had extremely comprehensive style guides. They are a pain in the beginning, but help a lot once you get used to it. I'd hate to work in even a small group of people working on the same code, each with very different style.Anonymoushttps://www.blogger.com/profile/09634973425351931784noreply@blogger.comtag:blogger.com,1999:blog-3952876501331659855.post-10673692700294569502007-11-05T13:09:00.000+02:002007-11-05T13:09:00.000+02:00The style guide you've said is for OCaml is actual...The style guide you've said is for OCaml is actually for Standard ML. You probably meant to link to this one:<BR/><BR/>http://www.cs.caltech.edu/~cs20/a/style.html<BR/><BR/>There is another one here:<BR/><BR/>http://www.seas.upenn.edu/~cis500/cis500-f06/resources/programming_style.html<BR/><BR/>I don't really see the point of trying to dictate how OCaml code should be formatted when OCaml can format code itself...Jon Harrophttps://www.blogger.com/profile/11059316496121100950noreply@blogger.comtag:blogger.com,1999:blog-3952876501331659855.post-38223578862123307592007-10-16T09:26:00.000+02:002007-10-16T09:26:00.000+02:00While learning any language I am interested in its...While learning any language I am interested in its current uses and where it's heading. I think it's only natural to question the future of a language for which one invests time in. And FP is a very interesting case. How much is it worth studying FP?Anonymoushttps://www.blogger.com/profile/09634973425351931784noreply@blogger.comtag:blogger.com,1999:blog-3952876501331659855.post-54189065232091530312007-10-16T00:25:00.000+02:002007-10-16T00:25:00.000+02:00I find this to be true with most people who tout t...I find this to be true with most people who tout these mighty also-ran languages: "...I know a fair amount of the theoretical side of Haskell, although I've had next to zero practical experience.".<BR/><BR/>Interesting...Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3952876501331659855.post-38394389568122314122007-10-14T21:50:00.000+02:002007-10-14T21:50:00.000+02:00Yes, ego has a lot to do with it. I mean, I also p...Yes, ego has a lot to do with it. I mean, I also prefer going on and doing my own thing. I don't like having to follow what other people say. But it has proved beneficial with imperative languages and therefore I can't see why this doesn't extend to functional languages.<BR/><BR/>Breaking the cycle is going to be difficult. With imperative companies, it is usually a select few pushing the use of FP. Since their managers probably don't know much about FP they aren't going to really enforce anything since they are the "clueless" ones. But yes, initiative needs to be taken to further develop such styles. The Haskell one is a great example of what can be achieved.<BR/><BR/>I missed that Erlang guide, but a lot of it seems to be very generic stuff that applies to all languages.<BR/><BR/>I know there are companies using FP and that they are profitable - I mentioned that in the post. However, the average functional programmer has a greater skill level and so it's difficult to make a comparison. And this is about expanding FP to the masses, not just an elite community. Existing functional programmers can set things up for new programmers to enter a FP project and that is where style guides can help.Anonymoushttps://www.blogger.com/profile/09634973425351931784noreply@blogger.comtag:blogger.com,1999:blog-3952876501331659855.post-69878243493129429302007-10-14T19:36:00.000+02:002007-10-14T19:36:00.000+02:00There is an Erlang style guide athttp://www.erlang...There is an Erlang style guide at<BR/><BR/>http://www.erlang.se/doc/programming_rules.shtml<BR/><BR/>I think the interesting question to ask is<BR/><BR/>- are there companies who bet their entire existence on FPLs? not whether they use some style guide.<BR/><BR/>Answer yes - several.<BR/><BR/>Are they profitable?<BR/><BR/>Yes<BR/><BR/>Are they more profitable than the<BR/>equivalent company using Java/C++?<BR/><BR/>Pass - we thing so - but there is no hard evidence here.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3952876501331659855.post-15458955151701366852007-10-14T10:32:00.000+02:002007-10-14T10:32:00.000+02:00Too much ego? I had my fun share learning scheme a...Too much ego? <BR/><BR/>I had my fun share learning scheme and haskell, and back in those days, there weren't any hint how to structure your codes, as long as they work. When I looked at my old codes, some of them have consistent style, and some of them haven't. <BR/><BR/>I suppose to break the cycle, a full of initiative person can start up to build a reasonable coding style for a functional language (like what is done by Mike Vanier for his Haskell class in Caltech). And then, have any existing industry which uses that language to start enforcing them. Things should follow on from there.<BR/><BR/>But then again, I suppose this is more like a hypothetical suggestion than a real suggestion, given the individualistic nature. What's important is to have some prominent figures to endorse a good style, and time should tell the rest of the story.Unknownhttps://www.blogger.com/profile/06965131754393605301noreply@blogger.com