Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое type class - определение
A TERM IN COMPUTER SCIENCE
Type classes; Typeclass; Type Class; Typeclasses
Найдено результатов: 7890
type class
A set of types for which certain operations or methods are
defined. E.g. the class Number might have methods for addition
and subtraction. Classes are a feature of {object oriented
languages} and of the functional programming language
Haskell. See also inheritance.
Type class
In computer science, a type class is a type system construct that supports ad hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types.
Type A Kō-hyōteki-class submarine
![''Landing ship No.5'']] carried ''Type 'C' No.69''.](https://commons.wikimedia.org/wiki/Special:FilePath/Japanese landing ship LS-5.jpg?width=200 "''Landing ship No.5'']] carried ''Type 'C' No.69''.")
.jpg?width=200 "HMAS ''Kuttabul'' after sinking.")
![The two midget submarines sunk in Sydney Harbour were used to construct a composite midget submarine which toured [[Australia]] during the war.](https://commons.wikimedia.org/wiki/Special:FilePath/Midget sub (AWM P03932 002).jpg?width=200 "The two midget submarines sunk in Sydney Harbour were used to construct a composite midget submarine which toured [[Australia]] during the war.")
WORLD WAR II JAPANESE SUBMARINE CLASS
Ko-hyoteki class midget submarine; Ko-hyoteki class submarine; Type A Ko-hyoteki class submarine; Ko-hyoteki-class submarine; Type A Ko-hyoteki-class submarine; Type A Kō-hyoteki-class submarine; Midget submarines attack Pearl Harbor
The class was a class of Japanese midget submarines (Kō-hyōteki) used during World War II. They had hull numbers but no names.
Type 206-class gunboat
Type 206 class gunboat
The Type 206 class gunboat is a gunboat of the People's Republic of China's People's Liberation Army Navy. Also known as the Huludao class, it is a simplified version of the Type 037 class submarine chaser (also known as the Hainan class).
Type 021-class missile boat
MISSILE BOAT CLASS
Houdong class; Huangfeng class; Type 021 class; Type 021 class missile boat
China first received a single unit of Soviet in January 1965, and four more in 1966 through 1967 and the last two in 1968. The Hudong Shipyard built the Chinese version as Type 021-class missile boat at a rate of ten boats per year with several different versions.
Type 062 gunboat
GUNBOAT CLASS OF THE PEOPLE'S LIBERATION ARMY NAVY
Type 062-I-class gunboat; Type 62 class gunboat; Type 062 class gunboat; Type 062-I class gunboat; Type 062-class gunboat
The Type 062 gunboat is a class of gunboat of the People's Liberation Army Navy first developed and constructed in the 1950s. This unsophisticated class is relatively well-armed for its size and is the most widely built and exported Chinese naval vessel in terms of numbers.
Type 1936 destroyers
![''Z9 Wolfgang Zenker'']]. The smaller vessels are captured Norwegian [[patrol boats]].](https://commons.wikimedia.org/wiki/Special:FilePath/Bundesarchiv Bild 101I-758-0056-35, Norwegen, deutsche Kriegsschiffe.jpg?width=200 "''Z9 Wolfgang Zenker'']]. The smaller vessels are captured Norwegian [[patrol boats]].")
CLASS OF GERMAN DESTROYERS
Type 1936 destroyer; Type 1936 class destroyer; Type 1936-class destroyer
The Type 1936 destroyers, also known as the Z17 class, were a group of six destroyers built for Nazi Germany's Kriegsmarine during the late 1930s, shortly before the beginning of World War II. All six sister ships were named after German sailors who had been killed in World War I.
Type C3-class ship
SHIP TYPE
Type C3 ships; Type C3-E ship; Type C3 ship; Type C3 class ship; C3-S-A2
Type C3-class ships were the third type of cargo ship designed by the United States Maritime Commission (MARCOM) in the late 1930s. As it had done with the Type C1 ships and Type C2 ships, MARCOM circulated preliminary plans for comment.
Type 1936A destroyer
.jpg?width=200 "Narvik-class destroyer, starboard view, 1941")
SHIP CLASS
German destroyer class Z23 Type 1936A; German destroyer class Z23 Type 1936A Mob; Narvik class destroyers; Type 1936A Narvik destroyer; Narvik class destroyer; German destroyer class Z23 Type 1936B Mob; Narvik-class destroyer; Type 1936A class destroyer; Type 1936A destroyers; Type 1936A-class destroyer
The Type 1936A destroyers, also known as the Z23 class, were a group of fifteen destroyers built for the Nazi Germany's Kriegsmarine from 1938 to 1943. They were known to the Allies as the Narvik class. In common with other German destroyers launched after the start of World War II, the Narviks were unnamed, known only by their hull numbers – Z23 to Z39.
Type C8-class ship
![SS ''Cape Mohican'' (T-AKR-5065)]] built as the SS ''Tillie Lykes'' a type C8-S-82a](https://commons.wikimedia.org/wiki/Special:FilePath/Capemohican3.jpg?width=200 "SS ''Cape Mohican'' (T-AKR-5065)]] built as the SS ''Tillie Lykes'' a type C8-S-82a")
![SS ''Cape Mendocino'' (T-AKR-5064)]], a type C8-S-82a](https://commons.wikimedia.org/wiki/Special:FilePath/SSCapeMendocino.jpg?width=200 "SS ''Cape Mendocino'' (T-AKR-5064)]], a type C8-S-82a")
![[[SS Delta Mar]], now the SS ''Cape Farewell'' (AK-5073), a C9-S-81d](https://commons.wikimedia.org/wiki/Special:FilePath/SS Cape Farewell.jpg?width=200 "[[SS Delta Mar]], now the SS ''Cape Farewell'' (AK-5073), a C9-S-81d")
Type C8 ship; C8-S-81b; C8-S-82a; M Class Heavy Lift Barge Carrier; US Navy Cape M Class Heavy Lift Barge Carrier; Type C9-class ship; C8-S-81d; C9-S-81d; Cape M-class heavy lift ship; Type C9 ships; Type C9 ship; Lash Lighter Basin, San Francisco
Type C8-class ships are a type of Heavy Lift Barge Carrier. Type C8 ships were the 8th type of ship designed by the United States Maritime Commission (MARCOM) in the late 1960s.
Википедия
Type class
In computer science, a type class is a type system construct that supports ad hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types. Such a constraint typically involves a type class T and a type variable a, and means that a can only be instantiated to a type whose members support the overloaded operations associated with T.
Type classes were first implemented in the Haskell programming language after first being proposed by Philip Wadler and Stephen Blott as an extension to "eqtypes" in Standard ML, and were originally conceived as a way of implementing overloaded arithmetic and equality operators in a principled fashion. In contrast with the "eqtypes" of Standard ML, overloading the equality operator through the use of type classes in Haskell does not require extensive modification of the compiler frontend or the underlying type system.
