Názor k článku Common Lisp: žralok mezi programovacími jazyky od Calculon - Haskell se celou dobu drží ve Spojeném království,...

  • Článek je starý, nové názory již nelze přidávat.
  • 15. 4. 2022 20:53

    Calculon

    Haskell se celou dobu drží ve Spojeném království, jinak asi moc ne. Ale Francouzi mají zase “svůj” OCaml a jako kuriozitu zmíním jeden obskurní jazyk (nevím, jak se jmenuje, možná ani nemá jméno) z Krakova založený na čudné (nefregovské) logice Romana Suszky (rodák z Těšínska), který vymyslel specifický logický systém pro formalizaci Wittgensteinova traktátu, načež mu v tom divní lidé začali psát programy (podobně jako když Martin-Löf vymyslel formální systém pro popis konstr. matematiky a informatici z toho k jeho nelibosti vyrobili Agdu a Coq). Ostatně i Lisp vzniknul jako čistě teoretický popis matematických funkcí a McCarthy valil bulvy (“you're confusing theory with practice, this eval is intended for reading, not for computing”), když Russell napsal interpret.