Vlákno názorů k článku Podpora funkcionálního programování v Pythonu a knihovna functools (2. část) od atarist - Možná bych dodal, že ML jazyky* provádí curryfikaci...
-
Pavel TišnovskýZlatý podporovatelReakce na to, jak měly OCaml a F# nakročeno. Ty jazyky nejsou mrtvé. O OCaml se starají v Jane Street a řekl bych, že do toho docela investují, takže nějaká vylepšení v typovém systému by být mohla. A F# sice nemá takovej "drive" jako na začátku, ale taky to není jen v udržovacím režimu.
Třeba do OCamlu 4 se přidal GADT, do 4.02 "generative functors" (to as nemá český ekvivalent) a tak.
-
Tady příklad FBIP (jen tak z plezíru):
structure Person : Type where firstName : String lastName : String instance : ToString Person where toString p := s!"{p.firstName} {p.lastName}" def main : IO Unit := do let mut arr := #[ Person.mk "Jack" "Sparrow", Person.mk "Will" "Turner" ] IO.println s!"{arr}" let some p := arr.get? 0 | IO.println "index out of bounds" arr := arr.set! 0 { firstName := "Elizabeth", lastName := "Swann" } IO.println s!"{arr}" let p := {p with firstName := "John" } IO.println s!"{p}" -
Předpokládám, že jsi myslel Toolz a dekorátot @curry. Chvilku mi trvalo to najít. Tak kdyby to taky někoho zajímalo: https://toolz.readthedocs.io/en/latest/curry.html
-
Pavel TišnovskýZlatý podporovatel
jj tam je to řešené hodně elegantně. Má to nějaké konsekvence (proměnný počet parametrů atd.), ale je to hodně čistě
