Pracujemy nad przywróceniem aplikacji Unionpedia w Google Play Store
TowarzyskiPrzybywający
🌟Uprościliśmy nasz projekt, aby ułatwić nawigację!
Instagram Facebook X LinkedIn
Twoja własna Unionpedia z Twoim logo i domeną, od 9,99 USD/miesiąc
Utwórz mój Unionpedia

Q Sharp

Indeks Q Sharp

Q# (Q Sharp) – język programowania z funkcjami specjalnie zaprojektowanymi do użycia w obliczeniach kwantowych.

Spis treści

  1. 8 kontakty: Common Language Infrastructure, Język programowania, Licencja MIT, Microsoft, Microsoft Research, Programowanie wieloparadygmatowe, Typowanie silne, Typowanie statyczne.

Common Language Infrastructure

Common Language Infrastructure (z ang. wspólna infrastruktura językowa, w skrócie CLI) to część platformy Microsoft.NET Framework, wykorzystywana jako środowisko uruchomieniowe oprogramowania stworzonego w różnych językach.

Zobaczyć Q Sharp i Common Language Infrastructure

Język programowania

Język programowania – zbiór zasad określających, kiedy ciąg symboli tworzy program komputerowy oraz jakie obliczenia opisuje.

Zobaczyć Q Sharp i Język programowania

Licencja MIT

Licencja MIT (Licencja X11) – jedna z najprostszych i najbardziej liberalnych licencji otwartego oprogramowania.

Zobaczyć Q Sharp i Licencja MIT

Microsoft

Microsoft Corporation – amerykańskie przedsiębiorstwo informatyczne.

Zobaczyć Q Sharp i Microsoft

Microsoft Research

Siedziba w Bengaluru (Indie) Microsoft Research – oddział firmy Microsoft, założony w 1991 roku.

Zobaczyć Q Sharp i Microsoft Research

Programowanie wieloparadygmatowe

Programowanie wieloparadygmatowe – paradygmat programowania, a w szczególności tworzenia języków programowania, który mówi, że każdy paradygmat nadaje się do ograniczonego zbioru zadań; lepiej jest więc przyzwoicie zaimplementować kilka różnych paradygmatów i dowolnie je mieszać w użyciu, niż zaimplementować tylko jeden (choć lepiej niż robiłby to język wieloparadygmatowy), i próbować go narzucać.

Zobaczyć Q Sharp i Programowanie wieloparadygmatowe

Typowanie silne

Silna typizacja – system typów w języku programowania, w którym każde wyrażenie ma ustalony typ i nie można go używać w kontekście przeznaczonym dla innych typów.

Zobaczyć Q Sharp i Typowanie silne

Typowanie statyczne

Typowanie statyczne – nadawanie typów zmiennym w czasie kompilacji programu, poprzez deklaracje tych typów lub ich inferencje.

Zobaczyć Q Sharp i Typowanie statyczne