Lærðu hagnýtur forritun: Þessi stíll kóðunar mun blása í huga þinn

Birting: Stuðningur þinn hjálpar til við að halda vefnum í gangi! Við þénum tilvísunargjald fyrir sumar þjónusturnar sem við mælum með á þessari síðu.


Þó að flest forritunarmál samanstandi af aðföngum, úttakum og ytri breytum sem hægt er að stilla eða nota innan aðgerða þess, forðast virka forritun þetta.

Hugmyndin að baki virkri forritun er að í hvert skipti sem aðgerð er kölluð með sömu breytum ætti hún að skila sama gildi.

Hvað gerir hagnýtur forritun „hagnýtur“?

Íhugaðu aðgerð sem skilar núverandi hitastigi. Það er aðeins samþykkt einni breytu sem gefur til kynna hvort skila eigi hitastiginu í gráður á Celsíus eða Fahrenheit.

Aðgerðin notar síðan innri rökfræði til að skila núverandi hitastigi – kannski með því að lesa hitastigskynjara. Þetta er ekki talið vera hagnýtur forritun vegna þess að í hvert skipti sem aðgerðin er notuð hefur hún möguleika á að skila öðru gildi, jafnvel þegar aðföng aðgerðanna eru þau sömu.

Virknibreytur

Virk forritunarmál hafa fyrsta flokks aðgerðir. Þetta þýðir að hægt er að nota aðgerðina eins og það væri gildið sem hún skilar.

Tökum sem dæmi aðgerðina, tvöfalt (x), sem skilar tvöfalt gildi inntaksbreytunnar. Svo að tvöfalt (2) myndi skila 4. Í ljósi þess að það er fyrsta flokks aðgerð væri kóðinn, tvöfaldur (tvöfaldur (2)), sá sami og kóðinn, tvöfaldur (4).

Eins og með dæmið gerir þetta kleift að verpa einni aðgerð sem færibreytu fyrir aðra og svo framvegis.

Virk forritunarmál leyfa einnig aðgerðum að taka aðgerðir sem samþykktar breytur. Athugaðu að þetta felur í sér að fallið sjálft er framhjá, frekar en bara niðurstöðum aðgerðarinnar.

Algeng notkun

Hagnýtur forritun skilar sér í því að innleiða flókna stærðfræðilíkan; af þessum sökum hefur ein aðalnotkun hagnýtra tungumála jafnan verið fræðileg.

Mörg hagnýt tungumál skara einnig fram úr þegar samhliða vinnsla er framkvæmd. Þetta er vegna getu þeirra til að nýta sér hreinar aðgerðir sem skila alltaf sama gildi óháð röð sem þau eru rekin.

Önnur tungumál þurfa að hafa áhyggjur af keppnisaðstæðum – þar sem ein aðgerð er keyrð áður en breytan sem hún notar er stillt á væntanlegt gildi.

Hagnýtur aðferðafræði

Hægt er að nota mörg forritunarmál sem eru ekki starfhæf með aðferðafræðilegri forritunaraðferð.

Þessi þróunaraðferð getur gefið flestum ávinning af nauðsynlegri forritun og virkri forritun. Sumir af þeim ávinningi sem þú hefur tilhneigingu til að tapa eru innbyggðir hæfileikar til að hjálpa til við að viðhalda hreinleika og láta framkvæmdaraðila þá ábyrgð.

Sum tungumál eru í raun hönnuð með blöndu af aðferðafræði ásamt virkri forritun sem fjarlægir suma eða alla þessa galla.

Saga

Lambda útreikningur er að öllum líkindum fyrsta tölvumálið og það er starfhæft tungumál. Það var fyrst þróað af Alonzo kirkjunni.

Athyglisvert er að þetta tungumál var fyrst búið til á fjórða áratugnum – löngu áður en forritanlegar tölvur voru til. Árið 1958 stofnaði John McCarthy, prófessor við Massachusetts Institute of Technology (MIT), LISP, sem var fyrirmynd eftir lambdaútreikningi og er eitt mikilvægasta starfstungumálið.

Enn eru margar útgáfur af LISP notaðar í dag – sumar virkari en aðrar.

