Nový objev ve funkcionálním programování

Re:Nový objev ve funkcionálním programování
« Odpověď #300 kdy: 23. 04. 2018, 17:45:04 »
Prymku, mas neco na githubu? Udelam ti codereview  8)
Veřejně nic zajímavýho ani čerstvýho.

Ale tohle by sis mohl forknout a dodělat, nemám čas si s tím dál hrát a je to škoda :) https://github.com/mprymek/symconfig

Když se ozveš ne-anonymně, pošlu ti čerstvější verzi :)


Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Nový objev ve funkcionálním programování
« Odpověď #301 kdy: 23. 04. 2018, 20:19:55 »
Ale zase má závislostní typy (typové konstruktory nad hodnotami)
Co tím máš namysli? Teď si tohle vůbec nemůžu vybavit.
Pole je typu typu ω→*→*, i když v tomto případě to je spíš jen nepodstatná náhoda.

Re:Nový objev ve funkcionálním programování
« Odpověď #302 kdy: 23. 04. 2018, 20:38:59 »
Pole je typu typu ω→*→*, i když v tomto případě to je spíš jen nepodstatná náhoda.
Tomu pořád nerozumím :)

Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Nový objev ve funkcionálním programování
« Odpověď #303 kdy: 23. 04. 2018, 21:31:42 »
Pole je typu typu ω→*→*, i když v tomto případě to je spíš jen nepodstatná náhoda.
Tomu pořád nerozumím :)
Je to typový konstruktor beroucí přirozené číslo, to není pro generika typické. Je to dependent type.

Re:Nový objev ve funkcionálním programování
« Odpověď #304 kdy: 23. 04. 2018, 21:38:27 »
Je to typový konstruktor beroucí přirozené číslo, to není pro generika typické. Je to dependent type.
Ajo, ty myslíš, že "an array's length is part of its type". Nějakým řízením osudu jsem to zatím nepotřeboval, vystačil jsem si se slices a literálama polí, takže tohle ošahaný nemám a v tutoriálu jsem to spíš znuděně prolítl, takže mi tohle ani nedošlo. Každopádně je to zajímavej postřeh, že dependent types mají jenom ty ulítlejší akademizcký jazyky... ...a Go :)))


Idris

  • *****
  • 2 286
    • Zobrazit profil
    • E-mail
Re:Nový objev ve funkcionálním programování
« Odpověď #305 kdy: 24. 04. 2018, 00:55:40 »
Prymku, mas neco na githubu? Udelam ti codereview  8)
https://github.com/mprymek/symconfig
Ten odkazovaný tech report je zajímavý, i když celkově to na mě působí jako mnoho povyku pro nic, protože takhle se to normálně dělá, jenom to akademicka přikrášlili a nafoukli.

Re:Nový objev ve funkcionálním programování
« Odpověď #306 kdy: 24. 04. 2018, 07:15:31 »
Ten odkazovaný tech report je zajímavý, i když celkově to na mě působí jako mnoho povyku pro nic, protože takhle se to normálně dělá, jenom to akademicka přikrášlili a nafoukli.
V package managementu asi jo, ale v configuration managementu ne. Tam vévodí Ansible, Puppet, Chef, Salt a poslední dobou už i jenom RUN v Dockerfilech :( Nejblíž k nějakému aspoň trochu teoriticky podloženému přístupu má Cfengine (z toho, co jsem zatím viděl).

andy

Re:Nový objev ve funkcionálním programování
« Odpověď #307 kdy: 24. 04. 2018, 23:32:01 »
Ten odkazovaný tech report je zajímavý, i když celkově to na mě působí jako mnoho povyku pro nic, protože takhle se to normálně dělá, jenom to akademicka přikrášlili a nafoukli.
V package managementu asi jo, ale v configuration managementu ne. Tam vévodí Ansible, Puppet, Chef, Salt a poslední dobou už i jenom RUN v Dockerfilech :( Nejblíž k nějakému aspoň trochu teoriticky podloženému přístupu má Cfengine (z toho, co jsem zatím viděl).
https://hackage.haskell.org/package/propellor... akorát mám pocit, že autor je tak trošku pankáč, ale na něco to používám a docela dobrý.

Re:Nový objev ve funkcionálním programování
« Odpověď #308 kdy: 24. 04. 2018, 23:40:24 »
https://hackage.haskell.org/package/propellor... akorát mám pocit, že autor je tak trošku pankáč, ale na něco to používám a docela dobrý.
Wow, tak na to se rozhodně kouknu, dík moc za tip.

Na první pohled mě tam teda zaráží, že spousta věcí, který bych čekal, že budou obecný, jsou "DebianLike", ale minimálně za pohrání si to určitě bude stát.

A má tam dokonce sunxi, to je bomba :)