Hjem Utvikling Hva er qi? - definisjon fra techopedia

Hva er qi? - definisjon fra techopedia

Innholdsfortegnelse:

Anonim

Definisjon - Hva betyr Qi?

Qi er et funksjonelt programmeringsspråk som er godt egnet for matematiske evalueringer og programmering av matematiske ligninger og funksjoner. Qi tilbyr fordelene med mønstermatching, lambda-beregningskonsistens, statisk type kontroll og valgfri lat evaluering.

Qi er skrevet i Common Lisp og genererer effektive type sikre programmer som kan kjøres på alle maskiner. Den ble utviklet av Dr. Mark Tarver og ble først utgitt under GPL i 2005, men dette ble ansett som uegnet for kommersielle applikasjoner. Qi II blir gjort tilgjengelig under to proprietære lisenser: den ene for å utvikle lukket kildekode, proprietær programvare og den andre er til pedagogisk og personlig bruk.

Techopedia forklarer Qi

Qi ble første gang utgitt i april 2005. Qi definerer typer ved bruk av logisk notasjon av sekvensberegning og under Qis tolkning kan denne notasjonen betraktes som et Turing komplett språk. Gjennom denne notasjonen kan Qi tilordne systemer som kan utvides, til Common Lisp Libraries, som er en ganske kraftig funksjon i språket.


L21-prosjektet var ment å modernisere Lisp slik at det kan følge med de stadig skiftende behovene for databehandling i det 21. århundre; derav navnet. Prosjektet ble lansert fordi Lisp hadde noen utfordringer som sperret veien for en bredere adopsjon. Dr. Tarver identifiserte disse utfordringene spesielt som Common Lisps mangel på mønster-matching, prosedyreforurensning, inkonsekvens med hensyn til lambda-beregning og mangel på statisk typing.

Hva er qi? - definisjon fra techopedia