Tungumál sem styðja virkni forritunar

  • D var hannað eftir C ++ til að fá allan ávinninginn en fjarlægja þá ástæðu veikleika þess að vera aftur á móti samhæfðir við C.

  • Elixir var fenginn og situr ofan á Erlang með því að nota getu sína til að búa til h

    ljótt
    samtímis forritum meðan tungumálið er auðveldara að skrifa og viðhalda.

  • Erlang er mjög stigstærð og samtímis sem gerir það tilvalið fyrir fjarskipti og önnur forrit sem fá gífurlegt magn gagna í ófyrirsjáanlegri röð.

  • F # er opinn uppspretta fjölparadigma tungumál sem oft er notað innan

    .NET
    umgjörð. Það er almennt notað til að þróa greiningarhugbúnað hratt.

  • Haskell er hreint hagnýtt tungumál sem notar Lambda útreikning.

  • ML er notað í stærðfræðilegum, vísindalegum, fjárhagslegum, greiningaraðgerðum og öðrum tegundum forrita. Einn af styrkleikum þess er að búa til hugbúnað til að vinna með önnur forrit.

  • OCaml eða Objective Caml, er ókeypis, opið upprunalega tungumál sem var byggt á Caml. Það hefur tilhneigingu til að búa til mjög létt forrit sem hjálpa þeim að hlaða og keyra hraðar en þau sem eru búin til á öðrum tungumálum.

  • Scala var hannað til að auðveldlega samlagast Java og öðrum hlutbundnum tungumálum. Scala nýtir sér virkan forritun og gerir það kleift að nota í dreifðum og samtímis forritum.

  • Áætlunin var byggð á setningafræði LISP og uppbyggingu ALGOL. Vegna einfaldleika þess er kerfið notað sem kynning á forritahönnun á mörgum tölvunarfræðibrautum til að sýna nokkur grunnatriði í forritun tölvu.

  • Swift var hannað með það að markmiði að vera umburðarlyndur, fljótur að þróast í og ​​tjáandi.

Auðlindir

Virk forritunargögn beinast venjulega að ákveðnu tungumáli, eins og Scala. En jafnvel þegar þeir eru það, veita þeir dýrmætar upplýsingar. Vertu því ekki feimin bara vegna þess að grein eða bók notar tungumál sem þú notar ekki.

Kennsla

  • Hagnýt kynning á hagnýtri forritun: Umfjöllun Mary Rose Cook um að nota hagnýt forritunartækni með nauðsynlegum tungumálum.

  • Grunnatriði hagnýtrar forritunar: góð fræðileg umfjöllun um hagnýta forritun.

  • Ekki vera hræddur við hagnýta forritun: er hagnýtur forritun „mustachioed hipster of forritunar hugmyndafræði“? Finndu það hér.

  • Kynning á hagnýtur forritun í Swift: ítarleg kynning á virkri forritun með Swift.

  • Af hverju eru allar hagnýtar forritunarleiðbeiningar svona stærðfræði? – umræða um Stack Exchange sem vert er að lesa.

Bækur

  • Kynning á virkni forritunar í gegnum Lambda Calculus (2011) eftir Greg Michaelson: kynning sem byrjar strax í upphafi.

  • Functional Thinking: Paradigm Over Syntax (2014) eftir Neal Ford: háþróuð bók um grundvallaratriði forritunar.

  • Töfrandi heimur hagnýtrar forritunar: Part I: Thinking Functional (2014) eftir K Anand Kumar: stutt bók um grundvallaratriði hagnýtrar forritunar.

  • Becoming Functional (2014) eftir Joshua Backfield: kynning á hagnýtur forritun fyrir fólk sem þekkir brýna og hlutbundna forritun.

Yfirlit

Þrátt fyrir að hagnýtur forritun sé mjög góð fyrir sum forrit, þá finnst mörgum forriturum auðvelda nauðsynleg tungumál, miklu auðveldara að vefja um höfuð sér.

En fyrir stærðfræðilega og formlegri kóðun er hagnýtur forritun góður kostur. Og að skilja meginreglur hagnýtrar forritunar getur nýst öllum forriturum.

Frekari upplestur og úrræði

Við höfum fleiri handbækur, námskeið og infografics sem tengjast forritun og þróun:

  • F # Forritun: kynnið ykkur hagnýt forritun í .NET rammanum.

  • Erlang Forritun Kynning og auðlindir: snemma virkt tungumál notað til að búa til samhliða kóða.

  • Snögg kynning og auðlindir: þetta er eitt nýjasta tungumálið sem líkist C. Framtíð forritunar? Finndu það hér!

Hvaða kóða ætti að læra?

Ruglaður um hvaða forritunarmál þú ættir að læra að kóða á? Skoðaðu infographic okkar, hvaða kóða ættir þú að læra?

Það fjallar ekki aðeins um mismunandi þætti tungumálsins, það svarar mikilvægum spurningum eins og „Hve miklum peningum mun ég græða á að forrita Java til að lifa?“

Hvaða kóða ættirðu að læra?
Hvaða kóða ætti að læra?

Jeffrey Wilson Administrator
Sorry! The Author has not filled his profile.
follow me
    Like this post? Please share to your friends:
    Adblock
    detector
    map