타입 클래스

비슷한 이름의 클래스 (컴퓨터 프로그래밍)에 관해서는 해당 문서를 참고하십시오.

타입 클래스(type class) 또는 형 클래스는 컴퓨터 과학에서 임시 다형성을 지원하는 유형 시스템 구성이다. 이는 매개변수적으로 다형성 유형의 유형 변수에 제약 조건을 추가함으로써 달성된다. 이러한 제약 조건에는 일반적으로 타입 클래스 T와 유형 변수 a가 포함되며, 이는 T와 관련된 오버로드된 작업을 지원하는 멤버가 있는 유형으로만 a를 인스턴스화할 수 있음을 의미한다.

타입 클래스는 필립 왈더(Philip Wadler)와 스티븐 블롯(Stephen Blott)가 표준 ML의 "eqtypes" 확장으로 처음 제안한 후 하스켈 프로그래밍 언어로 처음 구현되었으며[1][2], 원래는 오버로드된 산술 및 항등 연산자를 원칙적인 방식으로 구현하는 방법으로 고안되었다.[3][2] 표준 ML의 "eqtypes"과 달리 하스켈의 타입 클래스를 사용하여 항등 연산자를 오버로드하는 경우 컴파일러 프런트엔드나 기본 유형 시스템을 광범위하게 수정할 필요가 없다.[4]

같이 보기

각주

  1. ↑ Morris, John G. (2013). 《Type Classes and Instance Chains: A Relational Approach》 (PDF) (PhD). Department of Computer Science, Portland State University. doi:10.15760/etd.1010. 
  2. ↑ 가 나 Wadler, P.; Blott, S. (1989). 〈How to make ad-hoc polymorphism less ad hoc〉. 《Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89)》. Association for Computing Machinery. 60–76쪽. doi:10.1145/75277.75283. ISBN 0897912942. S2CID 15327197. 
  3. ↑ Kaes, Stefan (March 1988). 〈Parametric overloading in polymorphic programming languages〉. 《Proc. 2nd European Symposium on Programming Languages》. doi:10.1007/3-540-19027-9_9. 
  4. ↑ Appel, A.W.; MacQueen, D.B. (1991). 〈Standard ML of New Jersey〉. Maluszyński, J.; Wirsing, M. 《Programming Language Implementation and Logic Programming. PLILP 1991》. Lecture Notes in Computer Science 528. Springer. 1–13쪽. CiteSeerX 10.1.1.55.9444. doi:10.1007/3-540-54444-5_83. ISBN 3-540-54444-5. 

외부 링크

Read other articles:

Тойбер, Клаус (разработчик игр)

В Википедии есть статьи о других людях с именем Тойбер, Клаус. Клаус Тойбернем. Klaus Teuber Дата рождения 25 июня 1952(1952-06-25) Место рождения Рай-Брайтенбах[d], Бройберг, Оденвальд, Дармштадт, Гессен, ФРГ Дата смерти 1 апреля 2023(2023-04-01)[1] (70 лет) Страна  Германия Род деят

 

Sreenidi Deccan FC

Indian association football club based in Hyderabad Football clubSreenidi DeccanFull nameSreenidi Deccan Football Club[1]Nickname(s)The Deccan WarriorsShort nameSDFCFounded1 January 2015; 8 years ago (2015-01-01) (as Sreenidhi FC)GroundDeccan ArenaCapacity1,500OwnerSreenidhi GroupHead coachCarlos Vaz PintoLeagueI-League2022–23I-League, 2nd of 12WebsiteClub website Home colours Away colours Third colours Current season Sreenidi Deccan Football Club is an Indian prof...

 

Timring (parochie)

Timring Parochie van Denemarken Situering Bisdom Bisdom Viborg Gemeente Herning Coördinaten 56°10'36NB, 8°44'49OL Algemeen Inwoners (2004) 1157 Leden Volkskerk (2004) 1255 Overig Kerken Timring Kirke Proosdij Herning Nordre Provsti Pastoraat Timring Foto's Portaal    Denemarken Timring is een parochie van de Deense Volkskerk in de Deense gemeente Herning. De parochie maakt deel uit van het bisdom Viborg en telt 1255 kerkleden op een bevolking van 1157 (2004). Tot 1970 was de paro...

إبانترياس

