Traits ve Fortranu

[Coati]

Doufám, že tu jsou nějací fortranisti Má moderní Fortran něco jak trait v Rustu? Podle dokumentace k F2018 jsem to v jeho OO vlastnostech nenašel, ale vzhledem k rozsahu se to dá snadno přehlédnout.

[Reklama]

[Wavelet]

Ne nemá, ale tady je proposal a konverzace dvou zasvěcených Fortranistů. https://github.com/j3-fortran/fortran_proposals/issues/125

[Idris]

Ne nemá, ale tady je proposal a konverzace dvou zasvěcených Fortranistů. https://github.com/j3-fortran/fortran_proposals/issues/125

Nějak se jim ta diskuse zvrtla, jeden o voze, druhý o koze. Ale ten původní návrh je dobrý. A ten druhý se statickým polymorfismem taky, hezky se doplňuje. Jsou velice blízko k objevení (typového systému) Go

[mikrom]

Fortran ma moduly. Funkcie z jedneho modulu sa mozu vzajomne volat. Jeden modul moze pouzivat ine moduly a volat z nich funkcie.

[mikrom]

S pouzitim modulov som to myslel takto:

modules.f95

Kód: [Vybrat]

module tmp_mod1
contains
  subroutine t11
    write(*, *) "t11"
  end subroutine
  subroutine t12
    write(*, *) "t12 calls:"
    call t11
  end subroutine
end module tmp_mod1

module tmp_mod2
contains
  subroutine t2
    write(*, *) "t2"
  end subroutine
end module tmp_mod2

module my_mod
use tmp_mod1
use tmp_mod2
contains
  subroutine s
    write(*, *) "s calls:"
    call t11
    call t12
    call t2
  end subroutine
end module my_mod

program main
    use my_mod
    write(*, *) "main calls:"
    call t11
    call t12
    call t2
    call s
end program main

Output:

Kód: [Vybrat]

$ gfortran modules.f95 -o modules

$ modules
 main calls:
 t11
 t12 calls:
 t11
 t2
 s calls:
 t11
 t12 calls:
 t11
 t2


[Reklama]

[Idris]

S pouzitim modulov som to myslel takto:

modules.f95

Kód: [Vybrat]

module tmp_mod1
contains
  subroutine t11
    write(*, *) "t11"
  end subroutine
  subroutine t12
    write(*, *) "t12 calls:"
    call t11
  end subroutine
end module tmp_mod1

module tmp_mod2
contains
  subroutine t2
    write(*, *) "t2"
  end subroutine
end module tmp_mod2

module my_mod
use tmp_mod1
use tmp_mod2
contains
  subroutine s
    write(*, *) "s calls:"
    call t11
    call t12
    call t2
  end subroutine
end module my_mod

program main
    use my_mod
    write(*, *) "main calls:"
    call t11
    call t12
    call t2
    call s
end program main

Output:

Kód: [Vybrat]

$ gfortran modules.f95 -o modules

$ modules
 main calls:
 t11
 t12 calls:
 t11
 t2
 s calls:
 t11
 t12 calls:
 t11
 t2


Jak to souvisí s traity?

[Idris]

něco jak trait v Rustu

Fortran má INTERFACE pro statický ad-hoc polymorfismus, rozhraní jako typ s dynamickým dispatchem ne. Ten výše odkazovaný navrh je pěkný. Ono to jde ve Fortranu s jeho OOP jednoduše obejít, ale je to hnusný kód navíc. Ve Fortranu se naštěstí “populární” OOP nijak moc nepoužívá, případy dědičnosti by člověk spočítal na prstech jedné stonožky. Hezčí řešení přinesou šablony s restrikcemi, k tomu už existuje oficiální návrh.

[mikrom]

S pouzitim modulov som to myslel takto:

modules.f95

Kód: [Vybrat]

module tmp_mod1
contains
  subroutine t11
    write(*, *) "t11"
  end subroutine
  subroutine t12
    write(*, *) "t12 calls:"
    call t11
  end subroutine
