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

[Mirek Prýmek]

Prymku, mas neco na githubu? Udelam ti codereview 

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

[Reklama]

[Idris]

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.

[Mirek Prýmek]

Pole je typu typu ω→*→*, i když v tomto případě to je spíš jen nepodstatná náhoda.

Tomu pořád nerozumím

[Idris]

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.

[Mirek Prýmek]

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 )

[Reklama]

[Idris]

Prymku, mas neco na githubu? Udelam ti codereview 

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.

[Mirek Prýmek]

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]

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ý.

[Mirek Prýmek]

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