HN comment on Julia vs Swift type checking and auto diff

I recall that you initiated a similar discussion,

in which you did not participate after people replied. There are some relevant points there.