اضغط هنا للاطلاع على كيفية قراءة التصنيف الإبانترياسالعصر: 146.8 مليون سنة قك ك أ س د ف بر ث ج ط ب ن ↓ (الجوراسي المتأخر) مقارنة لأحجام أنواع مختلفة من الألوصور عُثر على أحافير لها، ويَظهر الإبانترياس باللون البني الغامق، حيث أنه أكبرها بطول يُقدر بـ12 متراً المرتبة التصنيفي...

 

Ram Kumar (artist)

Artist (1924-2018) Ram KumarBorn(1924-09-23)23 September 1924[1]Shimla, Punjab, British India(now Shimla, Himachal Pradesh, India)Died14 April 2018(2018-04-14) (aged 93)NationalityIndianEducationSharada Ukil School of Art, New Delhi (1945)Known forPaintingAwardsFellowship of the Lalit Kala Akademi, 2011[2] Padma Bhushan, 2010[3] Lifetime Achievement Award,Government of Delhi[4] Officers Arts et Letter, 2003 Kalidas Samman, 1986 Premchand Puraskar, 197...

 

Slovakia–United States relations

Bilateral relationsSlovakia–United States relations Slovakia United States Slovakia-United States relations are bilateral relations held between the United States and the Slovak Republic, particularly since the latter's independence in 1993. According to the 2012 U.S. Global Leadership Report, 27% of Slovaks approve of U.S. leadership, with 32% disapproving and 41% uncertain.[1] Embassy of Slovakia, Washington, D.C. Embassy of the United States, Bratislava History US President Georg...

Bobana Klikovac

Montenegrin handball player (born 1995) Bobana Klikovac Personal informationBorn (1995-07-19) 19 July 1995 (age 28)Cetinje, Montenegro,FR YugoslaviaNationality MontenegrinHeight 1.81 m (5 ft 11 in)Playing position PivotClub informationCurrent club Gloria BuzăuNumber 71Youth careerYears Team2011–2013 WHC BiseriSenior clubsYears Team2013–2015 ŽRK Danilovgrad2015–2016 Debreceni VSC2016–2017 Fehérvár KC2017–2018 SCM Craiova2018–2019 Ferencvárosi TC2019–2020 ...

 

Argentina

Para otros usos de este término, véanse Argentina (desambiguación) y Argentino (desambiguación). República Argentina[a]​Bandera Escudo Lema: En Unión y Libertad[b]​ Himno: Himno Nacional Argentino ¿Problemas al reproducir este archivo? Territorio controlado por la República Argentina en verde oscuro; territorio reclamado pero no controlado en verde claro.Capital(y ciudad más poblada) Buenos Aires 34°35′59″S 58°22′55″O / -34.599722222222,...

 

سيد حسن تقي زاده

سيد حسن تقي زاده رئيس مجلس سنا في المنصب1 مارس 1957 – 1 سبتمبر 1960 العاهل محمد رضا بهلوي إبراهيم حكيمي محسن صدر معلومات شخصية الميلاد 27 سبتمبر 1878تبريز، إيران الوفاة 28 يناير 1970مطهران، إيران مكان الدفن مقبرة ظهير الدولة  مواطنة إيران  الحياة العملية المدرسة الأم مدرسة ميمو...

Mrs. God (novel)

Mrs. God Cover of the first editionAuthorPeter StraubIllustratorRick BerryCover artistRick BerryCountryUnited StatesLanguageEnglishGenreFantasyPublisherDonald M. Grant, Publisher, Inc.Publication date1990Media typePrint (Hardback)Pages201, ivISBN0-937986-96-8 (deluxe edition)ISBN 0-937986-97-6 (trade edition)OCLC24427510Dewey Decimal813/.54 20LC ClassPS3569.T6914 M77 1990 Mrs. God is a fantasy novel by American writer Peter Straub. It was first published in 1990 by Donald ...

 

Berrien County, Georgia

County in Georgia, United States County in GeorgiaBerrien CountyCountyBerrien County courthouse in NashvilleLocation within the U.S. state of GeorgiaGeorgia's location within the U.S.Coordinates: 31°16′N 83°14′W / 31.27°N 83.23°W / 31.27; -83.23Country United StatesState GeorgiaFounded1856; 167 years ago (1856)Named forJohn M. BerrienSeatNashvilleLargest cityNashvilleArea • Total458 sq mi (1,190 km2) ...

 

NetWars

