Definicja reguła wnioskowania o typie

Definicja z ang. inference rule of type, z niem. Inferenzregel vom Typ.

Znaczenie z ang. type inference rule w informatyce:

Co to znaczy REGUŁA WNIOSKOWANIA O TYPIE: Reguła pozwalająca wnioskować o typie wyrażenia występującego w języku programowania opierając się na typu stałych, podwyrażeń, funkcji, operatorów, i tak dalej uczestniczących w tym wyrażeniu. Na przykład jeśli wyrażenie ma postać X+Y, gdzie X jest typu integer, a Y jest typu real, to wówczas odpowiednia reguła wnioskowania o typie określa, iż typem X+Y jest real. W bardziej ogólnym przypadku, reguła wnioskowania o typie jest przyporządkowana do danej konstrukcji gramatycznej i określa opierając się na (wydedukowanych) typów składowych tej konstrukcji, jaki ma być typ wynikowej konstrukcji. Na przykład reguła może mieć postać:co znaczy: jeśli funkcja f jest typu A®B, x jest typu A, to wyrażenie f(x) jest typu B.

Czym jest reguła wnioskowania o typie znaczenie w Słownik definicji R .

Co znaczy Rola Asocjacji:

Porównanie Zobacz: rola (2 reguła wnioskowania o typie co znaczy.

Krzyżówka Rola (1):

Dlaczego zmieniająca się specjalizacja obiektu. Każdy przedmiot może równocześnie występować w wielu rolach. Rola importuje wszystkie atrybuty wspólnie z ich wartościami z obiektu będącego jej podmiotem reguła wnioskowania o typie krzyżówka.

Co to jest Rekord:

Jak lepiej Zobacz: zapis reguła wnioskowania o typie co to jest.

Słownik Reguła:

Kiedy przechowywanej w bazie danych albo bazie wiedzy, która jest interpretowana albo uruchamiana poprzez mechanizm. Rodowód definicje pochodzi od reguł logicznych, na przykład klauzul Horna, jednak tego reguła wnioskowania o typie słownik.

• Dodano: 30 czerwca 2021
• Autor: Redaktor naczelny