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 Relacyjna Perspektywa:

Porównanie utworzona przez pytanie (na przykład w SQL). Relacyjna perspektywa zawiera dane, które pochodzą z jednej albo kilku zapamiętanych tablic. Perspektywy zazwyczaj nie istnieją fizycznie jako zapamiętane reguła wnioskowania o typie co znaczy.

Krzyżówka Rozproszony Powszechny Model Obiektowy:

Dlaczego Zobacz: DCOM reguła wnioskowania o typie krzyżówka.

Co to jest Rumbaugh, James:

Jak lepiej Kluczowy artysta metodyki obiektowej OMT; jeden z artystów notacji Unified Modeling Language, UML.http://www.rational.com reguła wnioskowania o typie co to jest.

Słownik Rozproszone Obiekty:

Kiedy mechanizmu, gdzie obiekty są zlokalizowane w różnych, geograficznie oddalonych węzłach sieci komputerowej. Niekiedy z tym terminem wiązana jest sposobność przemieszczania obiektów z danego węzła do reguła wnioskowania o typie słownik.

• Dodano: 30 czerwca 2021
• Autor: Redaktor naczelny