HackerTrans
TopNewTrendsCommentsPastAskShowJobs

jameshh

no profile record

Submissions

Using algebra and LLMs to verify a flight-plan bug fix in Lean

jameshaydon.github.io
5 points·by jameshh·vor 2 Monaten·0 comments

Solving `Passport Application` with Haskell

jameshaydon.github.io
308 points·by jameshh·letztes Jahr·125 comments

comments

jameshh
·letztes Jahr·discuss
> the lack of parentheses for function calls plus currying means that to read a function call, you need to already know how many arguments the function takes

While I agree with the general sentiment of what you are saying, note that the syntax has nothing to do with it, it is purely about Haskell using currying excessively. The syntactic translation between Haskell and JS is straight-forward and 1-1:

    f x y z      ->  f(x)(y)(z)
    f x (y,z) w  ->  f(x)(y,z)(w)
I agree that excessive currying is not great, and generally push for non-curried arguments unless a curried form realy is used in practice. But for this to really be comfortable, and to still enjoy all the hgiher-order programming that's nice with Haskell, we would need good records (strucural, anonymous, extensible), which it doesn't really have right now, so we are stuck with currying.
jameshh
·letztes Jahr·discuss
I agree, I also renewed my passport recently and the website and process is quite smooth. It's the more complex cases, first requests from abroad, etc., that lack automation.
jameshh
·letztes Jahr·discuss
At least you got the bonus endscreen credits!
jameshh
·letztes Jahr·discuss
> although I don’t really see why it was relevant anyway, my son’s Britishness is derived from my Britishness, her nationality and the nationality of her parents is essentially irrelevant

This is essentially happened to me, the "75% of the initial doc requests turned out to be irrelevant" was referring to this sort of thing.
jameshh
·letztes Jahr·discuss
> I think the author may also be born outside the UK which may require other/more documents

In fact `applicant's father` (me) was born in the UK in this case, but `applicant's father's father` was not, the cause of the extra complications.