Incase it doesn’t show up:

  • mitchty@lemmy.sdf.org
    link
    fedilink
    arrow-up
    5
    ·
    2 months ago

    Yeah this only really applies to Algol style imperative languages. Dependent types and say stack languages like idris and apl are dramatically different in their underlying axioms.

    • Treczoks@lemmy.world
      link
      fedilink
      arrow-up
      3
      ·
      2 months ago

      Indeed. I have done languages like Prolog and Forth, too, and have actually written a bit in APL ages ago. Yes, they are different, but in the end, it just adds a little bit of complexity. The underlying algorithms are universal, just the methods and structures to achieve them differ. Actually, the first programming language I have written was a simplified Forth derivate - in 6510 Assembler.