Knowledge

Talk:Principal type

Source đź“ť

442: 140: 392: 67: 49: 22: 161: 185: 325: 525: 107: 242: 180: 113: 530: 520: 83: 287: 535: 261: 485:
This is an absolutely horrible description. Full of circularities and gibbberish like "instances of a type". There's a better explanation here:
126: 74: 54: 350: 497: 233: 454: 214: 306: 271: 152: 29: 281: 195: 316: 82:
related articles on Knowledge. If you would like to participate, please visit the project page, where you can join
343: 501: 252: 35: 488: 493: 396: 171: 223: 79: 441: 400: 297: 139: 162:
Requested articles/Applied arts and sciences/Computer science, computing, and Internet
514: 204: 66: 48: 505: 489:
http://stackoverflow.com/questions/11542446/what-is-a-principal-type
382: 280:
Find pictures for the biographies of computer scientists (see
15: 424: 418: 412: 406: 78:, a collaborative effort to improve the coverage of 28:This article has not yet been rated on Knowledge's 186:Computer science articles needing expert attention 112:This article has not yet received a rating on the 326:WikiProject Computer science/Unreferenced BLPs 8: 526:Unknown-importance Computer science articles 243:Computer science articles without infoboxes 181:Computer science articles needing attention 491: 449:Here are some tasks awaiting attention: 147:Here are some tasks awaiting attention: 121: 43: 21: 19: 45: 92:Knowledge:WikiProject Computer science 531:WikiProject Computer science articles 95:Template:WikiProject Computer science 7: 521:Unassessed Computer science articles 72:This article is within the scope of 34:It is of interest to the following 262:Timeline of computing 2020–present 14: 288:Computing articles needing images 536:Knowledge pages with to-do lists 440: 390: 138: 65: 47: 20: 1: 342:Tag all relevant articles in 86:and see a list of open tasks. 351:WikiProject Computer science 127:WikiProject Computer science 75:WikiProject Computer science 282:List of computer scientists 552: 114:project's importance scale 344:Category:Computer science 120: 111: 98:Computer science articles 60: 42: 506:06:53, 9 June 2016 (UTC) 460:* most general unifiers 346:and sub-categories with 463:some concrete examples 307:Computer science stubs 125:Things you can help 481:Woeful description 430:Updated 2011-07-15 30:content assessment 508: 496:comment added by 478: 477: 472: 471: 381: 380: 377: 376: 373: 372: 369: 368: 365: 364: 543: 444: 437: 436: 431: 394: 393: 383: 355: 349: 224:Computer science 153:Article requests 142: 135: 134: 122: 100: 99: 96: 93: 90: 89:Computer science 80:Computer science 69: 62: 61: 55:Computer science 51: 44: 25: 24: 23: 16: 551: 550: 546: 545: 544: 542: 541: 540: 511: 510: 483: 474: 473: 468: 405: 391: 361: 358: 353: 347: 335:Project-related 330: 311: 292: 266: 247: 228: 209: 190: 166: 97: 94: 91: 88: 87: 12: 11: 5: 549: 547: 539: 538: 533: 528: 523: 513: 512: 498:49.182.133.255 482: 479: 476: 475: 470: 469: 467: 466: 465: 464: 448: 446: 445: 433: 401:Principal type 388: 386: 379: 378: 375: 374: 371: 370: 367: 366: 363: 362: 360: 359: 357: 356: 339: 331: 329: 328: 322: 312: 310: 309: 303: 293: 291: 290: 285: 277: 267: 265: 264: 258: 248: 246: 245: 239: 229: 227: 226: 220: 210: 208: 207: 201: 191: 189: 188: 183: 177: 167: 165: 164: 158: 146: 144: 143: 131: 130: 118: 117: 110: 104: 103: 101: 84:the discussion 70: 58: 57: 52: 40: 39: 33: 26: 13: 10: 9: 6: 4: 3: 2: 548: 537: 534: 532: 529: 527: 524: 522: 519: 518: 516: 509: 507: 503: 499: 495: 490: 486: 480: 462: 461: 459: 457: 456: 451: 450: 447: 443: 439: 438: 435: 432: 429: 426: 423: 420: 417: 414: 411: 408: 404: 402: 398: 387: 385: 384: 352: 345: 341: 340: 338: 336: 332: 327: 324: 323: 321: 319: 318: 313: 308: 305: 304: 302: 300: 299: 294: 289: 286: 283: 279: 278: 276: 274: 273: 268: 263: 260: 259: 257: 255: 254: 249: 244: 241: 240: 238: 236: 235: 230: 225: 222: 221: 219: 217: 216: 211: 206: 203: 202: 200: 198: 197: 192: 187: 184: 182: 179: 178: 176: 174: 173: 168: 163: 160: 159: 157: 155: 154: 149: 148: 145: 141: 137: 136: 133: 132: 128: 124: 123: 119: 115: 109: 106: 105: 102: 85: 81: 77: 76: 71: 68: 64: 63: 59: 56: 53: 50: 46: 41: 37: 31: 27: 18: 17: 492:— Preceding 487: 484: 453: 452: 434: 427: 421: 415: 409: 395: 389: 334: 333: 317:Unreferenced 315: 314: 296: 295: 270: 269: 251: 250: 232: 231: 213: 212: 194: 193: 170: 169: 151: 150: 73: 36:WikiProjects 515:Categories 397:To-do list 205:Computing 494:unsigned 253:Maintain 196:Copyedit 425:refresh 413:history 234:Infobox 172:Cleanup 455:Expand 215:Expand 32:scale. 419:watch 298:Stubs 272:Photo 129:with: 502:talk 407:edit 399:for 108:??? 517:: 504:) 354:}} 348:{{ 500:( 458:: 428:· 422:· 416:· 410:· 403:: 337:: 320:: 301:: 284:) 275:: 256:: 237:: 218:: 199:: 175:: 156:: 116:. 38::

Index

content assessment
WikiProjects
WikiProject icon
Computer science
WikiProject icon
WikiProject Computer science
Computer science
the discussion
???
project's importance scale
WikiProject Computer science

Article requests
Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup
Computer science articles needing attention
Computer science articles needing expert attention
Copyedit
Computing
Expand
Computer science
Infobox
Computer science articles without infoboxes
Maintain
Timeline of computing 2020–present
Photo
List of computer scientists
Computing articles needing images
Stubs
Computer science stubs

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