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