261:. There are some AfDs in the past that mostly made arguments that weren't based on Knowledge (XXG) policy (plus some off-site canvassing). There is a short article in iX about the language, but this alone isn't enough to meet notability guidelines. If voting Keep, please provide sources that are reliable and substantially more than a few sentences about the language -- there needs to be enough to write an actual article.
470:- I think the best outcome here is probably one or two sentences on the language in a new paragraph inserted under Rewriting#Term rewriting systems#Use in programming languages. I agree with Adam Sampson's assessment of the sources, and it seems like there's been almost no uptake of the language in either academia or industry in the last 10 years (which would make me want to ignore the lack of
450:) is by Albert Gräf so it's not independent. Looking at other citations of Gräf's papers, I couldn't find any that discussed Pure in depth - it's sometimes mentioned as an example of a term-rewriting language but only in passing. It was a nice design and somewhat unusual when it came out, but I don't think it meets GNG.
89:
84:
226:
79:
220:
183:
295:
279:
I should also add that Albert Graef is the creator of the language -- sources created by them or their close affiliates shouldn't be considered for establish notability.
156:
151:
160:
115:
143:
474:). I do think this should likely exist as a redirect, and I'm not confident my proposal is the best; there's some argument for expanding its discussion on
130:
318:
per nom. A lot of the previous AfD arguments were based on non-arguments such as "under active development", "unique language", and "not an orphan".
529:
491:
459:
426:
395:
364:
327:
307:
288:
270:
63:
241:
208:
110:
103:
17:
147:
124:
120:
202:
502:
406:
375:
548:
40:
198:
187:
139:
69:
355:
284:
266:
58:
248:
517:'s proposal? Any better redirect targets? In cases of marginal sourcing, an ATD can be the best approach.
444:
Pure: A functional programming language based on term rewriting. Pure uses LLVM as a just-in-time compiler.
455:
343:, and Michael Riepe. Rein ins VergnĂźgen : Pure â eine einfache funktionale Sprache. iX 12/2009, p. 147. (
280:
262:
53:
36:
214:
487:
303:
234:
471:
344:
451:
323:
99:
29:
The following discussion is an archived debate of the proposed deletion of the article below.
543:
Subsequent comments should be made on the appropriate discussion page (such as the article's
35:
Subsequent comments should be made on the appropriate discussion page (such as the article's
479:
544:
524:
514:
483:
360:
299:
258:
319:
177:
340:
521:
466:
349:
417:
386:
52:â. Which does not preclude discussion of an ATD continuing editorially.
90:
Articles for deletion/Pure (programming language) (3rd nomination)
85:
Articles for deletion/Pure (programming language) (2nd nomination)
442:) only mentions Pure in a list of other languages that use LLVM (
337:
refereed article from the Linux Audio
Conference 2009 proceedings
475:
539:
The above discussion is preserved as an archive of the debate.
482:
instead. Happy to keep instead if there are sources I missed.
345:
http://www.heise.de/ix/artikel/Rein-ins-Vergnuegen-856225.html
505:
to generate a more thorough discussion and clearer consensus.
409:
to generate a more thorough discussion and clearer consensus.
378:
to generate a more thorough discussion and clearer consensus.
173:
169:
165:
335:. Well, one of the previous AfD arguments mentioned a
233:
520:Please add new comments below this notice. Thanks,
415:Please add new comments below this notice. Thanks,
384:Please add new comments below this notice. Thanks,
347:). This seems like three decent sources to me. No?
247:
448:Signal Processing in the Pure Programming Language
80:Articles for deletion/Pure (programming language)
43:). No further edits should be made to this page.
551:). No further edits should be made to this page.
294:Note: This discussion has been included in the
296:list of Computing-related deletion discussions
438:. The iX article is fine, but the ACM paper (
8:
131:Help, my article got nominated for deletion!
293:
77:
336:
18:Knowledge (XXG):Articles for deletion
7:
24:
116:Introduction to deletion process
478:or for including a sentence in
1:
140:Pure (programming language)
106:(AfD)? Read these primers!
70:Pure (programming language)
64:23:09, 16 August 2024 (UTC)
568:
530:12:51, 9 August 2024 (UTC)
492:17:52, 2 August 2024 (UTC)
460:14:32, 2 August 2024 (UTC)
446:), and the LAC2009 paper (
427:23:39, 1 August 2024 (UTC)
396:23:55, 25 July 2024 (UTC)
365:12:26, 23 July 2024 (UTC)
328:18:52, 18 July 2024 (UTC)
308:16:20, 18 July 2024 (UTC)
289:15:46, 18 July 2024 (UTC)
271:15:43, 18 July 2024 (UTC)
541:Please do not modify it.
32:Please do not modify it.
440:An LLVM backend for GHC
75:AfDs for this article:
188:edits since nomination
104:Articles for deletion
511:Relisting comment:
532:
429:
398:
310:
121:Guide to deletion
111:How to contribute
559:
519:
513:Any support for
508:
506:
480:Pattern matching
425:
414:
412:
410:
394:
383:
381:
379:
281:HyperAccelerated
263:HyperAccelerated
252:
251:
237:
181:
163:
101:
61:
56:
34:
567:
566:
562:
561:
560:
558:
557:
556:
555:
549:deletion review
527:
501:
499:
416:
405:
403:
385:
374:
372:
194:
154:
138:
135:
98:
95:
94:
73:
59:
54:
48:The result was
41:deletion review
30:
22:
21:
20:
12:
11:
5:
565:
563:
554:
553:
535:
534:
525:
518:
509:
495:
494:
462:
432:
431:
413:
400:
382:
368:
367:
341:this ACM paper
330:
312:
311:
291:
255:
254:
191:
134:
133:
128:
118:
113:
96:
93:
92:
87:
82:
76:
74:
72:
67:
46:
45:
25:
23:
15:
14:
13:
10:
9:
6:
4:
3:
2:
564:
552:
550:
546:
542:
537:
536:
533:
531:
528:
523:
516:
512:
507:
504:
497:
496:
493:
489:
485:
481:
477:
473:
469:
468:
463:
461:
457:
453:
449:
445:
441:
437:
434:
433:
430:
428:
424:
422:
421:
411:
408:
401:
399:
397:
393:
391:
390:
380:
377:
370:
369:
366:
363:
362:
359:
358:
353:
352:
346:
342:
338:
334:
331:
329:
325:
321:
317:
314:
313:
309:
305:
301:
297:
292:
290:
286:
282:
278:
275:
274:
273:
272:
268:
264:
260:
250:
246:
243:
240:
236:
232:
228:
225:
222:
219:
216:
213:
210:
207:
204:
200:
197:
196:Find sources:
192:
189:
185:
179:
175:
171:
167:
162:
158:
153:
149:
145:
141:
137:
136:
132:
129:
126:
122:
119:
117:
114:
112:
109:
108:
107:
105:
100:
91:
88:
86:
83:
81:
78:
71:
68:
66:
65:
62:
57:
51:
44:
42:
38:
33:
27:
26:
19:
540:
538:
510:
500:
498:
465:Redirect to
464:
452:Adam Sampson
447:
443:
439:
435:
419:
418:
404:
402:
388:
387:
373:
371:
356:
350:
348:
332:
315:
276:
256:
244:
238:
230:
223:
217:
211:
205:
195:
97:
50:no consensus
49:
47:
31:
28:
221:free images
60:Mississippi
545:talk page
515:Suriname0
484:Suriname0
472:WP:SIGCOV
467:Rewriting
300:Shellwood
37:talk page
547:or in a
503:Relisted
407:Relisted
376:Relisted
277:Comment:
184:View log
125:glossary
39:or in a
320:IntGrah
227:WPÂ refs
215:scholar
157:protect
152:history
102:New to
436:Delete
316:Delete
257:Fails
199:Google
161:delete
522:OwenĂ
259:WP: N
242:JSTOR
203:books
178:views
170:watch
166:links
16:<
488:talk
476:LLVM
456:talk
333:Keep
324:talk
304:talk
285:talk
267:talk
235:FENS
209:news
174:logs
148:talk
144:edit
55:Star
361:đŻď¸
249:TWL
182:â (
490:)
458:)
423:iz
392:iz
351:jp
339:,
326:)
306:)
298:.
287:)
269:)
229:)
186:|
176:|
172:|
168:|
164:|
159:|
155:|
150:|
146:|
526:â
486:(
454:(
420:L
389:L
357:g
354:Ă
322:(
302:(
283:(
265:(
253:)
245:¡
239:¡
231:¡
224:¡
218:¡
212:¡
206:¡
201:(
193:(
190:)
180:)
142:(
127:)
123:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.