Vlákno názorů k článku Datové typy Option, Result a Array v programovacím jazyku F# od Calculon - Když mám “Result E T” tak monáda je...

Když mám “Result E T” tak monáda je “Result E” (currying).

Pole dobrý, ale jsou čistě funkcionalni?

Kdyz jsou mutable tak asi nebudou.

(porad mi vsude chybi vektory ala Clojure :)

Mně čistá pole z Leanu :)

10. 10. 2023, 09:52 editováno autorem komentáře

tuším že Tě nakonec dokopou, abys o Leanu něco napsal (jenže o jaké verzi?)

Smysl dává jen Lean 4.

Tak Lean to rieši po svojom. Chlapík to tu vysvetľuje. (Ale píše, že si nie je stopercentne istý.)

Lean nemodifikuje pôvodné pole, ale zahodí ho a na jeho mieste v pamäti sa nejako šikovne vytvorí nové, modifikované pole.

def main : IO Unit := do

  let a := Array.mk [1, 2, 3, 4, 5]

  -- makes a copy of a (since a is still referenced)
  -- and modifies element in position 3
  let b := a.set! 3 44
  let b := b.set! 4 55  -- modifies b in-place

  println! a
  println! b

Funguje to vtedy, ak na oboch stranách priradenia je rovnaké pole.

Je to trochu jinak (na SO to je vysvětlené správně). Nic se nezahodí, to pole tam prostě zůstane a změní se in situ.

Na SO je ale špatně popis "do", to funguje v Leanu s každou monádou, nejen IO, takže se výsledky funkcí zabalovat nijak nemusí.

Tak Lean má taky “mut” a přitom je čistě funkcionální. Cesty monád jsou nevyzpytatelné.

Tak immutable arrays sú už predbežne schválené, vybrali si už aj syntax [: :]. F# rieši dilemu tak, že má čisté API a nečisté API, pričom to východzie je immutable, napr. Array.InsertAt. Ak sa má pole modifikovať, tak je tam explicitne uvedený úmysel, Array.sort vs Array.sortInPla­ce. (Nejako podobne rieši Python privátne importy.)

Clojure to rieši tak, že na "nečistú prácu" odkazuje použiť Javu, teda jej pole.