end module tmp_mod1

module tmp_mod2
contains
  subroutine t2
    write(*, *) "t2"
  end subroutine
end module tmp_mod2

module my_mod
use tmp_mod1
use tmp_mod2
contains
  subroutine s
    write(*, *) "s calls:"
    call t11
    call t12
    call t2
  end subroutine
end module my_mod

program main
    use my_mod
    write(*, *) "main calls:"
    call t11
    call t12
    call t2
    call s
end program main

Output:

Kód: [Vybrat]

$ gfortran modules.f95 -o modules

$ modules
 main calls:
 t11
 t12 calls:
 t11
 t2
 s calls:
 t11
 t12 calls:
 t11
 t2


Jak to souvisí s traity?

Moduly vo fortrane (90+) maju podobny ucel ako traity v inych jazykoch. Sluzia na organizaciu a znovupouzitie kodu.

[Ink]

Moduly vo fortrane (90+) maju podobny ucel ako traity v inych jazykoch. Sluzia na organizaciu a znovupouzitie kodu.

Možná jsem něco nepochopil, ale co jsi demonstroval ve svém příkladu, jsou funkce uspořádané do nějakých namespaces. Traity slouží k implementaci nějakého rozhraní napříč různými typy (třídami). Možná tam někde nějaký průnik vidíš, ale nepřijde mi, že by tam byla nějaká zásadní podobnost nebo zastupitelnost.

[mikrom]

Moduly vo fortrane (90+) maju podobny ucel ako traity v inych jazykoch. Sluzia na organizaciu a znovupouzitie kodu.

Možná jsem něco nepochopil, ale co jsi demonstroval ve svém příkladu, jsou funkce uspořádané do nějakých namespaces. Traity slouží k implementaci nějakého rozhraní napříč různými typy (třídami). Možná tam někde nějaký průnik vidíš, ale nepřijde mi, že by tam byla nějaká zásadní podobnost nebo zastupitelnost.

No ano, OP sa pytal ci Má moderní Fortran něco jak trait v Rustu, ale nepovedal nam na co to vlastne potrebuje, co potrebuje docielit. Fortran nie moc OOP, takze take veci zatial nema ale myslim si, ze na docielenie podobnych veci ako sa robia s pouzitim traitu v inych jazykoch by mohol vo fortrane pouzit akurat tak tie moduly.

[Idris]

Moduly vo fortrane (90+) maju podobny ucel ako traity v inych jazykoch. Sluzia na organizaciu a znovupouzitie kodu.

Možná jsem něco nepochopil, ale co jsi demonstroval ve svém příkladu, jsou funkce uspořádané do nějakých namespaces. Traity slouží k implementaci nějakého rozhraní napříč různými typy (třídami). Možná tam někde nějaký průnik vidíš, ale nepřijde mi, že by tam byla nějaká zásadní podobnost nebo zastupitelnost.

Žádný průnik tam není.

[Idris]

Fortran nie moc OOP

Fortran je naopak až moc OOP, včetně abstraktních typů a dědičnosti, což třeba Rust nebo Go nemají. Ty traity se dají udělat syntaktickou omáčkou (pokud nestačí INTERFACE), Rust (a Go) je implementují naprosto stejně jako tlusté ukazatele, akorát to dělá transparentně překladač, takže je kód čitelnější.

[Idris]

Pokud někdo chce vidět pseudo-OOP prasokód ve Fortranu, tak tady je ukázková otřesnost: https://github.com/LadaF/Fortran-RefCount

[mikrom]

Ty traity se dají udělat syntaktickou omáčkou

Tak preco neurobis syntaktickou omáčkou male demo traitu vo fortrane ?
Nech je to funkcne, da sa skompilovat v gfortrane a ma zmysluplne pouzitie ..

[a6b]

nechapu proc to cpou do fortranu, ten jsem pouzival jen na vypocty a stacily realna cisla, na co dalsi typy.