151:
74:
53:
22:
401:
attributes are represented as functions that take no argument and return an object. The specific behaviour is then some function name along with the types of the arguments and the return type. Bounded quantification allows to considers all objects with such a function. An example would be a polymorphic min function that considers all objects that are comparable to each other.
425:
I don't think the example makes sense. Shouldn't it rather be min: ∀ T. {compareTo: T → int} → T → ?, that is to say, we don't really know how to type this without F-bounded quantification? Isn't this the very point of introducing F-bounded quantification, i.e., that we can't type the program without
400:
The purpose of bounded quantification is to allow for polymorphic functions to depend on some specific behaviour of objects instead of type inheritance. It assumes a record-based model for object classes, where every class member is a record element and all class members are named functions. Object
405:
This description doesn't sound at all like bounded quantification to me, it sounds like duck typing, structural typing or typeclasses. I also don't understand the relevance of the middle bit about a record-based model, but it seems to be describing a very specific implementation (possibly of
172:
196:
336:
253:
191:
456:
124:
114:
461:
451:
90:
298:
272:
137:
81:
58:
361:
244:
225:
317:
282:
163:
33:
292:
206:
327:
89:
related articles on
Knowledge. If you would like to participate, please visit the project page, where you can join
426:
it? The erased
Comparable interface is just an unsafe escape hatch. Maybe an example based on Cloneable<T: -->
354:
21:
432:
263:
39:
411:
428:
407:
182:
234:
86:
308:
150:
173:
Requested articles/Applied arts and sciences/Computer science, computing, and
Internet
445:
436:
415:
215:
73:
52:
406:
typeclasses?) that I doubt applies universally to bounded quantification.
291:
Find pictures for the biographies of computer scientists (see
15:
85:, a collaborative effort to improve the coverage of
197:Computer science articles needing expert attention
398:
337:WikiProject Computer science/Unreferenced BLPs
8:
254:Computer science articles without infoboxes
192:Computer science articles needing attention
19:
158:Here are some tasks awaiting attention:
132:
47:
457:Low-importance Computer science articles
49:
99:Knowledge:WikiProject Computer science
462:WikiProject Computer science articles
452:Start-Class Computer science articles
102:Template:WikiProject Computer science
7:
79:This article is within the scope of
38:It is of interest to the following
273:Timeline of computing 2020–present
14:
299:Computing articles needing images
149:
72:
51:
20:
119:This article has been rated as
1:
416:13:14, 23 November 2022 (UTC)
353:Tag all relevant articles in
93:and see a list of open tasks.
362:WikiProject Computer science
138:WikiProject Computer science
82:WikiProject Computer science
293:List of computer scientists
478:
125:project's importance scale
437:08:18, 25 June 2019 (UTC)
355:Category:Computer science
131:
118:
105:Computer science articles
67:
46:
357:and sub-categories with
403:
318:Computer science stubs
28:This article is rated
136:Things you can help
427:is more intuitive?
34:content assessment
392:
391:
388:
387:
384:
383:
380:
379:
376:
375:
469:
366:
360:
235:Computer science
164:Article requests
153:
146:
145:
133:
107:
106:
103:
100:
97:
96:Computer science
87:Computer science
76:
69:
68:
63:
59:Computer science
55:
48:
31:
25:
24:
16:
477:
476:
472:
471:
470:
468:
467:
466:
442:
441:
423:
397:
372:
369:
364:
358:
346:Project-related
341:
322:
303:
277:
258:
239:
220:
201:
177:
104:
101:
98:
95:
94:
61:
32:on Knowledge's
29:
12:
11:
5:
475:
473:
465:
464:
459:
454:
444:
443:
422:
419:
396:
393:
390:
389:
386:
385:
382:
381:
378:
377:
374:
373:
371:
370:
368:
367:
350:
342:
340:
339:
333:
323:
321:
320:
314:
304:
302:
301:
296:
288:
278:
276:
275:
269:
259:
257:
256:
250:
240:
238:
237:
231:
221:
219:
218:
212:
202:
200:
199:
194:
188:
178:
176:
175:
169:
157:
155:
154:
142:
141:
129:
128:
121:Low-importance
117:
111:
110:
108:
91:the discussion
77:
65:
64:
62:Low‑importance
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
474:
463:
460:
458:
455:
453:
450:
449:
447:
440:
438:
434:
430:
420:
418:
417:
413:
409:
402:
394:
363:
356:
352:
351:
349:
347:
343:
338:
335:
334:
332:
330:
329:
324:
319:
316:
315:
313:
311:
310:
305:
300:
297:
294:
290:
289:
287:
285:
284:
279:
274:
271:
270:
268:
266:
265:
260:
255:
252:
251:
249:
247:
246:
241:
236:
233:
232:
230:
228:
227:
222:
217:
214:
213:
211:
209:
208:
203:
198:
195:
193:
190:
189:
187:
185:
184:
179:
174:
171:
170:
168:
166:
165:
160:
159:
156:
152:
148:
147:
144:
143:
139:
135:
134:
130:
126:
122:
116:
113:
112:
109:
92:
88:
84:
83:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
424:
404:
399:
345:
344:
328:Unreferenced
326:
325:
307:
306:
281:
280:
262:
261:
243:
242:
224:
223:
205:
204:
181:
180:
162:
161:
120:
80:
40:WikiProjects
30:Start-class
446:Categories
439:sgraf812
216:Computing
429:Sgraf812
395:Overview
264:Maintain
207:Copyedit
421:Example
245:Infobox
183:Cleanup
123:on the
408:ディーエッフ
226:Expand
36:scale.
309:Stubs
283:Photo
140:with:
433:talk
412:talk
115:Low
448::
435:)
414:)
365:}}
359:{{
431:(
410:(
348::
331::
312::
295:)
286::
267::
248::
229::
210::
186::
167::
127:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.