Eff (programming language)
Source 📝
1458:
1434:
1101:
1091:
1081:
1071:
66:
1406:
168:
25:
951:
601:
484:
189:
182:
1138:
1523:
83:
38:
1528:
1422:
1095:
232:
130:
1548:
1518:
204:
102:
1499:
608:
1543:
1427:
1085:
211:
109:
1538:
1417:
476:
218:
116:
1158:
1131:
635:
1163:
269:
251:
200:
149:
98:
52:
1168:
480:
44:
1437:
1369:
1242:
1124:
913:
766:
674:
495:
87:
1533:
1412:
1390:
1344:
1317:
1292:
1252:
686:
1492:
1384:
1287:
1257:
708:
1359:
1354:
1297:
1277:
358:
806:
1302:
1198:
1181:
1042:
901:
752:
225:
123:
1312:
1267:
868:
782:
731:
668:
617:
311:
1473:
1349:
1232:
1032:
1485:
1105:
772:
594:
411:
178:
76:
1218:
907:
488:
301:
297:
959:
887:
548:
1070:
1465:
1147:
1064:
491:
293:
288:
8:
1223:
640:
973:
394:
1203:
1027:
793:
554:(Report). Department of Mathematics and Physics, University of Ljubljana, Slovenia.
430:
406:
1022:
873:
326:
1457:
1469:
1037:
979:
881:
985:
1512:
1322:
715:
503:
1374:
1213:
1003:
997:
991:
859:
743:
435:
1075:
720:
699:
1116:
1282:
577:
1379:
893:
835:
167:
65:
1009:
800:
626:
1272:
1262:
939:
853:
823:
777:
586:
423:
1339:
1307:
1191:
919:
847:
811:
680:
581:
399:
1247:
1237:
1208:
1186:
950:
925:
841:
725:
657:
499:
464:
419:
415:
387:
319:
523:
1329:
829:
817:
649:
315:
570:
447:
1364:
1334:
90:. Unsourced material may be challenged and removed.
1510:
549:Programming with Algebraic Effects and Handlers
1493:
1132:
602:
547:Bauer, Andrej; Pretnar, Matija (March 2012).
546:
53:Learn how and when to remove these messages
1500:
1486:
1405:
1139:
1125:
609:
595:
1146:
270:Learn how and when to remove this message
252:Learn how and when to remove this message
150:Learn how and when to remove this message
967:
1511:
188:Please improve this article by adding
1524:Programming languages created in 2012
1120:
590:
1452:
161:
88:adding citations to reliable sources
59:
18:
13:
616:
502:which integrates the functions of
14:
1560:
1529:OCaml programming language family
562:
34:This article has multiple issues.
1549:Programming language topic stubs
1519:High-level programming languages
1456:
1433:
1432:
1404:
1100:
1099:
1090:
1089:
1080:
1079:
1069:
949:
166:
64:
23:
201:"Eff" programming language
99:"Eff" programming language
75:needs additional citations for
42:or discuss these issues on the
16:Functional programming language
1544:Software using the BSD license
914:Logic for Computable Functions
540:
516:
364:5.1 / October 19, 2021
1:
509:
190:secondary or tertiary sources
1539:Cross-platform free software
1472:. You can help Knowledge by
331:Andrej Bauer, Matija Pretnar
7:
10:
1565:
1451:
524:"Eff Programming Language"
1400:
1177:
1154:
1051:
958:
947:
867:
792:
741:
732:Standard ML of New Jersey
698:
648:
634:
625:
504:algebraic effect handlers
463:
458:
442:
429:
405:
393:
383:
379:
357:
353:
335:
325:
307:
287:
1033:Christine Paulin-Mohring
1106:Category:Software:OCaml
384:Implementation language
1468:-related article is a
341:; 12 years ago
177:relies excessively on
1148:Programming languages
1096:Category:Family:OCaml
366:; 2 years ago
1534:Functional languages
1466:programming-language
1065:Open-source software
492:programming language
84:improve this article
336:First appeared
284:
1086:Category:Family:ML
974:Lennart Augustsson
339:March 5, 2012
282:
1481:
1480:
1446:
1445:
1428:Non-English-based
1114:
1113:
1028:Steven G. Johnson
1018:
1017:
935:
934:
794:Programming tools
762:
761:
470:
469:
280:
279:
272:
262:
261:
254:
236:
160:
159:
152:
134:
57:
1556:
1502:
1495:
1488:
1460:
1453:
1436:
1435:
1408:
1407:
1141:
1134:
1127:
1118:
1117:
1103:
1102:
1093:
1092:
1083:
1082:
1073:
965:
964:
953:
874:proof assistants
646:
645:
632:
631:
611:
604:
597:
588:
587:
574:
573:
571:Official website
556:
555:
553:
544:
538:
537:
535:
534:
520:
454:
451:
449:
374:
372:
367:
349:
347:
342:
327:Designed by
285:
281:
275:
268:
257:
250:
246:
243:
237:
235:
194:
170:
162:
155:
148:
144:
141:
135:
133:
92:
68:
60:
49:
27:
26:
19:
1564:
1563:
1559:
1558:
1557:
1555:
1554:
1553:
1509:
1508:
1507:
1506:
1449:
1447:
1442:
1396:
1173:
1150:
1145:
1115:
1110:
1068:
1047:
1023:Thierry Coquand
1014:
954:
945:
931:
872:
869:Theorem provers
863:
788:
758:
737:
694:
639:
636:Implementations
621:
615:
569:
568:
565:
560:
559:
551:
545:
541:
532:
530:
522:
521:
517:
512:
477:general-purpose
446:
375:
370:
368:
365:
345:
343:
340:
276:
265:
264:
263:
258:
247:
241:
238:
195:
193:
187:
183:primary sources
171:
156:
145:
139:
136:
93:
91:
81:
69:
28:
24:
17:
12:
11:
5:
1562:
1552:
1551:
1546:
1541:
1536:
1531:
1526:
1521:
1505:
1504:
1497:
1490:
1482:
1479:
1478:
1461:
1444:
1443:
1441:
1440:
1430:
1425:
1420:
1415:
1401:
1398:
1397:
1395:
1394:
1387:
1382:
1377:
1372:
1367:
1362:
1357:
1352:
1347:
1342:
1337:
1332:
1327:
1326:
1325:
1315:
1310:
1305:
1300:
1295:
1290:
1285:
1280:
1275:
1270:
1265:
1260:
1255:
1250:
1245:
1240:
1235:
1230:
1229:
1228:
1227:
1226:
1221:
1206:
1201:
1196:
1195:
1194:
1184:
1178:
1175:
1174:
1172:
1171:
1166:
1161:
1155:
1152:
1151:
1144:
1143:
1136:
1129:
1121:
1112:
1111:
1109:
1060:
1058:= discontinued
1052:
1049:
1048:
1046:
1045:
1043:Simon Thompson
1040:
1038:Frank Pfenning
1035:
1030:
1025:
1019:
1016:
1015:
1013:
1007:
1001:
995:
989:
983:
980:Damien Doligez
977:
971:
969:
962:
956:
955:
948:
946:
944:
943:
936:
933:
932:
930:
929:
923:
917:
910:
905:
899:
898:
897:
885:
878:
876:
865:
864:
862:
857:
851:
845:
839:
833:
827:
821:
815:
809:
804:
798:
796:
790:
789:
787:
786:
780:
775:
770:
763:
760:
759:
757:
756:
749:
747:
739:
738:
736:
735:
729:
723:
718:
713:
704:
702:
696:
695:
693:
692:
691:
690:
684:
678:
672:
666:
654:
652:
643:
629:
623:
622:
614:
613:
606:
599:
591:
585:
584:
575:
564:
563:External links
561:
558:
557:
539:
514:
513:
511:
508:
485:multi-paradigm
468:
467:
461:
460:
456:
455:
444:
440:
439:
433:
427:
426:
412:Cross-platform
409:
403:
402:
397:
391:
390:
385:
381:
380:
377:
376:
363:
361:
359:Stable release
355:
354:
351:
350:
337:
333:
332:
329:
323:
322:
309:
305:
304:
294:Multi-paradigm
291:
278:
277:
260:
259:
174:
172:
165:
158:
157:
72:
70:
63:
58:
32:
31:
29:
22:
15:
9:
6:
4:
3:
2:
1561:
1550:
1547:
1545:
1542:
1540:
1537:
1535:
1532:
1530:
1527:
1525:
1522:
1520:
1517:
1516:
1514:
1503:
1498:
1496:
1491:
1489:
1484:
1483:
1477:
1475:
1471:
1467:
1462:
1459:
1455:
1454:
1450:
1439:
1431:
1429:
1426:
1424:
1421:
1419:
1416:
1414:
1411:
1403:
1402:
1399:
1393:
1392:
1388:
1386:
1383:
1381:
1378:
1376:
1373:
1371:
1368:
1366:
1363:
1361:
1358:
1356:
1353:
1351:
1348:
1346:
1343:
1341:
1338:
1336:
1333:
1331:
1328:
1324:
1323:Object Pascal
1321:
1320:
1319:
1316:
1314:
1311:
1309:
1306:
1304:
1301:
1299:
1296:
1294:
1291:
1289:
1286:
1284:
1281:
1279:
1276:
1274:
1271:
1269:
1266:
1264:
1261:
1259:
1256:
1254:
1251:
1249:
1246:
1244:
1241:
1239:
1236:
1234:
1231:
1225:
1222:
1220:
1217:
1216:
1215:
1212:
1211:
1210:
1207:
1205:
1202:
1200:
1197:
1193:
1190:
1189:
1188:
1185:
1183:
1180:
1179:
1176:
1170:
1167:
1165:
1162:
1160:
1157:
1156:
1153:
1149:
1142:
1137:
1135:
1130:
1128:
1123:
1122:
1119:
1108:
1107:
1098:
1097:
1088:
1087:
1078:
1077:
1072:
1067:
1066:
1061:
1059:
1056:
1053:
1050:
1044:
1041:
1039:
1036:
1034:
1031:
1029:
1026:
1024:
1021:
1020:
1011:
1008:
1006:(Extended ML)
1005:
1002:
999:
996:
994:(Caml, OCaml)
993:
990:
987:
984:
981:
978:
975:
972:
970:
966:
963:
961:
957:
952:
941:
938:
937:
927:
924:
921:
918:
916:
915:
911:
909:
906:
903:
900:
895:
892:
891:
889:
886:
883:
880:
879:
877:
875:
870:
866:
861:
858:
855:
852:
849:
846:
843:
840:
837:
834:
831:
828:
825:
822:
819:
816:
813:
810:
808:
805:
802:
799:
797:
795:
791:
784:
781:
779:
776:
774:
771:
768:
765:
764:
754:
751:
750:
748:
746:
745:
740:
733:
730:
727:
724:
722:
719:
717:
716:Concurrent ML
714:
711:
710:
706:
705:
703:
701:
697:
688:
685:
682:
679:
676:
673:
670:
667:
665:
662:
661:
659:
656:
655:
653:
651:
647:
644:
642:
637:
633:
630:
628:
624:
619:
612:
607:
605:
600:
598:
593:
592:
589:
583:
579:
576:
572:
567:
566:
550:
543:
529:
525:
519:
515:
507:
505:
501:
497:
493:
490:
486:
482:
478:
474:
466:
462:
459:Influenced by
457:
453:
445:
441:
437:
434:
432:
428:
425:
421:
417:
413:
410:
408:
404:
401:
398:
396:
392:
389:
386:
382:
378:
362:
360:
356:
352:
338:
334:
330:
328:
324:
321:
317:
313:
310:
306:
303:
299:
295:
292:
290:
286:
274:
271:
256:
253:
245:
242:November 2019
234:
231:
227:
224:
220:
217:
213:
210:
206:
203: –
202:
198:
197:Find sources:
191:
185:
184:
180:
175:This article
173:
169:
164:
163:
154:
151:
143:
140:November 2019
132:
129:
125:
122:
118:
115:
111:
108:
104:
101: –
100:
96:
95:Find sources:
89:
85:
79:
78:
73:This article
71:
67:
62:
61:
56:
54:
47:
46:
41:
40:
35:
30:
21:
20:
1474:expanding it
1463:
1448:
1423:Generational
1413:Alphabetical
1409:
1389:
1214:Visual Basic
1104:
1094:
1084:
1074:
1062:
1057:
1054:
1004:Don Sannella
998:Robin Milner
992:Xavier Leroy
912:
860:SLAM project
744:Dependent ML
742:
707:
663:
542:
531:. Retrieved
528:Eff-lang.org
527:
518:
472:
471:
266:
248:
239:
229:
222:
215:
208:
196:
176:
146:
137:
127:
120:
113:
106:
94:
82:Please help
77:verification
74:
50:
43:
37:
36:Please help
33:
1418:Categorical
986:Gérard Huet
721:Extended ML
700:Standard ML
620:programming
494:similar in
1513:Categories
1283:JavaScript
1159:Comparison
734:° (SML/NJ)
533:2019-11-18
510:References
489:functional
481:high-level
371:2021-10-19
346:2012-03-05
302:imperative
298:functional
212:newspapers
179:references
110:newspapers
39:improve it
1380:Smalltalk
976:(Lazy ML)
968:Designers
960:Community
894:HOL Light
836:Marionnet
450:.eff-lang
289:Paradigms
45:talk page
1438:Category
1204:Assembly
1164:Timeline
1010:Don Syme
902:Isabelle
801:Alt-Ergo
641:dialects
627:Software
438:2-clause
395:Platform
1391:more...
1370:Scratch
1273:Haskell
1263:Fortran
1219:classic
1169:History
1055:Italics
982:(OCaml)
940:GeneWeb
854:Semgrep
824:Frama-C
778:MacroML
773:Lazy ML
767:Futhark
443:Website
431:License
424:Windows
369: (
344: (
226:scholar
124:scholar
1410:Lists:
1345:Python
1340:Prolog
1318:Pascal
1308:MATLAB
1293:Kotlin
1253:Erlang
1192:Simula
988:(Caml)
920:Matita
848:Poplog
812:Camlp4
807:Astrée
687:Reason
681:JoCaml
582:GitHub
496:syntax
400:x86-64
308:Family
228:
221:
214:
207:
199:
126:
119:
112:
105:
97:
1464:This
1385:Swift
1375:Shell
1288:Julia
1258:Forth
1248:COBOL
1209:BASIC
1187:ALGOL
926:Twelf
842:MTASC
726:MLton
709:Alice
658:OCaml
552:(PDF)
500:OCaml
475:is a
465:OCaml
420:Linux
416:macOS
388:OCaml
320:OCaml
233:JSTOR
219:books
131:JSTOR
117:books
1470:stub
1360:Rust
1355:Ruby
1330:Perl
1298:Lisp
1278:Java
1224:.NET
1076:Book
1063:° =
1012:(F#)
1000:(ML)
908:LEGO
830:Haxe
818:FFTW
650:Caml
452:.org
316:Caml
205:news
103:news
1365:SQL
1335:PHP
1303:Lua
1238:C++
1199:APL
1182:Ada
888:HOL
882:Coq
753:ATS
664:Eff
580:on
578:Eff
498:to
473:Eff
448:www
436:BSD
283:Eff
181:to
86:by
1515::
1313:ML
1268:Go
1243:C#
890:°
783:Ur
675:F#
669:F*
660:°
618:ML
526:.
506:.
487:,
483:,
479:,
422:,
418:,
414::
407:OS
318::
314::
312:ML
300:,
296::
192:.
48:.
1501:e
1494:t
1487:v
1476:.
1350:R
1233:C
1140:e
1133:t
1126:v
942:°
928:°
922:°
904:°
896:°
884:°
871:,
856:°
850:°
844:°
838:°
832:°
826:°
820:°
814:°
803:°
785:°
769:°
755:°
728:°
712:°
689:°
683:°
677:°
671:°
638:,
610:e
603:t
596:v
536:.
373:)
348:)
273:)
267:(
255:)
249:(
244:)
240:(
230:·
223:·
216:·
209:·
186:.
153:)
147:(
142:)
138:(
128:·
121:·
114:·
107:·
80:.
55:)
51:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
↑