I'm curious to see if anyone has an interesting languages that are not really popular that they attack problems with first.
Ask HN: What language do you think in?
1–10 of 68 posts
Re: Ask HN: What language do you think in?
#2Python is a fairly straight-forward mental translation and functional languages I tend to need to spend more energy thinking about unless the problem is embarrassingly recursive.
Re: Ask HN: What language do you think in?
#3Interestingly, I've spent a some extended blocks of time working inside theorem provers. I find that it requires me a bit of time to switch to and from that style of thinking.
Re: Ask HN: What language do you think in?
#4It depends on the situation, but I generally think in terms of pure (recursive) functions and types. This then usually provides me with a reasonably quick mapping to my preferred languages (e.g. ML or Haskell), as well as providing a reasonably simple way of mapping back to languages like Java or C or PHP or whatever else I might be called upon to write occasionally. Interestingly, I've spent a some extended blocks o…
This resonates. I think in a weird pseudocode myself and after getting a grip on type theory I find I think in typed weird pseudocode.
Re: Ask HN: What language do you think in?
#5Re: Ask HN: What language do you think in?
#6Re: Ask HN: What language do you think in?
#7It depends on the situation, but I generally think in terms of pure (recursive) functions and types. This then usually provides me with a reasonably quick mapping to my preferred languages (e.g. ML or Haskell), as well as providing a reasonably simple way of mapping back to languages like Java or C or PHP or whatever else I might be called upon to write occasionally. Interestingly, I've spent a some extended blocks o…
"It depends on the situation, but I generally think in terms of pure functions and types. " This resonates. I think in a weird pseudocode myself and after getting a grip on type theory I find I think in typed weird pseudocode.
I think most programmers probably think it reasonably similar terms - it's just that having working in STLC or a high-level functional language gives you some mental machinery that doesn't rely on decomposing this thought process into some concrete syntax from a programming language.
(incidentally, this is one of the reasons why I think there is a lot of value in learning the Lambda calculus early in a computer science education).