tome

Joined 18 years ago

Karma

9,239

Submissions

5,607

Member since

Nov 30

View on Hacker News

Recent submissions

Comment · 7 days ago

Haskell most definitely supports loops:

    ghci> :{
    ghci| for_ [1 .. 10] $ \i ->
    ghci|   print i
    ghci| :}
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10

It doesn't require loops to be implemented at the language level, however. The language is rich enough to support user-defined loop constructs.

Comment · 11 days ago

> Just imagine the billions of value you could've generated with a more programmer-friendly language!

To make a serious rejoinder to a light-hearted comment, I couldn't have, because without Haskell I would have been so annoyed with programming I would have gone into management or something, so that I didn't have to use a "more programmer-friendly" language and want to tear my eyeballs out 8 to 10 hours a day. Seriously. Haskell is the only language I've used which I don't feel gets in my way.

Comment · 13 days ago

> Haskell is a great research language - just don't try to use it for actual production programming. ;-)

Oops, your advice came ten years and millions of dollars of value generated too late for me :(

Comment · 18 days ago

There is some work on that: https://www.youtube.com/watch?v=qk_P8piUclI

Comment · 22 days ago

The first article doesn't say that Israel was the culprit and the second article isn't about this particular case (nor does it actually say that Israel was involved, just Israelis, formerly intelligence service staff).

Comment · 22 days ago

Maybe a silly question, but without video isn't this obviously fake? Or is it normal for all participants on a call to be audio only?

Comment · 22 days ago

I think you've got it exactly backwards. The comment is supposed to explain that there can't be a scientific determination of such a matter, not that it itself is such a determination.

Comment · 23 days ago

This comment by nh2 (on Reddit) is my favourite response to that line of thinking. I recommend reading the whole thing. Excepts:

> You're not going to get any "credible empirical evidence" already because the sample size is so small. That would require getting, say, 100 companies that are similar in size and tasks, have a working business model and are still around, and also want to spend time on methotically collecting concrete evidence, and care to blog about that.

> people don't really want to spend time stating the obvious

> We don't spend time blogging that on our Haskell server, we get pretty much none of [run time type error or segfault] because well, those don't exist in Haskell

> We're convinced it's the best tool for the server job, compared to other tech we used at past jobs and projects. So we're using Haskell for it, and we started it in Haskell. We cannot compare before/after, because we directly started it in the "best tool available". We can compare our current project to our past individual work experience, but one cannot simply turn such individual cross-project experience into quantitative evidence

https://www.reddit.com/r/haskell/comments/1plsmqh/comment/nt...

Comment · 24 days ago

If that's so could you link the other articles?

Comment · 25 days ago

The culprit where?

Comment · 25 days ago

That article doesn't say it was Israel.

Comment · 25 days ago

Are you sure it says that? As far as I can see it only says he dealt with Israeli ex-spies in an (unrelated) kidnapping and that he was friendly with Israeli spies.

Comment · 25 days ago

I don't quite follow. `fmap = map` is a valid implementation for lists indeed, but `for_ = foldr` is not. They don't have compatible types, for one thing. What do you mean?

Comment · 26 days ago

Or just use `for_` instead of explicit recursion ...

Comment · 26 days ago

Yes, because foldr is equivalent to for_, that is, iterating over a container and performing an effectful action (what in other languages would be called "doing something") for each element. Uses of foldr can always be rewritten to uses of for_, and I find things much clearer in terms of for_!

(This is explained in my article "foldl traverses with State, foldr traverses with anything": https://h2.jaguarpaw.co.uk/posts/foldl-traverses-state-foldr...)