Vlákno názorů k článku Programovací jazyk F#: proměnné, funkce a datové typy od Calculon - Mutabilita je ve funkcionálním jazyce cesta do pekel,...

Mutabilita je ve funkcionálním jazyce cesta do pekel, nicméně jde to i čistě funkcionálně, viz zde: http://leanprover.github.io/talks/NFM2022.pdf (slajdy s titulkem "Local Imperative Programming") — "Lean 4 is still a purely functional language." Vypadá to skoro jako černá magie.

Příklad:

def main : IO Unit := do
  let mut x := 1
  repeat do
    IO.println s!"{x}"
    x := x + 1
    unless x <= 10 do break

máš tam x jako mut

Jo, mám. Ale nechápu, proč to píšeš? Takhle se prostě ten “lokálně imperativní” kód píše.

jj já to myslel jen tak, že se prostě ta mutable nepříjemná potvora někde objeví. Buď se schová do bloku jako tady, nebo se "přesune" na mutable stack a budeme se tvářit, že máme čistou rekurzi atd.

Tady ta rekurze právě je čistá. Nemusíme se jen tvářit.

Tady je citace z článku “Do unchained”, co jsem už jednou posílal:

“we explore extending do notation with other imperative language features that can be added to simplify monadic code: local mutation, early return, and iteration. We present formal translation rules that compile these features back down to purely functional code”

Takže ten kód je čistě funkcionální, všechno, co je uvnitř “do” a vypadá imperativně, je jen syntaktický cukr.

dík za objasnění

Není zač. Smůla zde akorát je to, že to funguje jen v “monadických kontextech”.

Program mi zbehne aj s repeat bez do. Je to v tomto prípade konvencia?

Tak to nevím, jak přesně se tady repeat chová. Zkusil bych, jak se chová while místo repeat. Možná je někdy "do" implicitní, ale detaily neznám.

Tady je trochu lépe vidět to "do unchained": https://www.root.cz/clanky/prace-s-nekonecnymi-sekvencemi-v-knihovne-funcy/nazory/1126269/