seq-lang.org/syntax.html at main · seq-lang/seq-lang.org · GitHub

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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
<!DOCTYPE HTML>
<html>
    <head>
        <!-- Global site tag (gtag.js) - Google Analytics -->
        <script async src="https://www.googletagmanager.com/gtag/js?id=UA-179525394-1"></script>
        <script>
          window.dataLayer = window.dataLayer || [];
          function gtag(){dataLayer.push(arguments);}
          gtag('js', new Date());

          gtag('config', 'UA-179525394-1');
        </script>
        <link rel="apple-touch-icon" sizes="180x180" href="images/apple-touch-icon.png">
        <link rel="icon" type="image/png" sizes="32x32" href="images/favicon-32x32.png">
        <link rel="icon" type="image/png" sizes="16x16" href="images/favicon-16x16.png">
        <link rel="manifest" href="images/site.webmanifest">
        <title>Seq • Syntax</title>
        <meta charset="utf-8" />
        <meta name="viewport" content="width=device-width, initial-scale=1" />
        <link rel="stylesheet" href="assets/css/main.css" />
    </head>
    <body class="subpage">

        <!-- Header -->
            <header id="header">
                <div class="inner">
                    <a href="index.html" class="logo">the <strong>Seq</strong> programming language</a>
                    <nav id="nav">
                        <div class="navitem" onclick="window.location.href='https://docs.seq-lang.org'">Docs</div>
                        <div class="navitem" onclick="window.location.href='https://github.com/seq-lang/seq'">GitHub</div>
                        <div class="navitem" onclick="window.location.href='demo.html?code='">Demo</div>
                    </nav>
                    <a href="#navPanel" class="navPanelToggle"><span class="fa fa-bars"></span></a>
                </div>
            </header>

        <!-- Main -->
            <section id="main" class="wrapper">
                <div class="inner">
                    <div class="image round">
                        <img src="images/python.svg" width="175" height="175" style="padding: 10px" alt="Python logo" />
                    </div>
                    <header class="align-center">
                        <h2>Syntax</h2>
                    </header>
                    <div class="info">
                        Seq's syntax and semantics are borrowed from the popular and widely-used <a href="https://python.org">Python</a> language.
                        In fact, a lot of Python code will run without changes in Seq&mdash;and a lot faster! Seq is designed to be as seamless a
                        language to learn as possible, especially for those familiar with Python.

                        <br />
                        <br />

                        Press <kbd>&#8679; Shift</kbd>+<kbd>&#8629; Enter</kbd> on any of the snippets below to try them!
                    </div>

                    <hr />

                    <div class="snippet-pane">
                        <div class="snippet-info">
                            <i class="fa fa-check-circle"></i> Python's familiar syntax
                        </div>
                        <div class="snippet-code">
                            <div class="snippet" id="snippet1"></div>
                        </div>
                    </div>


                    <div class="snippet-pane">
                        <div class="snippet-info">
                            <i class="fa fa-check-circle"></i> Optional type annotations
                        </div>
                        <div class="snippet-code">
                            <div class="snippet" id="snippet2"></div>
                        </div>
                    </div>

                    <div class="snippet-pane">
                        <div class="snippet-info">
                            <i class="fa fa-check-circle"></i> Intuitive generic types
                        </div>
                        <div class="snippet-code">
                            <div class="snippet" id="snippet3"></div>
                        </div>
                    </div>

                    <div class="snippet-pane">
                        <div class="snippet-info">
                            <i class="fa fa-check-circle"></i> New language features and types
                        </div>
                        <div class="snippet-code">
                            <div class="snippet" id="snippet4"></div>
                        </div>
                    </div>
                </div>
            </section>

        <!-- Footer -->
            <footer id="footer">
                <div class="inner">
                    <div class="copyright">
                        &copy; 2020 <a href="https://github.com/seq-lang">seq-lang</a>. All Rights Reserved. Design: <a href="https://templated.co">TEMPLATED</a>
                    </div>
                </div>
            </footer>

        <!-- Scripts -->
            <script src="assets/js/jquery.min.js"></script>
            <script src="assets/js/skel.min.js"></script>
            <script src="assets/js/util.js"></script>
            <script src="assets/js/main.js"></script>
            <script src="assets/js/ace/ace.js"></script>
            <script src="assets/js/editors.js"></script>
            <script type="text/javascript">
                e1 = newEditor("snippet1");
                setEditor(e1, "samples/snippets/fib.seq");

                e2 = newEditor("snippet2");
                setEditor(e2, "samples/snippets/types.seq");

                e3 = newEditor("snippet3");
                setEditor(e3, "samples/snippets/generics.seq");

                e4 = newEditor("snippet4");
                setEditor(e4, "samples/snippets/new.seq");
            </script>
    </body>
</html>