Vlákno názorů k článku
Nejlepší programovací jazyky podle IEEE Spectrum jsou Python a SQL od johny - F#, Raku, Groovy, Closure/Lisp, Go, C# - ideálny...

F#, Raku, Groovy, Closure/Lisp, Go, C# - ideálny mix.

Je to Clojure, johny.

Za mne OCaml, APL, Jai, C/C++ (23), Lua, Mercury, APL, Python, Erlang, Raku.

Mercury, nice :)
OCaml (nebo jiný moderní ML-like jazyk) je taky fajn.

Tak ja som sa obmedzil len na tento zoznam. Tých zaujímavých "top" jazykov je ďaleko viac. Napríklad theorem provers, ako Coq, Agda, Lean sú špecifickou kategóriou. Ďalej zabudované jazyky, DSLka, jazyky pre deti ako Scratch a pod.

11. 9. 2023, 11:43 editováno autorem komentáře

Jojo, musel sem se také držet :D.

Ze zajímavosti, ty ovládáš Clojure, když neumíš napsat jeho jméno?

Já ho napsat umím, ale neovládám :D

Coq a Agda jsou pro matematiky, ale Lean jen do verze 3, Lean 4 přepsali, aby byl plnohodnotným jazykem. O stejnou pozici usiluje Idris, zatím asi spíše neúspěšně (jazyk jako takový je super, ale infrastruktura nic moc).

Keďže vyšla tá 4ka, tak som si to znova na chvíľu vyskúšal. Rozbehnutie bolo triviálne, má to builder, jedhoduchý extension pre VS Code.
Syntax je parádna.
Našiel som však len jeden funkčný program, všetko ostatné sú proovery. A to je zhustená, náročná matematika. Zatiaľ je to vo fáze pokusu a omylu ako to asi vlastne funguje.
Lean má naozaj strmú krivku učenia teda.

-- import «First»

def twice (f : Nat  Nat) (a : Nat) :=
  f (f a)

structure Person where
  name : String
  age  : Nat

def main : IO Unit :=
  -- let name := "John Doe"
  -- IO.println s!"Hello, {name}!"

  -- let names := ["Sebastian", "Leo", "Daniel"]

  -- for name in names do
  --   IO.println name

  -- let res := twice (fun x => x + 2) 10
  -- IO.println res

  -- IO.println Lean.versionString

  -- let res := List.map (fun x => x + 1) [1, 2, 3]
  -- IO.println res

  -- let p := { name := "Leo", age := 44 : Person }
  -- IO.println p.name
  -- IO.println p

  let vals := #[1, 2, 3]
  IO.println vals[0]

S APL sa niekedy hrám tiež, ale ešte som nedospel k tomu, aby som ho musel do zoznamu obľúbených písať dvakrát :-)

Jsem doufal, že si toho nikdo nevšimne .) Upravovat příspěvěk bohužel jde jen pár minut. Ale ber to tak, že APL(1) := K a APL(2) := Q (nebo Dyalog či BQN?, sakra).

+ Forth!

12. 9. 2023, 11:42 editováno autorem komentáře