1993 video game Not to be confused with Netwar. NetWarsDeveloper(s)Edward N. Hill, Jr.Stable releasev3 / 1998; 25 years ago (1998) Operating systemDOSTypeShoot 'em upWebsitewww.drdos.com NetWars (originally called LiteYear) is an IPX-based 3D vector-graphics computer game released by Novell in 1993 for DOS to demonstrate NetWare capabilities. It was written by Edward N. Hill, Jr., one of Novell's engineers in its European Development Centre (EDC) in Hungerford, UK. Developme...

جزيرة صيل روبا (ميدي)

قرية جزيرة صيل روبا  - قرية -  تقسيم إداري البلد  اليمن المحافظة محافظة حجة المديرية مديرية ميدي العزلة عزلة الجزر معلومات أخرى التوقيت توقيت اليمن (+3 غرينيتش) تعديل مصدري - تعديل   جزيرة صيل روبا هي إحدى جزر مديرية ميدي التابعة لمحافظة حجة.[1] مراجع وروابط ...

 

Alpha Pegasi

Star in the constellation Pegasus For other uses of Markab, see Markab (disambiguation). α Pegasi Location of α Pegasi (circled) Observation dataEpoch J2000      Equinox J2000 Constellation Pegasus Right ascension 23h 04m 45.65345s[1] Declination +15° 12′ 18.9617″[1] Apparent magnitude (V) 2.48[2] Characteristics Spectral type A0 IV[3] U−B color index –0.06[2] B−V color...

 

Valhalla (video game)

For the cyberpunk indie game, see VA-11 Hall-A. 1983 video gameValhallaDeveloper(s)LegendPublisher(s)UK: LegendNA: Eurosoft InternationalPlatform(s)ZX Spectrum, Commodore 64Release1983: ZX Spectrum1984: C64Genre(s)Interactive fictionMode(s)Single-player Valhalla is a text adventure with graphics published in 1983 by the British studio Legend for the ZX Spectrum. It reached number one in the UK sales charts.[1] The Commodore 64 version of the game was released in 1984 and reached numbe...

Spa town

Specialized resort town situated around a mineral spa This article is about a town around a spa. For other uses, see Spa (disambiguation). The statue of The crutchbreaker in the spa town Piešťany (Slovakia) – a symbol of balneotherapy Print of Spa, Belgium, 1895 Ikaalisten Kylpylä, a spa center in Ikaalinen, Pirkanmaa, Finland A spa town is a resort town based on a mineral spa (a developed mineral spring). Patrons visit spas to take the waters for their purported health benefits. Thomas ...

 

SilkAir Penerbangan 185

SilkAir Penerbangan 185Ringkasan peristiwaTanggal19 Desember 1997RingkasanBunuh Diri Pilot (Inkapasitasi Pilot)LokasiPalembang, IndonesiaPenumpang97Awak7Tewas104Selamat0Jenis pesawatBoeing 737-300OperatorSilkAirRegistrasi9V-TRF SilkAir Penerbangan 185 adalah layanan penerbangan komersial rutin maskapai penerbangan SilkAir dari Bandara Internasional Soekarno-Hatta, Jakarta, Indonesia ke Bandara Changi, Singapura. Pada tanggal 19 Desember 1997, sekitar pukul 16:13 WIB, pesawat Boeing 737-3...

 

Miss USA 1955

4th Miss USA pageant Miss USA 1955Winner Carlene Johnson combing hair before first day of Miss Universe 1955DateJuly 20, 1955PresentersBob RussellVenueLong Beach Municipal Auditorium, Long Beach, CaliforniaEntrants43Placements15WinnerCarlene King Johnson† Vermont← 19541956 → Miss USA 1955 was the 4th Miss USA pageant, held at Long Beach Municipal Auditorium, Long Beach, California on July 20, 1955. At the end of the event, Miriam Stevenson of South Carolina crowne...

Llangollen Rural

Community in Wrexham County Borough, Wales Not to be confused with Llangollen Rural District. View of the village of Froncysyllte, Llangollen Rural Community Location of the Llangollen Rural electoral ward in Wrexham County Borough, Wales Llangollen Rural (Welsh: Llangollen Wledig) is a community and electoral ward in Wrexham County Borough, Wales. It contains the villages of Froncysyllte, Garth, and Trevor, and had a population of 1,999 at the 2001 census,[1] increasing to 2,059 at t...

 

Moonlight Shadow

Disambiguazione – Se stai cercando il romanzo di Banana Yoshimoto, vedi Moonlight Shadow (romanzo). Questa voce o sezione sull'argomento singoli pop rock non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento. Moonlight Shadowsingolo discograficoMaggie Reilly, cantante della band, in un'istantanea del video.Arti...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!