595:
571:
543:
665:
275:
670:
559:
675:
636:
127:. In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language. In this form it was the foundation of Turner's later languages
655:
564:
554:
295:
268:
300:
116:
42:
305:
248:
574:
506:
379:
261:
132:
88:
660:
549:
527:
481:
454:
429:
389:
112:
629:
521:
424:
394:
496:
491:
434:
414:
439:
335:
318:
449:
404:
128:
84:
486:
369:
120:
622:
355:
30:
146:
602:
284:
25:
360:
230:
140:
594:
340:
606:
184:
222:
37:
649:
459:
234:
511:
350:
213:
Turner, D.A. (1979). "A New
Implementation Technique for Applicative Languages".
419:
173:
Turner, A New
Implementation Technique for Applicative Languages, pages 31-49
516:
136:
226:
206:
University of St. Andrews, Department of
Computer Science Technical Report
253:
409:
399:
92:
476:
444:
328:
374:
384:
345:
323:
124:
72:
466:
257:
501:
471:
610:
149:
used SASL to write a compiler and operating system.
78:
66:
48:
36:
24:
185:"Some History of Functional Programming Languages"
630:
269:
8:
123:in 1972, based on the applicative subset of
19:
666:History of computing in the United Kingdom
637:
623:
542:
276:
262:
254:
204:Turner, D.A. "An Implementation of SASL".
18:
157:
113:purely functional programming language
16:Purely functional programming language
671:Programming languages created in 1972
7:
591:
589:
609:. You can help Knowledge (XXG) by
14:
215:Software: Practice and Experience
164:Turner, An implementation of SASL
676:Programming language topic stubs
593:
570:
569:
541:
656:Academic programming languages
1:
109:St Andrews Standard Language
54:; 52 years ago
692:
588:
105:St Andrews Static Language
537:
314:
291:
135:, but SASL appears to be
129:Kent Recursive Calculator
83:
71:
249:The SASL Language Manual
121:University of St Andrews
605:-related article is a
227:10.1002/spe.4380090105
285:Programming languages
147:Burroughs Corporation
661:Functional languages
603:programming-language
139:whereas Miranda has
49:First appeared
21:
618:
617:
583:
582:
565:Non-English-based
141:polymorphic types
107:, alternatively
98:
97:
683:
639:
632:
625:
597:
590:
573:
572:
545:
544:
278:
271:
264:
255:
238:
209:
192:
191:
189:
180:
174:
171:
165:
162:
62:
60:
55:
38:Designed by
22:
691:
690:
686:
685:
684:
682:
681:
680:
646:
645:
644:
643:
586:
584:
579:
533:
310:
287:
282:
245:
212:
203:
200:
195:
187:
182:
181:
177:
172:
168:
163:
159:
155:
58:
56:
53:
17:
12:
11:
5:
689:
687:
679:
678:
673:
668:
663:
658:
648:
647:
642:
641:
634:
627:
619:
616:
615:
598:
581:
580:
578:
577:
567:
562:
557:
552:
538:
535:
534:
532:
531:
524:
519:
514:
509:
504:
499:
494:
489:
484:
479:
474:
469:
464:
463:
462:
452:
447:
442:
437:
432:
427:
422:
417:
412:
407:
402:
397:
392:
387:
382:
377:
372:
367:
366:
365:
364:
363:
358:
343:
338:
333:
332:
331:
321:
315:
312:
311:
309:
308:
303:
298:
292:
289:
288:
283:
281:
280:
273:
266:
258:
252:
251:
244:
243:External links
241:
240:
239:
210:
199:
196:
194:
193:
183:Turner, D. A.
175:
166:
156:
154:
151:
96:
95:
81:
80:
76:
75:
69:
68:
64:
63:
50:
46:
45:
40:
34:
33:
28:
15:
13:
10:
9:
6:
4:
3:
2:
688:
677:
674:
672:
669:
667:
664:
662:
659:
657:
654:
653:
651:
640:
635:
633:
628:
626:
621:
620:
614:
612:
608:
604:
599:
596:
592:
587:
576:
568:
566:
563:
561:
558:
556:
553:
551:
548:
540:
539:
536:
530:
529:
525:
523:
520:
518:
515:
513:
510:
508:
505:
503:
500:
498:
495:
493:
490:
488:
485:
483:
480:
478:
475:
473:
470:
468:
465:
461:
460:Object Pascal
458:
457:
456:
453:
451:
448:
446:
443:
441:
438:
436:
433:
431:
428:
426:
423:
421:
418:
416:
413:
411:
408:
406:
403:
401:
398:
396:
393:
391:
388:
386:
383:
381:
378:
376:
373:
371:
368:
362:
359:
357:
354:
353:
352:
349:
348:
347:
344:
342:
339:
337:
334:
330:
327:
326:
325:
322:
320:
317:
316:
313:
307:
304:
302:
299:
297:
294:
293:
290:
286:
279:
274:
272:
267:
265:
260:
259:
256:
250:
247:
246:
242:
236:
232:
228:
224:
220:
216:
211:
207:
202:
201:
197:
186:
179:
176:
170:
167:
161:
158:
152:
150:
148:
144:
142:
138:
134:
130:
126:
122:
118:
115:developed by
114:
110:
106:
102:
94:
90:
86:
82:
77:
74:
70:
67:Influenced by
65:
51:
47:
44:
41:
39:
35:
32:
29:
27:
23:
611:expanding it
600:
585:
560:Generational
550:Alphabetical
546:
526:
351:Visual Basic
218:
214:
205:
178:
169:
160:
145:
117:David Turner
108:
104:
100:
99:
43:David Turner
555:Categorical
650:Categories
420:JavaScript
296:Comparison
208:. TR/75/4.
198:References
131:(KRC) and
79:Influenced
31:functional
517:Smalltalk
221:: 31–49.
575:Category
341:Assembly
301:Timeline
235:40541269
26:Paradigm
528:more...
507:Scratch
410:Haskell
400:Fortran
356:classic
306:History
137:untyped
133:Miranda
119:at the
111:) is a
93:Haskell
89:Miranda
57: (
547:Lists:
482:Python
477:Prolog
455:Pascal
445:MATLAB
430:Kotlin
390:Erlang
329:Simula
233:
601:This
522:Swift
512:Shell
425:Julia
395:Forth
385:COBOL
346:BASIC
324:ALGOL
231:S2CID
188:(PDF)
153:Notes
125:ISWIM
73:ISWIM
607:stub
497:Rust
492:Ruby
467:Perl
435:Lisp
415:Java
361:.NET
101:SASL
59:1972
52:1972
20:SASL
502:SQL
472:PHP
440:Lua
375:C++
336:APL
319:Ada
223:doi
85:KRC
652::
450:ML
405:Go
380:C#
229:.
217:.
143:.
91:,
87:,
638:e
631:t
624:v
613:.
487:R
370:C
277:e
270:t
263:v
237:.
225::
219:9
190:.
103:(
61:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.