-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
koka.scroll
71 lines (63 loc) · 1.78 KB
/
koka.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
import ../code/conceptPage.scroll
id koka
name Koka
appeared 2012
creators Daan Leijen
tags pl
website https://www.microsoft.com/en-us/research/project/koka/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fprojects%2Fkoka
latestVersion v3.1.1
webRepl https://rise4fun.com/koka/
conceptDescription A strongly typed functional-style language with effect types and handlers.
isOpenSource true
writtenIn haskell c xml javascript markdown json bourne-shell cpp csharp ocaml cmake dockerfile swift svg java typescript lean vim-script css yaml lex yacc logos tex python lisp html sed less cson
compilesTo c
tryItOnline koka
fileType text
centralPackageRepositoryCount 0
repoStats
firstCommit 2012
commits 5450
committers 54
files 1856
newestCommit 2024
country United States
originCommunity Microsoft Research
reference https://koka-lang.github.io/koka/doc/book.html
pygmentsHighlighter Koka
filename haskell.py
fileExtensions kk kki
example
fun hello-ten()
var i := 0
while { i < 10 }
println("hello")
i := i + 1
keywords infix infixr infixl type cotype rectype alias struct con fun function val var external if then else elif return match private public private module import as include inline rec try yield enum interface instance
githubRepo https://github.com/koka-lang/koka
stars 2190
forks 111
subscribers 56
created 2016
updated 2022
firstCommit 2012
description Koka language compiler and interpreter
issues 123
lineCommentToken //
printToken println
hasPrintDebugging true
hasLineComments true
// A comment
hasComments true
// A comment
hasSemanticIndentation false
hasFunctions true
hasAccessModifiers true
hasConditionals true
hasHexadecimals true
// 0[xX][0-9a-fA-F]+
hasFloats true
// [0-9]+\.[0-9]+([eE][\-+]?[0-9]+)?
hasIntegers true
// [0-9]+
isbndb 0
semanticScholar 0