Merge branch 'add-setup'

.gitignore

@@ -1,3 +1,5 @@
 __pycache__/
 *.mus
 .idea/*
+venv/
+SMNP.egg-info

Pipfile

@@ -0,0 +1,15 @@
+[[source]]
+name = "pypi"
+url = "https://pypi.org/simple"
+verify_ssl = true
+
+[dev-packages]
+
+[packages]
+sounddevice = "*"
+soundfile = "*"
+numpy = "*"
+matplotlib = "*"
+
+[requires]
+python_version = "3.7"

Pipfile.lock

@@ -0,0 +1,180 @@
+{
+    "_meta": {
+        "hash": {
+            "sha256": "92b0c636f6ac9be9b32aa25b1cdc96dcbe85602d5c68a2084dc39d25392540b6"
+        },
+        "pipfile-spec": 6,
+        "requires": {
+            "python_version": "3.7"
+        },
+        "sources": [
+            {
+                "name": "pypi",
+                "url": "https://pypi.org/simple",
+                "verify_ssl": true
+            }
+        ]
+    },
+    "default": {
+        "cffi": {
+            "hashes": [
+                "sha256:041c81822e9f84b1d9c401182e174996f0bae9991f33725d059b771744290774",
+                "sha256:046ef9a22f5d3eed06334d01b1e836977eeef500d9b78e9ef693f9380ad0b83d",
+                "sha256:066bc4c7895c91812eff46f4b1c285220947d4aa46fa0a2651ff85f2afae9c90",
+                "sha256:066c7ff148ae33040c01058662d6752fd73fbc8e64787229ea8498c7d7f4041b",
+                "sha256:2444d0c61f03dcd26dbf7600cf64354376ee579acad77aef459e34efcb438c63",
+                "sha256:300832850b8f7967e278870c5d51e3819b9aad8f0a2c8dbe39ab11f119237f45",
+                "sha256:34c77afe85b6b9e967bd8154e3855e847b70ca42043db6ad17f26899a3df1b25",
+                "sha256:46de5fa00f7ac09f020729148ff632819649b3e05a007d286242c4882f7b1dc3",
+                "sha256:4aa8ee7ba27c472d429b980c51e714a24f47ca296d53f4d7868075b175866f4b",
+                "sha256:4d0004eb4351e35ed950c14c11e734182591465a33e960a4ab5e8d4f04d72647",
+                "sha256:4e3d3f31a1e202b0f5a35ba3bc4eb41e2fc2b11c1eff38b362de710bcffb5016",
+                "sha256:50bec6d35e6b1aaeb17f7c4e2b9374ebf95a8975d57863546fa83e8d31bdb8c4",
+                "sha256:55cad9a6df1e2a1d62063f79d0881a414a906a6962bc160ac968cc03ed3efcfb",
+                "sha256:5662ad4e4e84f1eaa8efce5da695c5d2e229c563f9d5ce5b0113f71321bcf753",
+                "sha256:59b4dc008f98fc6ee2bb4fd7fc786a8d70000d058c2bbe2698275bc53a8d3fa7",
+                "sha256:73e1ffefe05e4ccd7bcea61af76f36077b914f92b76f95ccf00b0c1b9186f3f9",
+                "sha256:a1f0fd46eba2d71ce1589f7e50a9e2ffaeb739fb2c11e8192aa2b45d5f6cc41f",
+                "sha256:a2e85dc204556657661051ff4bab75a84e968669765c8a2cd425918699c3d0e8",
+                "sha256:a5457d47dfff24882a21492e5815f891c0ca35fefae8aa742c6c263dac16ef1f",
+                "sha256:a8dccd61d52a8dae4a825cdbb7735da530179fea472903eb871a5513b5abbfdc",
+                "sha256:ae61af521ed676cf16ae94f30fe202781a38d7178b6b4ab622e4eec8cefaff42",
+                "sha256:b012a5edb48288f77a63dba0840c92d0504aa215612da4541b7b42d849bc83a3",
+                "sha256:d2c5cfa536227f57f97c92ac30c8109688ace8fa4ac086d19d0af47d134e2909",
+                "sha256:d42b5796e20aacc9d15e66befb7a345454eef794fdb0737d1af593447c6c8f45",
+                "sha256:dee54f5d30d775f525894d67b1495625dd9322945e7fee00731952e0368ff42d",
+                "sha256:e070535507bd6aa07124258171be2ee8dfc19119c28ca94c9dfb7efd23564512",
+                "sha256:e1ff2748c84d97b065cc95429814cdba39bcbd77c9c85c89344b317dc0d9cbff",
+                "sha256:ed851c75d1e0e043cbf5ca9a8e1b13c4c90f3fbd863dacb01c0808e2b5204201"
+            ],
+            "version": "==1.12.3"
+        },
+        "cycler": {
+            "hashes": [
+                "sha256:1d8a5ae1ff6c5cf9b93e8811e581232ad8920aeec647c37316ceac982b08cb2d",
+                "sha256:cd7b2d1018258d7247a71425e9f26463dfb444d411c39569972f4ce586b0c9d8"
+            ],
+            "version": "==0.10.0"
+        },
+        "kiwisolver": {
+            "hashes": [
+                "sha256:05b5b061e09f60f56244adc885c4a7867da25ca387376b02c1efc29cc16bcd0f",
+                "sha256:26f4fbd6f5e1dabff70a9ba0d2c4bd30761086454aa30dddc5b52764ee4852b7",
+                "sha256:3b2378ad387f49cbb328205bda569b9f87288d6bc1bf4cd683c34523a2341efe",
+                "sha256:400599c0fe58d21522cae0e8b22318e09d9729451b17ee61ba8e1e7c0346565c",
+                "sha256:47b8cb81a7d18dbaf4fed6a61c3cecdb5adec7b4ac292bddb0d016d57e8507d5",
+                "sha256:53eaed412477c836e1b9522c19858a8557d6e595077830146182225613b11a75",
+                "sha256:58e626e1f7dfbb620d08d457325a4cdac65d1809680009f46bf41eaf74ad0187",
+                "sha256:5a52e1b006bfa5be04fe4debbcdd2688432a9af4b207a3f429c74ad625022641",
+                "sha256:5c7ca4e449ac9f99b3b9d4693debb1d6d237d1542dd6a56b3305fe8a9620f883",
+                "sha256:682e54f0ce8f45981878756d7203fd01e188cc6c8b2c5e2cf03675390b4534d5",
+                "sha256:79bfb2f0bd7cbf9ea256612c9523367e5ec51d7cd616ae20ca2c90f575d839a2",
+                "sha256:7f4dd50874177d2bb060d74769210f3bce1af87a8c7cf5b37d032ebf94f0aca3",
+                "sha256:8944a16020c07b682df861207b7e0efcd2f46c7488619cb55f65882279119389",
+                "sha256:8aa7009437640beb2768bfd06da049bad0df85f47ff18426261acecd1cf00897",
+                "sha256:939f36f21a8c571686eb491acfffa9c7f1ac345087281b412d63ea39ca14ec4a",
+                "sha256:9733b7f64bd9f807832d673355f79703f81f0b3e52bfce420fc00d8cb28c6a6c",
+                "sha256:a02f6c3e229d0b7220bd74600e9351e18bc0c361b05f29adae0d10599ae0e326",
+                "sha256:a0c0a9f06872330d0dd31b45607197caab3c22777600e88031bfe66799e70bb0",
+                "sha256:acc4df99308111585121db217681f1ce0eecb48d3a828a2f9bbf9773f4937e9e",
+                "sha256:b64916959e4ae0ac78af7c3e8cef4becee0c0e9694ad477b4c6b3a536de6a544",
+                "sha256:d3fcf0819dc3fea58be1fd1ca390851bdb719a549850e708ed858503ff25d995",
+                "sha256:d52e3b1868a4e8fd18b5cb15055c76820df514e26aa84cc02f593d99fef6707f",
+                "sha256:db1a5d3cc4ae943d674718d6c47d2d82488ddd94b93b9e12d24aabdbfe48caee",
+                "sha256:e3a21a720791712ed721c7b95d433e036134de6f18c77dbe96119eaf7aa08004",
+                "sha256:e8bf074363ce2babeb4764d94f8e65efd22e6a7c74860a4f05a6947afc020ff2",
+                "sha256:f16814a4a96dc04bf1da7d53ee8d5b1d6decfc1a92a63349bb15d37b6a263dd9",
+                "sha256:f2b22153870ca5cf2ab9c940d7bc38e8e9089fa0f7e5856ea195e1cf4ff43d5a",
+                "sha256:f790f8b3dff3d53453de6a7b7ddd173d2e020fb160baff578d578065b108a05f"
+            ],
+            "version": "==1.1.0"
+        },
+        "matplotlib": {
+            "hashes": [
+                "sha256:1febd22afe1489b13c6749ea059d392c03261b2950d1d45c17e3aed812080c93",
+                "sha256:31a30d03f39528c79f3a592857be62a08595dec4ac034978ecd0f814fa0eec2d",
+                "sha256:4442ce720907f67a79d45de9ada47be81ce17e6c2f448b3c64765af93f6829c9",
+                "sha256:796edbd1182cbffa7e1e7a97f1e141f875a8501ba8dd834269ae3cd45a8c976f",
+                "sha256:934e6243df7165aad097572abf5b6003c77c9b6c480c3c4de6f2ef1b5fdd4ec0",
+                "sha256:bab9d848dbf1517bc58d1f486772e99919b19efef5dd8596d4b26f9f5ee08b6b",
+                "sha256:c1fe1e6cdaa53f11f088b7470c2056c0df7d80ee4858dadf6cbe433fcba4323b",
+                "sha256:e5b8aeca9276a3a988caebe9f08366ed519fff98f77c6df5b64d7603d0e42e36",
+                "sha256:ec6bd0a6a58df3628ff269978f4a4b924a0d371ad8ce1f8e2b635b99e482877a"
+            ],
+            "index": "pypi",
+            "version": "==3.1.1"
+        },
+        "numpy": {
+            "hashes": [
+                "sha256:05dbfe72684cc14b92568de1bc1f41e5f62b00f714afc9adee42f6311738091f",
+                "sha256:0d82cb7271a577529d07bbb05cb58675f2deb09772175fab96dc8de025d8ac05",
+                "sha256:10132aa1fef99adc85a905d82e8497a580f83739837d7cbd234649f2e9b9dc58",
+                "sha256:12322df2e21f033a60c80319c25011194cd2a21294cc66fee0908aeae2c27832",
+                "sha256:16f19b3aa775dddc9814e02a46b8e6ae6a54ed8cf143962b4e53f0471dbd7b16",
+                "sha256:3d0b0989dd2d066db006158de7220802899a1e5c8cf622abe2d0bd158fd01c2c",
+                "sha256:438a3f0e7b681642898fd7993d38e2bf140a2d1eafaf3e89bb626db7f50db355",
+                "sha256:5fd214f482ab53f2cea57414c5fb3e58895b17df6e6f5bca5be6a0bb6aea23bb",
+                "sha256:73615d3edc84dd7c4aeb212fa3748fb83217e00d201875a47327f55363cef2df",
+                "sha256:7bd355ad7496f4ce1d235e9814ec81ee3d28308d591c067ce92e49f745ba2c2f",
+                "sha256:7d077f2976b8f3de08a0dcf5d72083f4af5411e8fddacd662aae27baa2601196",
+                "sha256:a4092682778dc48093e8bda8d26ee8360153e2047826f95a3f5eae09f0ae3abf",
+                "sha256:b458de8624c9f6034af492372eb2fee41a8e605f03f4732f43fc099e227858b2",
+                "sha256:e70fc8ff03a961f13363c2c95ef8285e0cf6a720f8271836f852cc0fa64e97c8",
+                "sha256:ee8e9d7cad5fe6dde50ede0d2e978d81eafeaa6233fb0b8719f60214cf226578",
+                "sha256:f4a4f6aba148858a5a5d546a99280f71f5ee6ec8182a7d195af1a914195b21a2"
+            ],
+            "index": "pypi",
+            "version": "==1.17.2"
+        },
+        "pycparser": {
+            "hashes": [
+                "sha256:a988718abfad80b6b157acce7bf130a30876d27603738ac39f140993246b25b3"
+            ],
+            "version": "==2.19"
+        },
+        "pyparsing": {
+            "hashes": [
+                "sha256:6f98a7b9397e206d78cc01df10131398f1c8b8510a2f4d97d9abd82e1aacdd80",
+                "sha256:d9338df12903bbf5d65a0e4e87c2161968b10d2e489652bb47001d82a9b028b4"
+            ],
+            "version": "==2.4.2"
+        },
+        "python-dateutil": {
+            "hashes": [
+                "sha256:7e6584c74aeed623791615e26efd690f29817a27c73085b78e4bad02493df2fb",
+                "sha256:c89805f6f4d64db21ed966fda138f8a5ed7a4fdbc1a8ee329ce1b74e3c74da9e"
+            ],
+            "version": "==2.8.0"
+        },
+        "six": {
+            "hashes": [
+                "sha256:3350809f0555b11f552448330d0b52d5f24c91a322ea4a15ef22629740f3761c",
+                "sha256:d16a0141ec1a18405cd4ce8b4613101da75da0e9a7aec5bdd4fa804d0e0eba73"
+            ],
+            "version": "==1.12.0"
+        },
+        "sounddevice": {
+            "hashes": [
+                "sha256:8d0571349f9a438a97f2c69da760f195cf5ddf2351072199cc1dfede4785a207",
+                "sha256:a0dda9dea9a5038ec0dafee4cdebd6d9a09086405d4833a7e3f6b18c109f89f3",
+                "sha256:a71cd3daabc8cb13e0ec9a29e7d4ba9b707386f3c81b3501b20f64209bcaece7",
+                "sha256:b038315e3497e01b1cb22630bc9b5025fcfad40e5ef7c125a9d565befa7220e0",
+                "sha256:c340d0a68945439571a13b287bd11b2d2884b61cd47cc5de8356d88221edf580"
+            ],
+            "index": "pypi",
+            "version": "==0.3.13"
+        },
+        "soundfile": {
+            "hashes": [
+                "sha256:181393f8daac38bda997c4284b760bcd726dc0e847f620020d7bf2d3d538a985",
+                "sha256:3f90971bb1884575ada9a0731e878c91cc1ffde14a778f0857deaa2fd04849ac",
+                "sha256:637f6218c867b8cae80f6989634a0813b416b3e6132480d056e6e5a89a921571",
+                "sha256:7fe04272cbfb94ab648acb0db31ace0800f5a4cf46e9d45b4d71ddb15abce1a0",
+                "sha256:80a3d2ed37199ffa7066c097d7b82b8413922e22870b62b54dc264bf0169f4c2"
+            ],
+            "index": "pypi",
+            "version": "==0.10.2"
+        }
+    },
+    "develop": {}
+}

examples/adeste.mus

@@ -0,0 +1,36 @@
+println("Adeste Fideles");
+println("John Francis Wade");
+
+s1 = [@g, @g:2, @d, @g, @a:2, @d:2, @h, @a, @h, @c5, @h:2, @a, @g];
+s2 = [@g:2, @f#, @e, @f#, @g, @a, @h, @f#:2, @e:4d, @d:8, @d:2d, 4];
+s3 = [@d5:2, @c5, @h, @c5:2, @h:2, @a, @h, @g, @a, @f#:4d, @e:8, @d];
+s4 = [@g, @g, @f#, @g, @a, @g:2, @d, @h, @h, @a, @h, @c5, @h:2, @a];
+s5 = [@h, @c5, @h, @a, @g, @f#:2, @g, @c5, @h:2, @a:4d, @g:8, @g:1];
+
+S = s1 + s2 + s3 + s4 + s5;
+
+a1 = [@d, @d:2, @d, @d, @e:2, @d:2, @d, @d, @d, @e, @d:2, @d, @h3];
+a2 = [@h3, @c#, @d, @c#, @d, @d, @d, @d, @d:2, @c#:4d, @d:8, @d:2d, 4];
+a3 = [@d:2, @e:8, @f#:8, @g, @g, @f#, @g:2, @d, @d, @e, @e, @d:2, @d];
+a4 = [@d, @d:1, @d:2d, @d, @d:1, @d:2d];
+a5 = [@g, @f#, @g, @d, @d:8, @c#:8, @d:2, @d, @e, @d:2, @d:4d, @h3:8, @h3:1];
+
+A = a1 + a2 + a3 + a4 + a5;
+
+t1 = [@h3, @h3:2, @h3, @h3, @c:2, @a3:2, @g3, @a3, @g3, @g3, @g3:2, @f#3, @g3];
+t2 = [@g3:2, @a3, @a3, @a3, @g3, @f#3, @d3, @a3:2, @g3:4d, @f#3:8, @f#3:2d, 4];
+t3 = [@h3:2, @c, @d, @c:2, @d:2, @d, @g3, @h3, @c, @a3:2, @f#3];
+t4 = [@h3, @h3, @a3, @h3, @c, @h3:2d, @g3, @g3, @f#3, @g3, @a3, @g3:2, @f#3];
+t5 = [@d, @d, @d, @a3, @a3, @a3:2, @g3:2, @g3:2, @f#3:4d, @g3:8, @g3:1];
+
+T = t1 + t2 + t3 + t4 + t5;
+
+b1 = [@g3, @g3:2, @h3, @g3, @g3:2, @f#3:2, @g3, @f#3, @g3, @c3, @d3:2, @d3, @e3];
+b2 = [@e3:2, @d3, @a2, @d3, @h2, @f#2, @g2, @a2:2, @a2:4d, @d3:8, @d2:2d, 4];
+b3 = [@h3:2, @a3, @g3, @a3:2, @g3:2, @f#3, @g3, @e3, @c3, @d3:2, @d3];
+b4 = [4, 1, 1, 1, 2, 4];
+b5 = [@g3, @a3, @g3, @f#3, @e3, @d3, @c3, @h2, @c3, @d3:2, @d3:4d, @g2:8, @g2:1];
+
+B = b1 + b2 + b3 + b4 + b5;
+
+synth({ tuning -> 431, attack -> 100, decay -> 1.2, overtones -> [0.7, 0, 0.2, 0.1] }, S, A, T, B);

examples/bach_prelude_c.mus

@@ -0,0 +1,198 @@
+println("Praeludium C Major");
+println("Acht kleine Praeludien und Fugen");
+println("Johann Sebastian Bach");
+
+config = {
+    overtones -> flat([0.5, 0.3, 5^0.0, 0.1, 3^0.0, 0.05, 0.0, 0.03, 0.0, 0.0, 0.01, 5^0.0, 0.005, 3^0.0, 0.002, 0.0, 0.001]),
+    decay -> 2,
+    attack -> 0,
+    tuning -> 432
+};
+
+s1 = [16, @c5:16, @h:16, @c5:16, @g:16, @c5:16, @h:16, @c5:16, @e, 4];
+s2 = [16, @c5:16, @h:16, @c5:16, @g:16, @c5:16, @h:16, @c5:16, @a:16, @f:16, @e:16, @f:16, @c:16, @f:16, @e:16, @f:16];
+s3 = [@d:16, @d5:16, @c5:16, @d5:16, @a:16, @d5:16, @c5:16, @d5:16, @h:16, @g:16, @f#:16, @g:16, @d:16, @g:16, @f#:16, @g:16];
+s4 = [@e:16, @e5:16, @d5:16, @e5:16, @h:16, @e5:16, @d5:16, @e5:16, @c5:16, @a:16, @g#:16, @a:16, @e:16, @a:16, @g#:16, @a:16];
+
+s5 = flat(2 ^ [@c5, @f#, @e, @f#], 2 ^ [@h, @g, @f#, @g]) as n ^ n.withDuration(16);
+s6 = flat(2 ^ [@h, @e, @d, @e], 2 ^ [@a, @f#, @e, @f#]) as n ^ n.withDuration(16);
+s7 = flat(2 ^ [@a, @d, @c, @d], 2 ^ [@g, @e, @d, @e]) as n ^ n.withDuration(16);
+s8 = flat(2 ^ [@g, @c#, @h3, @c#], 2 ^ [@f#, @d, @c#, @d]) as n ^ n.withDuration(16);
+
+s9 = [@g, @f#, @g, @d, @a, @g, @a, @d, @h, @a, @h, @d, @c5, @h, @c5, @d] as n ^ n.withDuration(16);
+s10 = [@d5:4d, @d5:8, @e5:16, @g5:16, @d5:16, @g5:16, @c5:16, @g5:16, @h:16, @g5:16];
+s11 = [@a, 8, @h:8, @c5:16, @d5:16, @h:16, @c5:16, @a:8d, @g:16];
+s12 = [@g, 4, 2];
+
+S1 = s1 + s2 + s3 + s4 + s5 + s6 + s7 + s8 + s9 + s10 + s11 + s12
+
+#
+a1 = [2, 16, @c5:16, @h:16, @c5:16, @g:16, @c5:16, @h:16, @c5:16];
+a2 = [@g, 8, @c5:8, @c5, 4];
+a3 = [@a, 8, @d5:8, @d5, 4];
+a4 = [@h, 8, @e5:8, @e5, 4];
+
+a5 = 8 ^ @d5:8;
+a6 = 8 ^ @c5:8;
+a7 = 8 ^ @h:8;
+a8 = 8 ^ @a:8;
+a9 = [@h, @a, @g, @a];
+a10 = [@h:16, @d5:16, @e5:16, @f#5:16, @h5:8, @g5:8, @g5:2];
+a11 = [@g5:8, @f#5:16, @e5:16, @f#5:8, @g5:8, @a5:8, @g5:8, @d5];
+a12 = [@d5, 4, 2];
+
+A1 = transpose(-12, a1 + a2 + a3 + a4 + a5 + a6 + a7 + a8 + a9 + a10 + a11 + a12);
+
+#
+t1 = [1];
+t2 = [@e, 8, @g:8, @a, 4];
+t3 = [@f#, 8, @a:8, @h, 4];
+t4 = [@g#, 8, @h:8, @c5, 4];
+t5 = (4 ^ @a:8) + (4 ^ @h:8);
+t6 = (4 ^ @g:8) + (4 ^ @a:8);
+t7 = (4 ^ @f#:8) + (4 ^ @g:8);
+t8 = (4 ^ @e:8) + (4 ^ @f#:8);
+t9 = [@e, @f#, @g, @f#];
+t10 = [@g, @g5:8, @h:8, @c5:8, @h:8, @a:8, @g:8];
+t11 = [@d5, 8, @d5:8, @d5:8, @d5:8, @d5];
+t12 = [@h, 4, 2];
+
+T1 = transpose(-12, t1 + t2 + t3 + t4 + t5 + t6 + t7 + t8 + t9 + t10 + t11 + t12);
+
+#
+b_ = 10 ^ 1;
+b11 = [2, 8, @g3, @f#3:8];
+b12 = [16, @g3:16, @f#3:16, @g3:16, @d3:16, @g3:16, @f#3:16, @g3:16, @g2, 4];
+
+B1 = b_ + b11 + b12;
+
+#
+p1 = [@c:1];
+p2 = [@c, 8, @e:8, @f, 4];
+p3 = [@f#, 8, @f#:8, @g, 4];
+p4 = [@g#, 8, @g#:8, @a, 4];
+p5 = (4 ^ @d:8) + (4 ^ @g:8);
+p6 = (4 ^ @c:8) + (4 ^ @f#:8);
+p7 = (4 ^ @h3:8) + (4 ^ @e:8);
+p8 = (4 ^ @a3:8) + (4 ^ @d:8);
+p9 = [@d:1];
+p10 = [@d, 4, 2];
+p11 = [4, 8, @g:8, @f#:8, @g:8, @d];
+p12 = [@g3, 4, 16, @g:16, @f:16, @g:16, @e:16, @g:16, @d:16, @g:16];
+
+P1 = transpose(-12, p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12);
+
+PART1 = wave(config, S1, A1, T1, B1, P1);
+
+#######
+
+s1 = [16, @c5:16, @h:16, @c5:16, @g:16, @c5:16, @h:16, @c5:16, @a, 4];
+s2 = [16, @h:16, @a:16, @h:16, @f:16, @h:16, @a:16, @h:16, @g#, 4];
+s3 = flat([2 ^ [@a, @e, @d, @e], 2 ^ [@g#, @d, @c, @d]]) as n ^ n.withDuration(16);
+s4 = flat([2 ^ [@a, @e, @d, @e], 2 ^ [@h, @g#, @f#, @g#]]) as n ^ n.withDuration(16);
+
+s5 = [@c5, @h, @c5, @d5, @h, @a, @h, @c5] as n ^ n.withDuration(8);
+s6 = [@a:8, @g#:8, @a:8, @h:8, @g#:8, @e:8, @c5];
+s7 = [@h:8, @a:8, @g#:8d, @a:16, @a, 4];
+s8 = [16, @e5:16, @d5:16, @e5:16, @h:16, @e5:16, @d5:16, @e5:16, @c5, 4];
+s9 = [16, @g5:16, @f5:16, @g5:16, @d5:16, @g5:16, @f5:16, @g5:16, @e5:16, @c5:16, @h:16, @c5:16, @g:16, @c5:16, @h:16, @c5:16];
+
+s10 = [@e, 4, 16, @c5:16, @h:16, @c5:16, @g:16, @c5:16, @h:16, @c5:16];
+s11 = flat(2 ^ [@a:16, @f:16, @e:16, @f:16], [16, @d5:16, @c5:16, @d5:16, @a:16, @d5:16, @c5:16, @d5:16]);
+s12 = flat(2 ^ [@h:16, @g:16, @f#:16, @g:16], [16, @e5:16, @d5:16, @e5:16, @h:16, @e5:16, @d5:16, @e5:16]);
+s13 = flat(2 ^ [@c5:16, @a:16, @g#:16, @a:16], [16, @g5:16, @f5:16, @g5:16, @d5:16, @g5:16, @f5:16, @g5:16]);
+
+s14 = [@e, @g, @e, @g, @f, @a, @f, @a, @d, @f, @d, @f, @e, @g, @e, @g] as n ^ n.withDuration(16).withOctave(5);
+s15 = [@c5:16, @e5:16, @c5:16, @e5:16, @d5:16, @f5:16, @d5:16, @f5:16, @h:16, @g:16, @a:16, @h:16, @c5];
+s16a = [@c5, @h, @c5, 4];
+s16b = [@c5, @h, @c5:2];
+
+S2 = s1 + s2 + s3 + s4 + s5 + s6 + s7 + s8 + s9 + s10 + s11 + s12 + s13 + s14 + s15;
+
+#
+a1 = [@g, 4, @f5, 4];
+a2 = [@f, 4, @e5, 4];
+a3 = flat(2 ^ [@c, @c5, @h, @c5], 2 ^ [@e, @e5, @d5, @e5]) as n ^ n.withDuration(16);
+a4 = flat(2 ^ [@c, @c5, @h, @c5], 2 ^ [@e, @e5, @d5, @e5]) as n ^ n.withDuration(16);
+
+a5 = [@a, @c5, @g#, @c5, @a, @c5, @f#, @d5, @g, @d5, @f#, @d5, @g, @d5, @e, @e5] as n ^ n.withDuration(16);
+a6 = [@f:16, @c5:16, @e:16, @c5:16, @f:16, @c5:16, @d:16, @h:16, @h, 8, @a5:8];
+a7 = [@f5, @e, @e, 4];
+a8 = (4 ^ @e5:8) + [@e5, 4];
+a9 = (4 ^ @d5:8) + [@c5, 4];
+
+a10 = [16, @c5:16, @h:16, @c5:16, @g:16, @c5:16, @h:16, @c5:16, @c5, 8, @c5:8];
+a11 = (4 ^ @c5:8) + [@d, 8, @d:8];
+a12 = (4 ^ @d5:8) + [@e, 8, @e:8];
+a13 = (4 ^ @e5:8) + [@g5, 8, @g5:8];
+a14 = [@c, @e, @c, @e, @c, @f, @c, @f, @h3, @d, @h3, @d, @h3, @e, @h3, @e] as n ^ n.withDuration(16).withOctave(5);
+a15 = [@a:16, @c5:16, @a:16, @c5:16, @a:16, @d5:16, @a:16, @d5:16, @g:2];
+a16a = [@g:2, @c, 4];
+a16b = [@g:2, @g:2];
+
+A2 = transpose(-12, a1 + a2 + a3 + a4 + a5 + a6 + a7 + a8 + a9 + a10 + a11 + a12 + a13 + a14 + a15);
+
+#
+t1 = [@e, 4, 16, @f:16, @e:16, @f:16, @c:16, @f:16, @e:16, @f:16];
+t2 = [@d, 4, 16, @e:16, @d:16, @e:16, @h3:16, @e:16, @d:16, @e:16];
+t3 = [1];
+t4 = [1];
+
+t5 = [1];
+t6 = [2, @e, 8, @e5:8];
+t7 = [2, 16, @a:16, @g#:16, @a:16, @e:16, @a:16, @g#:16, @a:16];
+t8 = (4 ^ @h:8) + [16, @h:16, @g#:16, @a:16, @e:16, @a:16, @g#:16, @a:16];
+t9 = (4 ^ @h:8) + [@g, 4];
+
+t10 = [2, @g, 8, @g:8];
+t11 = (4 ^ @a:8) + [@a, 8, @a:8];
+t12 = (4 ^ @h:8) + [@h, 8, @h:8];
+t13 = (4 ^ @c5:8) + [@d5, 8, @d5:8];
+
+t14 = [1];
+t15 = [2, @d5, 16, @e5:16, @d5:16, @c5:16];
+t16a = [@g5:4d, @f:8, @g ,4];
+t16b = [@g5:4d, @f:8, @e:2];
+
+T2 = transpose(-12, t1 + t2 + t3 + t4 + t5 + t6 + t7 + t8 + t9 + t10 + t11 + t12 + t13 + t14 + t15);
+
+#
+b_1 = 6 ^ 1;
+b7 = [@d5:8, @c5:8, @h, @c5, 4];
+b_2 = 8 ^ 1;
+b16a = [@d:2, @e, 4];
+b16b = [@d:2, @e:2];
+
+B2 = transpose(-12, b_1 + b7 + b_2);
+
+#
+p1 = [@c, 4, @f, 4];
+p2 = [@h3, 4, @e, 4];
+p3 = [@c, 4, @h3, 4];
+p4 = [@c, 4, @e, 4];
+
+p5 = [@a, 4, 2];
+p6 = [2, 4, 8, @a:8];
+p7 = [@d, @e, @a3, 4];
+p8 = (4 ^ @g#3:8) + [@a3, 4];
+p9 = (4 ^ @h3:8) + [@c, 4];
+
+p10 = [2, @c, 8, @e:8];
+p11 = (4 ^ @f:8) + [@f#, 8, @f#:8];
+p12 = (4 ^ @g:8) + [@g#, 8, @g#:8];
+p13 = (4 ^ @a:8) + [@h, 8, @h:8];
+
+p14 = [@c5, @a, @h, @g];
+p15 = [@a, @f, @g:2];
+p16a = [@g:2, 16, @c5:16, @h:16, @c5:16, @g:16, @c5:16, @e:16, @g:16];
+p16b = [@g:2, @c:2];
+
+P2 = transpose(-12, p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15);
+
+PART2 = wave(config, S2, A2, T2, B2, P2);
+PART2a = PART2 + wave(config, s16a, a16a, t16a, b16a, p16a);
+PART2b = PART2 + wave(config, s16b, a16b, t16b, b16b, p16b);
+
+MUSIC = PART1 + PART1 + PART2a + PART2b;
+
+synth(MUSIC);

examples/bohemian.mus

@@ -0,0 +1,42 @@
+println("Bohemian Rhapsody :: part");
+println("by Queen");
+
+m1 = [@d:8, @d:8, @d:2, 8, @b3:8, @c:8, @d:16, @d:16, @d, 4, 8, @d:16, @d:16];
+m2 = [@eb:8, @f:8, @eb:8, @d:8, @c, @c:8, @d:8, @eb:16, @f:8, @eb:8d, @d:8, @c, 4, @d:8, @d:8, @d:2, @d:8, @f:8];
+m3 = [@a:8d, @g:16, @g:2, 8, @g:8, @b:8, @b:8, @b:8, @b:8, @b:8d, @g:16, @d:8d, @c:16, @c:2, 2];
+M1 = [1, 1] + m1 + m2 + m3;
+
+p_B = [@d:8, @f3:8, @b3:8, @d:8, @g:8, @f3:8, @f:8, @f:8];
+p_g = [@d:8, @g3:8, @b3:8, @d:8, @a:8, @g3:8, @g:8, @b3:8];
+p_c = [@g:8, @c:8, @eb:8, @g:8, @d5:8, @c:8, @c5:8, @c:8];
+p_cF = [@b:8, @c:8, @eb:8, @g:8, @a:8, @eb:8, @f:8, @c:8];
+p1 = [@eb:8, @c:8, @eb:8, @g:8, @eb:8, @g:8, @eb:8, @g:8, @eb:8, @a3:8, @eb:8, @g:8, @eb:8, @g:8, @eb:8, @g:8];
+
+P1 = p_B + p_B + p_B + p_g + p_c + p_cF + p_B + p_g + p1;
+
+b1 = [@b3:1, @g3:1, @c3:1, @c3:2, @f3:2];
+b2 = [@b3:2d, @a3, @g3:1, @c3:2, @h2, @b2, @a2:2, @ab2, @g2];
+B1 = [@b3:1, @b3:1] + b1 + b2;
+
+# Eb
+m1 = [@g:16, @g:16, @g:2, 8, @f:8, @g:16, @ab:16, @g:2, 4, 8, @g:16, @g:16, @ab:8d, @g:16, @g:8, @f:16, @f:2, @b3:16];
+m2 = [@b3:8, @f:8, @f:8, @g:16, @g:8d, @ab:8, @ab:8, @b:16, @ab:16, @ab:8, @g:8, 8, @f:16, @g:16, @b:4d, @f:16, @g:16];
+m3 = [@eb:4d, @b3:16, @b3:16, @h3:8, @db:8, @h3:16, @db:16, @h3:8, @b3:2, 2];
+M2 = m1 + m2 + m3;
+
+p_Eb = [@b:8, @eb:8, @eb5:8, @eb:8, @b:8, @eb:8, @f:8, @b:8];
+p_f = [@ab:8, @f:8, @ab:8, @ab:8, @ab:8, @eb:8, @ab:8, @d:8];
+p_B = [@d, @f, @g, @ab];
+p_EbB = [@b:8, @eb:8, @eb5:8, @eb:8, @b:8, @d:8, @b:8, @d:8];
+p_cf = [@g:8, @c:8, @g:8, @c:8, @h3:2];
+P2 = p_Eb + p_c + p_f + p_B + p_EbB + p_cf;
+
+b1 = [@eb3:2d, @d3, @c3:1, @f3:4d, @e3:8, @eb3, @d3, @b2, @b2, @b2, @b2, @eb3:2, @d3:2];
+b2 = [@c2:2, @f2:2, @eb2:2, 2];
+B2 = b1 + b2;
+
+M = M1 + M2;
+P = P1 + P2;
+B = B1 + B2;
+
+synth({ tuning -> 432, bpm -> 72, overtones -> [0.5, 0.3, 0.15, 0.05], decay -> 0.8 }, transpose(12, M), P, B);

examples/bubble_sort.mus

@@ -0,0 +1,45 @@
+extend list as array {
+    function withoutIndex(integer index) {
+        return array as (i, element) ^ element % i != index;
+    }
+
+    function push(integer index, value) {
+        return (index as i ^ array.get(i)) + [value] + ((array.size-index) as i ^ array.get(i+index));
+    }
+
+    function replace(integer index, value) {
+        return array
+            .withoutIndex(index)
+            .push(index, value);
+    }
+
+    function swap(integer a, integer b) {
+        A = array.get(a);
+        B = array.get(b);
+        return array
+            .replace(a, B)
+            .replace(b, A);
+    }
+}
+
+function bubbleSort(list<integer, float> numbers) {
+    sorted = numbers;
+    -(numbers.size as n ^ n) as i ^ {
+        i as j ^ {
+            if (sorted.get(j) > sorted.get(j+1)) {
+                sorted = sorted.swap(j, j+1);
+            }
+        }
+    }
+
+    return sorted;
+}
+
+min = 0;
+max = 100;
+size = 30;
+
+randList = size ^ rand(min, max);
+
+println(randList);
+println(bubbleSort(randList));

examples/cantina.mus

@@ -0,0 +1,120 @@
+println("Star Wars :: Cantina Band");
+println("by John Williams");
+
+cb1 = [@a, @d5, @a, @d5] + [@a:8, @d5, @a:8, 8, @g#:8, @a];
+cb2 = [@a:8, @g#:8, @a:8, @g:8, 8, @f#:8, @g:8, @gb:8];
+cb3 = [@f:4d, @d:2, 8];
+cb4 = [@g:8, 8, @g:4d, @f#:8, @g];
+cb5 = [@c5:8, @b, @a, @g:4d];
+cb6 = [@c5:8, 8, @c5:4d, @a:8, @g];
+cb7 = [@f:4d, @d:2, 8];
+cb8 = [@d:2, @f:2, @a:2, @c5:2];
+cb9 = [@eb5, @d5, @g#:8, @a, @f:8];
+
+CB1 = cb1 + cb2 + cb3 + cb1 + cb4 + cb5 + cb1 + cb6 + cb7 + cb8 + cb9 + [1];
+
+cb11 = 2 ^ [8, @a5, @f5:8, @a5:8, 8, 4];
+cb12 = [8, @a5, @f5:8, @g#5:8, @a5, @f5:8];
+cb13 = [@f5:4d, @d5:2, 8];
+cb14 = [8, @a5, @f5:8, @g#5:8, @a5, @g5:8];
+cb15 = [@g5:2, @c5:2];
+cb16 = [@b:8, @d5:8, @f5, @h:8, @d5:8, @f5];
+cb17 = [@g#:8, @a5, @d5:2, 8];
+cb18 = [@d:8, @f:8, @h:8, @d5:8, @g#:8, @a, @f:8];
+cb19 = [@f:2d, 4];
+
+CB2 = cb11 + cb12 + cb13 + cb11 + cb14 + cb15 + cb11 + cb12 + cb13 + cb16 + cb17 + cb18 + cb19;
+
+cb20 = [@f, 8, @ab, @f:8, @g];
+cb21 = [8, @f:8, @ab:8, @f:8, @g:8, @f:8, @ab:8, @d:8];
+cb22 = [@f, 8, @ab, @f:8, @g];
+cb23 = [@f:8, @f:8, @ab:8, @f:8, @g:8, @f:8, @ab:8, @f:8];
+cb24 = [@g:8, @f:8, @ab:8, @f:8, @g:8, @f:8, @ab:8, @d:8];
+cb25 = [@f:8, @f:8, @ab:8, @f:8, @ab:8, @f, @f:8, @f:2d, 4];
+
+CB3 = cb20 + cb21 + cb22 + cb21 + cb22 + cb21 + cb23 + cb24 + cb22 + cb21 + cb22 + cb21 + cb22 + cb21 + cb25;
+
+cb26 = [@c5, 8, @e5:8, 4, @g5];
+cb27 = [@g5:8, @g5, @g5:8, @g5, @e5:8, @c5:8];
+cb28 = [@f5, @f5:8, @f5:8, @f5:8, @g5, @a5:8, @a5:1];
+cb29 = [@e5, @e5, @g5:8, @g5, @c5:8];
+cb30 = [@c5:8, @e5, @c5:8, @e5, @g5];
+cb31 = [@f5, @f5:8, @f5, @g5, @a5:8, @a5:1];
+cb32 = [@b5, @b5, @d6, @b5:8, @db6:8];
+cb33 = [@db6:8, @db6:8, @b5, @db6, @b5];
+cb34 = [@f5, @f5, @f5:8, @ab5, @d6:8, @d6:1];
+cb35 = [8, @b, @d5:8, @g5, @g5];
+cb36 = [8, @e5, 8, @e5, @e5];
+cb37 = [8, @f5, @f5:8, @f5, @f5:8, @f5:8];
+cb38 = [@f5:8, @f5, @f5:8, @f5:8, @f5:8, @f5];
+
+CB4 = cb26 + cb27 + cb28 + cb29 + cb30 + cb31 + cb32 + cb33 + cb34 + cb35 + cb36 + cb37 + cb38;
+
+cb39 = [@ab:8, @gb:8, @ab:8, @gb:8, @ab:8, @gb:8, @ab:8, @gb:8];
+cb40 = [@ab:8, @db5, @ab:8, @db5, @ab:8, @db5:8];
+cb41 = [8, @ab:8, @b:8, @h:8, @c5:8, @h:8, @b:8, 8];
+cb42 = [@ab:8, @db5, @ab:8, @db5, @ab:8, @a:8];
+cb43 = [@b:8, @a:8, @b:4d, @a:8, @b:8, @a:8];
+cb44 = [@b:8, @a:8, @b:8, @h:8, @c5:8, 8, @gb:8, @g:8];
+cb45 = [@b:8, @a:8, @b:4d, @a:8, @b:8, @h:8];
+cb46 = [@c5:8, @g:8, @e:8, @c:8, 8, @c:8, @db:8, @c:8];
+cb47 = [@db:8, @b3, @db:8, @fb:8, @db, @fb:8];
+cb48 = [@f:8, @e:8, @f:8, @gb:8, @g:8, @c, @g:8];
+cb49 = [@ab:8, @g:8, @ab:8, @a:8, @b:8, @a:8, @b:8, @h:8];
+cb50 = [@c5:8, @c5:8, 4, @c5:8, @c5:8, 4];
+cb51 = [@c5, @e5:2, @f5:8, @db5:8];
+cb52 = [@ab:8, @f:8, @fb:8, @eb:8, @d:8, 4, @gb:8];
+cb53 = [@c5:8, @c5, @gb:8, @c5:8, @c5, @h:8];
+cb54 = [@c5:8, @c5, @h:8, @c5:8, @c5, @c5:8];
+cb55 = [@db5:8, @fb:8, @db5:4d, @fb:8, @db5:8, @fb:8];
+cb56 = [@db5:8, @fb:8, @db5:8, @fb:8, @eb:8, @c5, @c5:8];
+cb57 = [@db5:8, @fb:8, @db5:8, @fb:8, @eb:8, @c5, @h3:8];
+cb58 = [@b3:8, @db:8, @gb:8, @b:8, @c:8, @e:8, @g:8, @c5:8];
+cb59 = [@db5:8, @db, @c:8, @db, 4];
+cb60 = [4, @a3, @b3, @a3, @b3, @a3, @gb3:8, @f3:8, @d3:8, 8];
+cb61 = [8, @a3, @a3, @a3, @a3, @a3, @a3:8, @a3:8, @a3];
+
+CB5 = cb39 + cb40 + cb41 + cb39 + cb42 + cb43 + cb44 + cb39 + cb42 + cb45 + cb46 + cb47 + cb48 + cb49 + cb50 + cb50 + cb51 + cb52 + cb53 + cb54 + cb55 + cb56 + cb55 + cb56 + cb55 + cb57 + cb58 + cb59 + cb60 + cb60 + cb60;
+
+CB = CB1 + CB2 + CB3 + (2 ^ CB4) + CB5;
+
+b1 = (3 ^ [@d3, 4, @a2, 4]) + [@f3, 4, @c3, 4, @d3, 4, @a2, 4, @d3, 4, @a2, 4, @g2, 4, @g2, 4];
+b2 = [@c3, @d3, @d#3, @e3, @d3, 4, @a2, 4, @d3, 4, @a2, 4, @c3, 4, @c3, 4];
+b3 = [@f3, 4, @c3, 4, @b2, 4, @b2, 4, @f3, 4, @d3, 4, @g3, 4, @c3, 4, @f3, @e3, @d3, @c3];
+
+B1 = b1 + b2 + b3;
+
+b4 = (3 ^ [@d3, 4, @a2, 4]) + [@d3:4d, @g#2:4d, @a2];
+b5 = (3 ^ [@d3, 4, @a2, 4]) + [@eb3:2, @c3, @c3];
+b6 = (4 ^ [@d3, 4, @a2, 4]);
+b7 = [@b2:8, @b2:8, 4, @h2:8, @h2:8, 4, @c3:4d, @d3:8, 8, @d3:8, @d3, @g2, 4, @c3:4d, @f3:4d, @e3, @d3, @c3];
+
+B2 = b4 + b5 + b6 + b7;
+
+b8 = 3 ^ [@d3, @c3, @b2, @a2, @g2, @f2, @e2, @d2];
+b9 = [@d3, 4, 2, 2, 4, @a2];
+b10 = [@d3, @b2, @a2, @a2, @d3:8, 8, 4, 2];
+
+B3 = b8 + b9 + b8 + b10;
+
+b11 = [@c3, 4, @g2, 4, @c3, 8, @b2:4d, @g2, @f2, 4, @c3, 4, @f3, 8, @e3:4d, @d3];
+b12 = [@c3, 4, @g3, 4, @c3, 8, @b2:4d, @g2, @f2, 4, @c3, 4, @d3, 8, @f#2:4d, @a2];
+b13 = [@b2, 4, @b2, 4, @h2, 4, @h2, 4, @c3, 4, @c3, 4, @d3, 8, @d3:4d, @f#2];
+b14 = [@g2, 4, @d3, 4, @c3, 8, @c3:4d, @g3, @f3, 4, @db3, 4, @f3, @f3, @e3, @d3];
+
+B4 = b11 + b12 + b13 + b14;
+
+b15 = [@db3, @c3, @b2, @ab2, @gb2, @f2, @eb2, @db2, @db3, @b2, @a2, @ab2];
+b16 = [@db3, @c3, @b2, @ab2, @gb2, @f2, @eb2, @db2, @eb2, @e2, @f2, @gb2];
+b17 = [@e2, @d2, @h2, @ab2, @h2, @ab2, @f2, @eb2, @db2, @c2, @b1, @ab1];
+#                            ^ or B?
+b18 = [@gb2, @gb2, @gb2, @db3, @c3, @c3, @e3, @g3, @gb3, @gb3, @g3, @g3];
+b19 = [@ab3, @db3, @c3, @c3, @f3, @c3, @gb3, @gb3, @c3, 4, @c3, 4];
+b20 = [@f3, 4, @f3, 4, @c3, @c3, 4, @db3:8, @f3:8, @ab3:8, @a3:8, @b3:8, @h3:8, @c:8, 8, 8, 16, @g3:16];
+b21 = [@c3, 4, @c3, 4, @f3, 4, @f3, 4, @gb2, 4, @ab2, 4, @a2, 4, @db3, 4, @gb2, 4, @ab2, 4, @a2, 4, @db3, 4, @d, 4, @eb, 4];
+b22 = [@e3, 4, @f3, 4, @gb3, 4, @g3, 4, @db3, 4, @db3, 4];
+B5 = b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22;
+
+B = B1 + B2 + B3 + (2 ^ B4) + B5;
+
+synth({ tuning -> 432, bpm -> 270 }, flat(CB), flat(B));

examples/les_anges.mus

@@ -0,0 +1,31 @@
+println("Les Anges dans nos campagnes");
+
+s = [@a, @a, @a, @c5, @c5:4d, @b:8, @a:2, @a, @g, @a, @c5, @a:4d, @g:8, @f:2];
+sc = [@c5:2, @d5:8, @c5:8, @b:8, @a:8, @b:2, @c5:8, @b:8, @a:8, @g:8, @a:2, @b:8, @a:8, @g:8, @f:8, @g:4d, @c:8, @c:2, @f, @g, @a, @b];
+sca = [@a:2, @g, 4];
+scb = [@a:2, @g:2, @f:2d, 4];
+
+S = flat(2^s, sc, sca, sc, scb);
+
+a = [@f, @f, @e, @e, @g, @e, @f:2, @f, @e, @f, @f, @f, @e, @f:2];
+ac = [@f, @a:8, @g:8, @f:2d, @g:8, @f:8, @e:2d, @f:8, @e:8, @d:2, @c:4d, @c:8, @c:2, @c, @e, @f, @g];
+aca = [@f:2, @e, 4];
+acb = [@f:2, @e:2, @c:2d, 4];
+
+A = flat(2^a, ac, aca, ac, acb);
+
+t = [@c, @c, @c, @c, @d, @c, @c:2, @c, @c, @c, @c, @c:4d, @b3:8, @a3:2];
+tc = [@a3:2, @d:1, @c:1, @b3:2, @g3, @f3, @e3:2, @f3, @c, @c, @d];
+tca = [@c:2, @c, 4];
+tcb = [@c:2d, @b3, @a3:2d, 4];
+
+T = flat(2^t, tc, tca, tc, tcb);
+
+b = [@f3, @f3, @a3, @a3, @g3, @c3, @f3:2, @f3, @c3, @f3, @a3, @c, @c3, @f3:2];
+bc = [@f3:2, @d3, @f3, @g3:2, @c3, @e3, @f3:2, @b2, @d3, @e3, @d3, @c3, @b2, @a2, @c3, @f3, @b2];
+bca = [@c3:2, @c3, 4];
+bcb = [@c3:1, @f3:2d, 4];
+
+B = flat(2^b, bc, bca, bc, bcb);
+
+synth({ tuning -> 432, overtones -> [0.6, 0.3, 0.07, 0.03], attack -> 200, decay -> 0.6 }, S, A, T, B);

examples/per_crucem.mus

@@ -0,0 +1,18 @@
+println("Per Crucem - canon");
+
+d1 = [@d:2, @d:2, @c:2, @f:4d, @f:8, @f, @f, @e, @d, @e:2, @d:2];
+d2 = [@d:8, @f:8, @a:8, @d5:8, @b:8, @a:8, @g, @c:8, @e:8, @g:8, @c5:8, @a:8, @g:8, @f, @b3:8, @d:8, @f:8, @b:8, @g:8, @f:8, @e, @a, @e, @f:2];
+d3 = [@a:2, @b:2, @c5:2, @a:4d, @a:8, @b, @f, @g, @g, @a, @e, @f:2];
+d4 = [@d5:8, @c5:8, @b:8, @a:8, @g:8, @a:8, @b, @c5:8, @b:8, @a:8, @g:8, @f:8, @g:8, @a, @b:8, @a:8, @g:8, @f:8, @e:8, @f:8, @g, @a, @e, @f:2];
+d5 = [@d5:2, @d5:2, @c5:2, @c5:2, @d5:8, @c5:8, @b:8, @a:8, @b, @b, @a:2, @a:2];
+d6 = [@d:8, @d:8, @d:8, @d:8, @g:8, @g:8, @g, @c:8, @c:8, @c:8, @c:8, @f:8, @f:8, @f, @b3:8, @b3:8, @b3:8, @b3:8, @e:8, @e:8, @e, @a3, @a3, @d:2];
+
+p = [1, 1, 1, 1];
+
+S = d1 + d2 + d3 + d4 + d5 + d6 + d1 + d2 + d3;
+A = p  + d1 + d2 + d3 + d4 + d5 + d6 + d1 + d2;
+T = p  + p  + d1 + d2 + d3 + d4 + d5 + d6 + d1;
+B = p  + p  + p  + d1 + d2 + d3 + d4 + d5 + d6;
+
+wv = wave(S, A, transpose(-12, T), transpose(-12, B));
+synth(wv);

examples/quem_pastores.mus

@@ -0,0 +1,31 @@
+println("Narodził się nam Zbawiciel / Quem pastores laudavere");
+println("mel.: XIV w.");
+println("sł.: XV - XVI w.");
+println("harm.: Bartłomiej Pluta");
+
+s1 = [@f:2, @a, @c5:2, @a, @c5:2, @d5, @c5, @g:2];
+s2 = [@a:2, @c5, @b:2, @g, @f:2, @d, @e, @c:2];
+s3 = [@a:2, @b, @c5:2, @d5, @c5:2, @g, @a, @f:2];
+s4 = [@b:2, @b, @a, @g, @a, @f, @d, @e, @f:2d];
+
+a1 = [@c:2, @f, @g:2, @f, @f, @g, @f, @f, @f, @e];
+a2 = [@f, @e, @eb, @d:2, @c, @d:2, @d, @c, @c, @b3];
+a3 = [@c:2, @c, @f, @d, @g, @g:2, @e, @e, @d:2];
+a4 = [@f:2, @f, @f, @e, @f, @c:2, @c, @c:2d];
+
+t1 = [@a, @b, @c5, @c5, @b, @c5, @a:2, @b, @a, @c5:2];
+t2 = [@c5:2, @a, @b:2, @c5, @d5, @c, @b, @g, @g:2];
+t3 = [@f, @a, @g, @a:2, @b, @b:2, @g, @g, @a:2];
+t4 = [@d5, @db5, @db5, @c5, @b, @a, @g:2, @b, @a:2d];
+
+b1 = [@f:2, @f, @e:2, @f, @f:2, @f, @c, @c:2];
+b2 = [@f:2, @f#, @g, @f, @e, @d, @f, @g, @c, @e:2];
+b3 = [@f:2, @e, @f, @f#, @g, @e, @d, @c, @c#, @d, @c];
+b4 = [@b3:2, @b, @c:2, @c, @c:2, @c, @f:2d];
+
+S = s1 + s2 + s3 + s4;
+A = a1 + a2 + a3 + a4;
+T = transpose(-12, t1 + t2 + t3 + t4);
+B = transpose(-12, b1 + b2 + b3 + b4);
+
+synth({ overtones -> [0.6, 0.25, 0.1] + (2 ^ 0.0) + [0.05], attack -> 50, decay -> 1 }, S, A, T, B);

os_requirements.txt

@@ -0,0 +1,2 @@
+You have to have installed `PortAudio` in order to use app.
+

setup.py

@@ -0,0 +1,36 @@
+import os
+
+from setuptools import setup, find_packages
+
+
+def file(file):
+    return open(os.path.join(os.path.dirname(__file__), file)).read()
+
+setup(
+    name='SMNP',
+    version=file('smnp/meta/__version__.txt'),
+    packages=find_packages(),
+    description=file('smnp/meta/__description__.txt'),
+    author='Bartlomiej P. Pluta',
+    url='https://gitlab.com/bartlomiej.pluta/smnp',
+    install_requires=[
+        "cffi>=1.12.3",
+        "cycler>=0.10.0",
+        "kiwisolver>=1.1.0",
+        "matplotlib>=3.1.1",
+        "numpy>=1.17.2",
+        "pycparser>=2.19",
+        "pyparsing>=2.4.2",
+        "python-dateutil>=2.8.0",
+        "six>=1.12.0",
+        "sounddevice>=0.3.13",
+        "soundfile>=0.10.2"
+    ],
+    entry_points={
+        'console_scripts': ['smnp=smnp.main:main']
+    },
+    package_data={
+        'smnp.library.code': ['main.mus'],
+        'smnp.meta': ['__version__.txt', '__description__.txt']
+    }
+)

smnp/ast/node/atom.py

@@ -27,6 +27,10 @@ class IntegerLiteral(Atom):
     pass
 
 
+class FloatLiteral(Atom):
+    pass
+
+
 class StringLiteral(Atom):
     pass
 
@@ -47,6 +51,10 @@ def IntegerParser(input):
     return Parser.terminal(TokenType.INTEGER, createNode=IntegerLiteral.withValue)(input)
 
 
+def FloatParser(input):
+    return Parser.terminal(TokenType.FLOAT, createNode=FloatLiteral.withValue)(input)
+
+
 def StringParser(input):
     return Parser.terminal(TokenType.STRING, createNode=StringLiteral.withValue)(input)
 
@@ -66,6 +74,7 @@ def TypeLiteralParser(input):
 def LiteralParser(input):
     return Parser.oneOf(
         IntegerParser,
+        FloatParser,
         StringParser,
         NoteParser,
         BoolParser,
@@ -78,8 +87,18 @@ def AtomParser(input):
     from smnp.ast.node.identifier import IdentifierParser
     from smnp.ast.node.list import ListParser
     from smnp.ast.node.map import MapParser
+    from smnp.ast.node.expression import ExpressionParser
+
+    parentheses = Parser.allOf(
+        Parser.terminal(TokenType.OPEN_PAREN),
+        Parser.doAssert(ExpressionParser, "expression"),
+        Parser.terminal(TokenType.CLOSE_PAREN),
+        createNode=lambda open, expr, close: expr,
+        name="grouping parentheses"
+    )
 
     return Parser.oneOf(
+        parentheses,
         LiteralParser,
         IdentifierParser,
         ListParser,

smnp/ast/node/expression.py

@@ -25,7 +25,7 @@ class Or(BinaryOperator):
 class Loop(BinaryOperator):
     def __init__(self, pos):
         super().__init__(pos)
-        self.children.append(NoneNode())
+        self.children.extend([NoneNode(), NoneNode()])
 
     @property
     def parameters(self):
@@ -35,13 +35,22 @@ class Loop(BinaryOperator):
     def parameters(self, value):
         self[3] = value
 
+    @property
+    def filter(self):
+        return self[4]
+
+    @filter.setter
+    def filter(self, value):
+        self[4] = value
+
     @classmethod
-    def loop(cls, left, parameters, operator, right):
+    def loop(cls, left, parameters, operator, right, filter):
         node = cls(left.pos)
         node.left = left
         node.parameters = parameters
         node.operator = operator
         node.right = right
+        node.filter = filter
         return node
 
 
@@ -94,13 +103,21 @@ def LoopParser(input):
         name="loop parameters"
     )
 
+    loopFilter = Parser.allOf(
+        Parser.terminal(TokenType.PERCENT),
+        Parser.doAssert(ExpressionWithoutLoopParser, "filter as bool expression"),
+        createNode=lambda percent, expr: expr,
+        name="loop filter"
+    )
+
     return Parser.allOf(
         ExpressionWithoutLoopParser,
         Parser.optional(loopParameters),
-        Parser.terminal(TokenType.DASH, createNode=Operator.withValue),
+        Parser.terminal(TokenType.CARET, createNode=Operator.withValue),
         StatementParser,
+        Parser.optional(loopFilter),
         createNode=Loop.loop,
-        name="dash-loop"
+        name="caret-loop"
     )(input)
 
 

smnp/ast/node/factor.py

@@ -11,26 +11,11 @@ class Power(BinaryOperator):
     pass
 
 def FactorParser(input):
-    from smnp.ast.node.expression import ExpressionParser
-
-    parentheses = Parser.allOf(
-        Parser.terminal(TokenType.OPEN_PAREN),
-        Parser.doAssert(ExpressionParser, "expression"),
-        Parser.terminal(TokenType.CLOSE_PAREN),
-        createNode=lambda open, expr, close: expr,
-        name="grouping parentheses"
-    )
-
-    factorOperands = Parser.oneOf(
-        parentheses,
-        UnitParser,
-        name="factor operands"
-    )
 
     powerFactor = Parser.leftAssociativeOperatorParser(
-        factorOperands,
+        UnitParser,
         [TokenType.DOUBLE_ASTERISK],
-        factorOperands,
+        UnitParser,
         lambda left, op, right: Power.withValues(left, op, right),
         name="power operator"
     )

smnp/ast/node/map.py

@@ -1,4 +1,5 @@
 from smnp.ast.node.atom import LiteralParser
+from smnp.ast.node.identifier import IdentifierLiteralParser
 from smnp.ast.node.iterable import abstractIterableParser
 from smnp.ast.node.model import Node
 from smnp.ast.node.operator import BinaryOperator, Operator
@@ -31,12 +32,15 @@ class Map(Node):
 
 def MapParser(input):
     from smnp.ast.node.expression import ExpressionParser
-    keyParser = LiteralParser
+    keyParser = Parser.oneOf(
+        LiteralParser,
+        IdentifierLiteralParser
+    )
     valueParser = ExpressionParser
 
     mapEntryParser = Parser.allOf(
         keyParser,
-        Parser.terminal(TokenType.ARROW, createNode=Operator.withValue, doAssert=True),
+        Parser.terminal(TokenType.ARROW, createNode=Operator.withValue),
         Parser.doAssert(valueParser, "expression"),
         createNode=MapEntry.withValues
     )

smnp/calc.py

@@ -1,66 +0,0 @@
-from smnp.ast.node.model import Node
-from smnp.ast.parser import Parser
-from smnp.token.tokenizer import tokenize
-from smnp.token.type import TokenType
-
-
-class Atom(Node):
-    def __init__(self, value, pos):
-        super().__init__(pos)
-        self.children = [value]
-
-    @property
-    def value(self):
-        return self[0]
-
-class Operation(Node):
-    def __init__(self, left, op, right, pos):
-        super().__init__(pos)
-        self.children = [left, op, right]
-
-    @property
-    def left(self):
-        return self[0]
-
-    @property
-    def operator(self):
-        return self[1]
-
-    @property
-    def right(self):
-        return self[2]
-
-def atom():
-    return Parser.oneOfTerminals(TokenType.INTEGER, TokenType.NOTE, TokenType.STRING, createNode=lambda val, pos: Atom(val, pos))
-
-def chain():
-    return Parser.leftAssociativeOperatorParser(atom(), [TokenType.DOT], atom(), lambda left, op, right: Operation(left, op, right, op.pos), name="chain")
-
-def factor():
-    return Parser.leftAssociativeOperatorParser(chain(), [TokenType.DOUBLE_ASTERISK], chain(), lambda left, op, right: Operation(left, op, right, op.pos), name="factor")
-
-def term():
-    return Parser.leftAssociativeOperatorParser(factor(), [TokenType.ASTERISK, TokenType.SLASH], factor(), lambda left, op, right: Operation(left, op, right, op.pos), name="term")
-
-def expr():
-    return Parser.leftAssociativeOperatorParser(term(), [TokenType.PLUS, TokenType.MINUS], term(), lambda left, op, right: Operation(left, op, right, op.pos), name="expr")
-#
-def evaluate(node):
-    if type(node) == Atom:
-        return node.value
-    lhs = evaluate(node.left)
-    rhs = evaluate(node.right)
-    return {
-        "+": int(lhs) + int(rhs),
-        "*": int(lhs) * int(rhs),
-        "-": int(lhs) - int(rhs),
-        "/": int(lhs) / int(rhs),
-        "**": int(lhs) ** int(rhs)
-    }[node.operator.value]
-
-def draft():
-
-    tokens = tokenize(['"fesf fe" + "fsefsef" + "fsefs"'])
-    e = expr()
-    node = e(tokens).node
-    node.print()

smnp/cli/parser.py

@@ -0,0 +1,26 @@
+import argparse
+
+from pkg_resources import resource_string
+
+
+def file(file):
+    return resource_string('smnp.meta', file).decode("utf-8")
+
+
+
+class CliParser(object):
+    def __init__(self):
+        self.parser = argparse.ArgumentParser(description=file("__description__.txt"))
+        self.parser.add_argument('file', nargs='*', help='a file containing SMNP code')
+        self.parser.add_argument('-c', '--code', action='append', default=[], type=str, help='a string with SMNP code')
+        self.parser.add_argument('-m', '--mic',  action='store_true', help='test microphone level')
+        self.parser.add_argument('-C', '--config', type=argparse.FileType('-r'), help='a file containing settings (not implemented yet)')
+        self.parser.add_argument('-p', '--params', action='append', help='pass arguments to program (not implemented yet)')
+        self.parser.add_argument('-v', '--version', action='version')
+        self.parser.add_argument('--tokens', action='store_true', help='print tokens of parsed code')
+        self.parser.add_argument('--ast', action='store_true', help='print abstract syntax tree of parsed code')
+        self.parser.add_argument('--dry-run', action='store_true', help='don\'t execute passed code')
+        self.parser.version = file("__version__.txt")
+
+    def parse(self):
+        return self.parser.parse_args()

smnp/environment/environment.py

@@ -81,7 +81,8 @@ class Environment():
             if function.name == name:
                 signatureCheckresult = function.signature.check(args)
                 if signatureCheckresult[0]:
-                    self.scopes.append(function.defaultArgs)
+                    self.appendScope(function.defaultArgs)
+                    appendedScopeIndex = len(self.scopes)-1
                     self.scopes[-1].update({ argName: argValue for argName, argValue in zip(function.arguments, list(signatureCheckresult[1:])) })
                     self.callStack.append(CallStackItem(name))
                     result = Type.void()
@@ -90,7 +91,8 @@ class Environment():
                     except Return as r:
                         result = r.value
                     self.callStack.pop(-1)
-                    self.scopes.pop(-1)
+                    self.popScope(mergeVariables=False)
+                    self.removeScopesAfter(appendedScopeIndex)
                     return (True, result)
                 raise IllegalFunctionInvocationException(f"{function.name}{function.signature.string}", f"{name}{argsTypesToString(args)}")
         return (False, None)
@@ -140,6 +142,20 @@ class Environment():
                 else:
                     return scope
 
+    def appendScope(self, variables=None):
+        if variables is None:
+            variables = {}
+
+        self.scopes.append(variables)
+
+    def popScope(self, mergeVariables=True):
+        lastScope = self.scopes.pop(-1)
+        if mergeVariables:
+            self.scopes[-1].update(lastScope)
+
+    def removeScopesAfter(self, index):
+        del self.scopes[index:]
+
     def scopesToString(self):
         return "Scopes:\n" + ("\n".join([ f"  [{i}]: {scope}" for i, scope in enumerate(self.scopes) ]))
 

smnp/library/code/main.mus

@@ -0,0 +1,492 @@
+function flat(list lists...) {
+    return _flat(lists as l ^ _flat(l, []), []);
+}
+
+function _flat(list l, list output) {
+    l as elem ^ {
+        if (typeOf(elem) == list) {
+            output = _flat(elem, output);
+        } else {
+            output = output + [elem];
+        }
+    }
+
+    return output;
+}
+
+extend note as n {
+    function withOctave(integer octave) {
+        return Note(n.pitch, octave, n.duration, n.dot);
+    }
+
+    function withDuration(integer duration) {
+        return Note(n.pitch, n.octave, duration, n.dot);
+    }
+
+    function withDot(bool dot) {
+        return Note(n.pitch, n.octave, n.duration, dot);
+    }
+
+    function toIntRepr() {
+        return n.octave * 12 + _pitchToNumber(n.pitch);
+    }
+
+    function transpose(integer value) {
+        return noteFromIntRepr(n.toIntRepr() + value, n.duration, n.dot);
+    }
+}
+
+function noteFromIntRepr(integer intRepr, integer duration, bool dot) {
+    pitch = _numberToPitch(mod(intRepr, 12));
+    octave = Integer(intRepr / 12);
+    return Note(pitch, octave, duration, dot);
+}
+
+function mod(integer a, integer b) {
+    return a - b * Integer(a/b);
+}
+
+function _pitchToNumber(string pitch) {
+    return _keysToIntMapper(
+        "C",
+        "CIS",
+        "D",
+        "DIS",
+        "E",
+        "F",
+        "FIS",
+        "G",
+        "GIS",
+        "A",
+        "AIS",
+        "H"
+    ).get(pitch);
+}
+
+function _keysToIntMapper(keys...) {
+    return Map(keys as (i, key) ^ [key, i]);
+}
+
+function _numberToPitch(integer number) {
+    return ["C", "CIS", "D", "DIS", "E", "F", "FIS", "G", "GIS", "A", "AIS", "H"].get(number);
+}
+
+function transpose(integer value, <note, integer, list<note, integer>> notes...) {
+    if (notes.size == 1) {
+        first = notes.get(0);
+        if (typeOf(first) == integer) {
+            return first;
+        } else if (typeOf(first) == note) {
+            return first.transpose(value);
+        } else if (typeOf(first) == list) {
+            return _transpose(value, first);
+        }
+    }
+
+    noteOrInteger = false;
+    lists = false;
+
+    notes as n ^ {
+        if (typeOf(n) == note or typeOf(n) == integer) {
+            noteOrInteger = true;
+            if (lists) {
+                throw "Mixing notes and integers with lists of them is not supported";
+            }
+        } else if (typeOf(n) == list) {
+            lists = true;
+            if (noteOrInteger) {
+                throw "Mixing notes and integers with lists of them is not supported";
+            }
+        }
+    }
+
+    output = [];
+    notes as n ^ {
+        if (typeOf(n) == integer) {
+            output = output + [n];
+        } else if (typeOf(n) == note) {
+            output = output + [n.transpose(value)];
+        } else if (typeOf(n) == list) {
+            output = output + [_transpose(value, n)];
+        }
+    }
+
+    return output;
+}
+
+function _transpose(integer value, list<note, integer> notes) {
+    output = [];
+    notes as n ^ {
+        if (typeOf(n) == integer) {
+            output = output + [n];
+        } else if (typeOf(n) == note) {
+            output = output + [n.transpose(value)];
+        }
+    }
+    return output;
+}
+
+function transposeTo(note target, <note, integer, list<note, integer>> notes...) {
+    if (notes.size == 1) {
+        first = notes.get(0);
+        if (typeOf(first) == integer) {
+            return first;
+        } else if (typeOf(first) == note) {
+            return _transposeTo(target, notes).get(0);
+        } else if (typeOf(first) == list) {
+            return _transposeTo(target, first);
+        }
+    }
+
+    noteOrInteger = false;
+    lists = false;
+
+    notes as n ^ {
+        if (typeOf(n) == note or typeOf(n) == integer) {
+            noteOrInteger = true;
+            if (lists) {
+                throw "Mixing notes and integers with lists of them is not supported";
+            }
+        } else if (typeOf(n) == list) {
+            lists = true;
+            if (noteOrInteger) {
+                throw "Mixing notes and integers with lists of them is not supported";
+            }
+        }
+    }
+
+    if (noteOrInteger) {
+        return _transposeTo(target, notes);
+    }
+
+    if (lists) {
+        return notes as n ^ _transposeTo(target, n);
+    }
+}
+
+function _transposeTo(note target, list<note, integer> notes) {
+    if (notes.size == 0) {
+        throw "Provide list with one note at least";
+    }
+
+    firstNote = notes.get(0);
+    semitones = semitones(firstNote, target);
+    return transpose(semitones, notes);
+}
+
+function tuplet(integer n, integer m, note notes...) {
+    if (n != notes.size) {
+        throw "Expected " + n.toString() + " notes exactly, whereas " + notes.size.toString() + " was passed";
+    }
+
+    return notes as x ^ x.withDuration(x.duration * n / m);
+}
+
+extend list as l with function contains(expectedValue) {
+    return (l as value ^ value % value == expectedValue).size > 0;
+}
+
+extend map as m {
+    function containsKey(expectedKey) {
+        return m.keys.contains(expectedKey);
+    }
+
+    function containsValue(expectedValue) {
+        return m.values.contains(expectedValue);
+    }
+
+    function contains(key, value) {
+        if (m.keys.contains(key)) {
+            return m.get(key) == value;
+        }
+
+        return false;
+    }
+}
+
+function sample(items...) {
+    if (items.size == 0) {
+        throw "Provide one item at least";
+    }
+
+    if (items.size == 1 and typeOf(items) == list) {
+        return items.get(0).get(rand(0, items.get(0).size-1));
+    }
+
+    return items.get(rand(0, items.size-1));
+}
+
+extend string as s with function join(list<string> l) {
+    output = "";
+    l as (index, item) ^ {
+        output = output + item;
+        if (index < l.size - 1) {
+            output = output + s;
+        }
+    }
+
+    return output;
+}
+
+function random(map<string><> items...) {
+    accumulator = 0;
+    items as (index, item) ^ {
+        if (item.size != 2) {
+            throw "Expected lists with two items: percent and value";
+        }
+
+        if (not item.containsKey("percent")) {
+            throw "Item " + (index+1).toString() + " does not have 'percent' key";
+        }
+
+        if (not item.containsKey("value")) {
+            throw "Item " + (index+1).toString() + " does not have 'value' key";
+        }
+
+        accumulator = accumulator + item.get("percent");
+    }
+
+    if (accumulator != 100) {
+        throw "Sum of first element of each item must be equal to 100";
+    }
+
+    accumulator = 0;
+    random = rand(0, 99);
+    items as item ^ {
+        accumulator = accumulator + item.get("percent");
+        if (random < accumulator) {
+            return item.get("value");
+        }
+    }
+}
+
+function semitones(<note, integer, list<note, integer>> notes...) {
+    noteOrInteger = false;
+    lists = false;
+
+    notes as n ^ {
+        if (typeOf(n) == note or typeOf(n) == integer) {
+            noteOrInteger = true;
+            if (lists) {
+                throw "Mixing notes and integers with lists of them is not supported";
+            }
+        } else if (typeOf(n) == list) {
+            lists = true;
+            if (noteOrInteger) {
+                throw "Mixing notes and integers with lists of them is not supported";
+            }
+        }
+    }
+
+    if (noteOrInteger) {
+        return _semitones(notes);
+    }
+
+    if (lists) {
+        output = [];
+        notes as n ^ {
+            output = output + [_semitones(n)];
+        }
+
+        #if (output.size == 1) {
+        #    return output.get(0)
+        #}
+
+        return output;
+    }
+
+    return [];
+}
+
+function _semitones(list<note, integer> notes) {
+    onlyNotes = notes as n ^ n % typeOf(n) == note;
+
+    if (onlyNotes.size == 2 and typeOf(onlyNotes.get(0)) == note and typeOf(onlyNotes.get(1)) == note) {
+        first = onlyNotes.get(0);
+        second = onlyNotes.get(1);
+        return second.toIntRepr() - first.toIntRepr();
+    }
+
+    if (onlyNotes.size < 2) {
+        throw "Provide 2 notes at least to evaluate semitones between them";
+    }
+
+    output = [];
+    range(1, onlyNotes.size-1) as i ^ {
+        output = output + [onlyNotes.get(i).toIntRepr() - onlyNotes.get(i-1).toIntRepr()];
+    }
+
+    return output;
+}
+
+function stringInterval(integer semitones) {
+    return [
+        "1",
+        "2m",
+        "2M",
+        "3m",
+        "3M",
+        "4",
+        "5d/4A",
+        "5",
+        "6m",
+        "6M",
+        "7m",
+        "7M"
+    ].get(semitones);
+}
+
+function interval(<note, integer, list<note, integer>> notes...) {
+    noteOrInteger = false;
+    lists = false;
+
+    notes as n ^ {
+        if (typeOf(n) == note or typeOf(n) == integer) {
+            noteOrInteger = true;
+            if (lists) {
+                throw "Mixing notes and integers with lists of them is not supported";
+            }
+        } else if (typeOf(n) == list) {
+            lists = true;
+            if (noteOrInteger) {
+                throw "Mixing notes and integers with lists of them is not supported";
+            }
+        }
+    }
+
+    if (noteOrInteger) {
+        semitones = _semitones(notes);
+        if (typeOf(semitones) == list) {
+            return semitones as n ^ stringInterval(n);
+        } else {
+            return stringInterval(semitones);
+        }
+    }
+
+    if (lists) {
+        output = [];
+        notes as n ^ {
+            semitones = _semitones(n);
+            if (typeOf(semitones) == list) {
+                output = output + [_semitones(n) as semitone ^ stringInterval(semitone)];
+            } else {
+                output = output + [stringInterval(semitones)];
+            }
+        }
+
+        #if (output.size == 1) {
+        #    return output.get(0);
+        #}
+
+        return output;
+    }
+
+    return [];
+}
+
+function noteRange(note a, note b, string filter = "all") {
+    filters = {
+        "all" -> [ "C", "CIS", "D", "DIS", "E", "F", "FIS", "G", "GIS", "A", "AIS", "H" ],
+        "diatonic" -> [ "C", "D", "E", "F", "G", "A", "H" ],
+        "chromatic" -> [ "CIS", "DIS", "FIS", "GIS", "AIS" ]
+    };
+
+    if (not filters.containsKey(filter)) {
+        throw "Unknown filter: '" + filter + "'";
+    }
+
+    notes = range(a.toIntRepr(), b.toIntRepr()) as intRepr ^ noteFromIntRepr(intRepr, a.duration, a.dot);
+    return notes as n ^ n % filters.get(filter).contains(n.pitch);
+
+}
+
+function range(<integer, float> a, <integer, float> b, <integer, float> step = 1) {
+    if (not (step > 0)) {
+        throw "Step should be greater than 0";
+    }
+
+    if (a > b) {
+        throw "Upper range value should be greater than lower or equal to";
+    }
+
+    output = [];
+
+    i = a;
+    i <= b ^ {
+        output = output + [i];
+        i = i + step;
+    }
+
+    return output;
+}
+
+function alert(<integer, bool> cycles = true, string melody = "beep", list<float, integer> overtones = [0.5, 0.0, 0.0, 0.5]) {
+    if (not [integer, bool].contains(typeOf(cycles))) {
+        throw "Provide 'true' or number of cycles as first argument";
+    }
+
+    if (typeOf(cycles) == integer) {
+        if (cycles < 1) {
+            throw "Number of cycles cannot be less than 1";
+        }
+    }
+
+    if (typeOf(cycles) == bool) {
+        if (not cycles) {
+            throw "Provide 'true' or number of cycles as first argument";
+        }
+    }
+
+    notes = {
+        "beep" -> [@c5:16, 32, @c5:16, 3],
+        "s1" -> noteRange(@c5:32, @g5:32),
+        "s2" -> _upDown(noteRange(@c5:32, @g5:32)),
+        "s3" -> [@a5:16, @d5:16],
+        "semitone" -> [@c5:16, @db5:16]
+    };
+
+    if (not notes.containsKey(melody)) {
+        throw "Unknown melody '" + melody + "'. Available: 'beep', 's1', 's2', 's3' and 'semitone'";
+    }
+
+    config = {
+        bpm -> 120,
+        decay -> 0.5,
+        attack -> 200,
+        overtones -> overtones
+    };
+
+    wave = wave(config, notes.get(melody));
+
+    cycles ^ synth(wave);
+}
+
+function _upDown(list l) {
+    return l + -l;
+}
+
+function metronome(integer bpm = 120, integer beats = 4, countMeasures = false) {
+    accent = wave({
+        overtones -> flat([0.5, 0.1, 10^0, 0.1, 10^0, 0.1, 20^0, 0.1, 25^0, 0.05, 25^0, 0.05]),
+        attack -> 0,
+        decay -> 5,
+        bpm -> bpm
+    }, @c);
+
+    beat = wave({
+        overtones -> flat([0.5, 10^0, 0.3, 10^0, 0.2]),
+        attack -> 0,
+        decay -> 100,
+        bpm -> bpm
+    }, @c);
+
+    measure = 1;
+    true ^ {
+        if (countMeasures) {
+            println(measure);
+            measure = measure + 1;
+        }
+        synth(accent);
+        beats - 1 ^ synth(beat);
+    }
+}

smnp/main.py

@@ -1,17 +1,38 @@
-import sys
-
+from smnp.cli.parser import CliParser
 from smnp.error.base import SmnpException
 from smnp.library.loader import loadStandardLibrary
+from smnp.module.mic.lib.detector.noise import NoiseDetector
 from smnp.program.interpreter import Interpreter
 
 
+def interpretFile(args, file):
+    stdLibraryEnv = loadStandardLibrary() if not args.dry_run else None
+    Interpreter.interpretFile(file, printTokens=args.tokens, printAst=args.ast, execute=not args.dry_run, baseEnvironment=stdLibraryEnv)
+
+
+def interpretString(args, string):
+    stdLibraryEnv = loadStandardLibrary() if not args.dry_run else None
+    Interpreter.interpretString(string, printTokens=args.tokens, printAst=args.ast, execute=not args.dry_run, baseEnvironment=stdLibraryEnv, source='<cli>')
+
+
 def main():
     try:
-        stdLibraryEnv = loadStandardLibrary()
-        Interpreter.interpretFile(sys.argv[1], printTokens=False, printAst=False, execute=True, baseEnvironment=stdLibraryEnv)
+        parser = CliParser()
+        args = parser.parse()
+
+        if args.mic:
+            nd = NoiseDetector()
+            nd.test()
+
+        for code in args.code:
+            interpretString(args, code)
+
+        for file in args.file:
+            interpretFile(args, file)
 
     except SmnpException as e:
         print(e.message())
 
     except KeyboardInterrupt:
         print("Program interrupted")
+

smnp/meta/__description__.txt

@@ -0,0 +1 @@
+Simple Music Notation Processor is a command line tool enabling you to do some music stuff using custom domain-specific language.

smnp/meta/__version__.txt

@@ -0,0 +1 @@
+0.1

smnp/module/__init__.py

@@ -1,4 +1,4 @@
-from smnp.module import system, mic, note, iterable, sound, synth, string, util
+from smnp.module import system, mic, note, iterable, sound, synth, string, util, integer, float
 
-functions = [ *system.functions, *mic.functions, *note.functions, *iterable.functions, *sound.functions, *synth.functions, *string.functions, *util.functions ]
-methods = [ *system.methods, *mic.methods, *note.methods, *iterable.methods, *sound.methods, *synth.methods, *string.methods, *util.methods ]
+functions = [ *system.functions, *mic.functions, *note.functions, *iterable.functions, *sound.functions, *synth.functions, *string.functions, *util.functions, *integer.functions, *float.functions ]
+methods = [ *system.methods, *mic.methods, *note.methods, *iterable.methods, *sound.methods, *synth.methods, *string.methods, *util.methods, *integer.methods, *float.methods ]

smnp/module/float/__init__.py

@@ -0,0 +1,4 @@
+from smnp.module.float.function import float
+
+functions = [ float.function ]
+methods = []

smnp/module/float/function/float.py

@@ -0,0 +1,26 @@
+from smnp.function.model import CombinedFunction, Function
+from smnp.function.signature import signature
+from smnp.type.model import Type
+from smnp.type.signature.matcher.type import ofType
+
+_signature1 = signature(ofType(Type.INTEGER))
+def _function1(env, value):
+    return Type.float(float(value.value))
+
+
+_signature2 = signature(ofType(Type.STRING))
+def _function2(env, value):
+    return Type.float(float(value.value))
+
+
+_signature3 = signature(ofType(Type.FLOAT))
+def _function3(env, value):
+    return value
+
+
+function = CombinedFunction(
+    'Float',
+    Function(_signature1, _function1),
+    Function(_signature2, _function2),
+    Function(_signature3, _function3),
+)

smnp/module/integer/__init__.py

@@ -0,0 +1,4 @@
+from smnp.module.integer.function import integer
+
+functions = [ integer.function ]
+methods = []

smnp/module/integer/function/integer.py

@@ -0,0 +1,25 @@
+from smnp.function.model import CombinedFunction, Function
+from smnp.function.signature import signature
+from smnp.type.model import Type
+from smnp.type.signature.matcher.type import ofType
+
+_signature1 = signature(ofType(Type.FLOAT))
+def _function1(env, value):
+    return Type.integer(int(value.value))
+
+
+_signature2 = signature(ofType(Type.STRING))
+def _function2(env, value):
+    return Type.integer(int(value.value))
+
+
+_signature3 = signature(ofType(Type.INTEGER))
+def _function3(env, value):
+    return value
+
+function = CombinedFunction(
+    'Integer',
+    Function(_signature1, _function1),
+    Function(_signature2, _function2),
+    Function(_signature3, _function3),
+)

smnp/module/iterable/__init__.py

@@ -1,4 +1,4 @@
-from smnp.module.iterable.function import combine, map, get
+from smnp.module.iterable.function import map, get
 
-functions = [ combine.function, map.function ]
+functions = [ map.function ]
 methods = [ get.function ]

smnp/module/iterable/function/combine.py

@@ -1,18 +0,0 @@
-from functools import reduce
-
-from smnp.function.model import Function
-from smnp.function.signature import varargSignature
-from smnp.type.model import Type
-from smnp.type.signature.matcher.type import ofTypes
-
-_signature = varargSignature(ofTypes(Type.LIST))
-def _function(env, vararg):
-    if len(vararg) == 1:
-        return vararg[0]
-
-    combined = reduce(lambda x, y: x.value + y.value, vararg)
-    return Type.list(combined)
-
-
-function = Function(_signature, _function, 'combine')
-

smnp/module/iterable/function/range.py

@@ -1,36 +0,0 @@
-from smnp.function.model import CombinedFunction, Function
-from smnp.function.signature import signature
-from smnp.note.model import Note
-from smnp.type.model import Type
-from smnp.type.signature.matcher.type import ofType
-
-_signature1 = signature(ofType(Type.INTEGER))
-def _function1(env, upper):
-    return Type.list([ Type.integer(i) for i in range(upper.value + 1)])
-
-
-_signature2 = signature(ofType(Type.INTEGER), ofType(Type.INTEGER))
-def _function2(env, lower, upper):
-    return Type.list([ Type.integer(i) for i in range(lower.value, upper.value + 1)])
-
-
-_signature3 = signature(ofType(Type.INTEGER), ofType(Type.INTEGER), ofType(Type.INTEGER))
-def _function3(env, lower, upper, step):
-    return Type.list([ Type.integer(i) for i in range(lower.value, upper.value + 1, step.value)])
-
-
-_signature4 = signature(ofType(Type.NOTE), ofType(Type.NOTE))
-def _function4(env, lower, upper):
-    return Type.list([Type.note(n) for n in Note.range(lower.value, upper.value)])
-
-
-# TODO
-# signature5 = range(note lower, note upper, integer step) OR step = "diatonic" | "chromatic" | "augmented" | "diminish"
-
-function = CombinedFunction(
-    'range',
-    Function(_signature1, _function1),
-    Function(_signature2, _function2),
-    Function(_signature3, _function3),
-    Function(_signature4, _function4),
-)

smnp/module/string/__init__.py

@@ -1,4 +1,4 @@
-from smnp.module.string.function import concat, stringify
+from smnp.module.string.function import stringify
 
-functions = [ concat.function ]
+functions = []
 methods = [ stringify.function ]

smnp/module/string/function/concat.py

@@ -1,11 +0,0 @@
-from smnp.function.model import Function
-from smnp.function.signature import varargSignature
-from smnp.type.model import Type
-from smnp.type.signature.matcher.type import ofType
-
-_signature = varargSignature(ofType(Type.STRING))
-def _function(env, vararg):
-    return Type.string("".join([ arg.value for arg in vararg ]))
-
-
-function = Function(_signature, _function, 'concat')

smnp/module/synth/__init__.py

@@ -1,4 +1,4 @@
-from smnp.module.synth.function import synth, pause
+from smnp.module.synth.function import synth, pause, plot, compile, fft
 
-functions = [ synth.function, pause.function ]
+functions = [ synth.function, pause.function, plot.function, compile.function, fft.function ]
 methods = []

smnp/module/synth/function/compile.py

@@ -0,0 +1,157 @@
+from smnp.error.runtime import RuntimeException
+from smnp.function.model import Function, CombinedFunction
+from smnp.function.signature import varargSignature
+from smnp.module.synth.lib.wave import compilePolyphony
+
+from smnp.type.model import Type
+from smnp.type.signature.matcher.list import listOf
+from smnp.type.signature.matcher.type import ofTypes, ofType
+
+
+DEFAULT_BPM = 120
+DEFAULT_OVERTONES = [0.4, 0.3, 0.1, 0.1, 0.1]
+DEFAULT_DECAY = 4
+DEFAULT_ATTACK = 100
+DEFAULT_TUNING = 440
+
+
+def getBpm(config):
+    key = Type.string("bpm")
+    if key in config.value:
+        bpm = config.value[key]
+        if bpm.type != Type.INTEGER or bpm.value <= 0:
+            raise RuntimeException("The 'bpm' property must be positive integer", None)
+
+        return bpm.value
+
+    return DEFAULT_BPM
+
+
+def getOvertones(config):
+    key = Type.string("overtones")
+    if key in config.value:
+        overtones = config.value[key]
+        rawOvertones = [overtone.value for overtone in overtones.value]
+        if overtones.type != Type.LIST or not all(overtone.type in [Type.FLOAT, Type.INTEGER] for overtone in overtones.value):
+            raise RuntimeException("The 'overtones' property must be list of floats", None)
+
+        if len(rawOvertones) < 1:
+            raise RuntimeException("The 'overtones' property must contain one overtone at least", None)
+
+        if any(overtone < 0 for overtone in rawOvertones):
+            raise RuntimeException("The 'overtones' property mustn't contain negative values", None)
+
+        if sum(rawOvertones) > 1.0:
+            raise RuntimeException("The 'overtones' property must contain overtones which sum is not greater than 1.0", None)
+
+        return rawOvertones
+
+    return DEFAULT_OVERTONES
+
+
+def getDecay(config):
+    key = Type.string("decay")
+    if key in config.value:
+        decay = config.value[key]
+        if not decay.type in [Type.INTEGER, Type.FLOAT] or decay.value < 0:
+            raise RuntimeException("The 'decay' property must be non-negative integer or float", None)
+
+        return decay.value
+
+    return DEFAULT_DECAY
+
+
+def getAttack(config):
+    key = Type.string("attack")
+    if key in config.value:
+        attack = config.value[key]
+        if not attack.type in [Type.INTEGER, Type.FLOAT] or attack.value < 0:
+            raise RuntimeException("The 'attack' property must be non-negative integer or float", None)
+
+        return attack.value
+
+    return DEFAULT_ATTACK
+
+
+def getTuning(config):
+    key = Type.string("tuning")
+    if key in config.value:
+        tuning = config.value[key]
+        if not tuning.type in [Type.INTEGER, Type.FLOAT] or tuning.value < 0:
+            raise RuntimeException("The 'tuning' property must be non-negative integer or float", None)
+
+        return tuning.value
+
+    return DEFAULT_TUNING
+
+
+class Config:
+    def __init__(self, bpm, overtones, decay, attack, tuning):
+        self.bpm = bpm
+        self.overtones = overtones
+        self.decay = decay
+        self.attack = attack
+        self.tuning = tuning
+
+    @staticmethod
+    def default():
+        return Config(DEFAULT_BPM, DEFAULT_OVERTONES, DEFAULT_DECAY, DEFAULT_ATTACK, DEFAULT_TUNING)
+
+
+_signature1 = varargSignature(listOf(Type.NOTE, Type.INTEGER))
+def _function1(env, notes):
+    return Type.list([Type.float(float(m)) for m in __function1(notes)])
+
+
+def __function1(notes):
+    return compilePolyphony([note.value for note in notes], Config.default())
+
+
+_signature2 = varargSignature(ofTypes(Type.NOTE, Type.INTEGER))
+def _function2(env, notes):
+    return Type.list([Type.float(float(m)) for m in __function2(notes)])
+
+
+def __function2(notes):
+    return compilePolyphony([ notes ], Config.default())
+
+
+_signature3 = varargSignature(listOf(Type.NOTE, Type.INTEGER), ofType(Type.MAP))
+def _function3(env, config, notes):
+    return Type.list([ Type.float(float(m)) for m in __function3(config, notes) ])
+
+
+def __function3(config, notes):
+    rawNotes = [note.value for note in notes]
+
+    bpm = getBpm(config)
+    overtones = getOvertones(config)
+    decay = getDecay(config)
+    attack = getAttack(config)
+    tuning = getTuning(config)
+
+    return compilePolyphony(rawNotes, Config(bpm, overtones, decay, attack, tuning))
+
+
+_signature4 = varargSignature(ofTypes(Type.NOTE, Type.INTEGER), ofType(Type.MAP))
+def _function4(env, config, notes):
+    return Type.list([ Type.float(float(m)) for m in __function4(config, notes) ])
+
+
+def __function4(config, notes):
+    bpm = getBpm(config)
+    overtones = getOvertones(config)
+    decay = getDecay(config)
+    attack = getAttack(config)
+    tuning = getTuning(config)
+
+    return compilePolyphony([ notes ], Config(bpm, overtones, decay, attack, tuning))
+
+
+function = CombinedFunction(
+    'wave',
+    Function(_signature1, _function1),
+    Function(_signature2, _function2),
+    Function(_signature3, _function3),
+    Function(_signature4, _function4),
+)

smnp/module/synth/function/fft.py

@@ -0,0 +1,17 @@
+import numpy as np
+
+from smnp.function.model import Function
+from smnp.function.signature import signature
+from smnp.type.model import Type
+from smnp.type.signature.matcher.list import listOf
+
+_signature = signature(listOf(Type.FLOAT))
+def _function(env, signal):
+    raw = [ x.value for x in signal.value ]
+    N = len(raw)
+    fft = np.fft.fft(raw)/N
+    fft = fft[range(int(N/2))]
+    return Type.list([ Type.float(float(abs(x))) for x in fft ])
+
+
+function = Function(_signature, _function, 'fft')

smnp/module/synth/function/pause.py

@@ -1,13 +1,13 @@
 from smnp.function.model import Function
 from smnp.function.signature import signature
-from smnp.module.synth.lib import player
+from smnp.module.synth.lib.wave import pause
 from smnp.type.model import Type
 from smnp.type.signature.matcher.type import ofTypes
 
 _signature = signature(ofTypes(Type.INTEGER))
 def _function(env, value):
     bpm = env.findVariable('bpm')
-    player.pause(value.value, bpm.value)
+    pause(value.value, bpm.value)
 
 
 function = Function(_signature, _function, 'pause')

smnp/module/synth/function/plot.py

@@ -0,0 +1,13 @@
+from smnp.function.model import Function
+from smnp.function.signature import signature
+from smnp.module.synth.lib.wave import plot
+from smnp.type.model import Type
+from smnp.type.signature.matcher.list import listOf
+
+_signature = signature(listOf(Type.FLOAT))
+def _function(env, wave):
+    rawWave = [ m.value for m in wave.value ]
+    plot(rawWave)
+
+
+function = Function(_signature, _function, 'plot')

smnp/module/synth/function/synth.py

@@ -1,13 +1,47 @@
-from smnp.function.model import Function
-from smnp.function.signature import signature
-from smnp.module.synth.lib.player import play
+from smnp.function.model import Function, CombinedFunction
+from smnp.function.signature import varargSignature
+from smnp.module.synth.function import compile
+from smnp.module.synth.lib.wave import play
 from smnp.type.model import Type
-from smnp.type.signature.matcher.type import ofType
+from smnp.type.signature.matcher.list import listOf
+from smnp.type.signature.matcher.type import ofTypes, ofType
 
-_signature = signature(ofType(Type.NOTE))
-def _function(env, note):
-    bpm = env.findVariable('bpm')
-    play(note.value, bpm.value)
+_signature1 = varargSignature(listOf(Type.NOTE, Type.INTEGER))
+def _function1(env, notes):
+    wave = compile.__function1(notes)
+    play(wave)
 
 
-function = Function(_signature, _function, 'synthNote')
+_signature2 = varargSignature(ofTypes(Type.NOTE, Type.INTEGER))
+def _function2(env, notes):
+    wave = compile.__function2(notes)
+    play(wave)
+
+
+_signature3 = varargSignature(listOf(Type.NOTE, Type.INTEGER), ofType(Type.MAP))
+def _function3(env, config, notes):
+    wave = compile.__function3(config, notes)
+    play(wave)
+
+
+_signature4 = varargSignature(ofTypes(Type.NOTE, Type.INTEGER), ofType(Type.MAP))
+def _function4(env, config, notes):
+    wave = compile.__function4(config, notes)
+    play(wave)
+
+
+_signature5 = varargSignature(listOf(Type.FLOAT))
+def _function5(env, waves):
+    for wave in waves:
+        rawWave = [m.value for m in wave.value]
+        play(rawWave)
+
+
+function = CombinedFunction(
+    'synth',
+    Function(_signature1, _function1),
+    Function(_signature2, _function2),
+    Function(_signature3, _function3),
+    Function(_signature4, _function4),
+    Function(_signature5, _function5)
+)

smnp/module/synth/lib/player.py

@@ -1,24 +0,0 @@
-import time
-
-from smnp.module.synth.lib.wave import sine
-from smnp.note.model import Note
-
-
-def playNotes(notes, bpm):
-    for note in notes:
-        {
-            Note: play,
-            int: pause
-        }[type(note)](note, bpm)
-
-
-def play(note, bpm):
-    frequency = note.toFrequency()
-    duration = 60 * 4 / note.duration / bpm
-    duration *= 1.5 if note.dot else 1
-    sine(frequency, duration)
-
-
-def pause(value, bpm):
-    time.sleep(60 * 4 / value / bpm)
-

smnp/module/synth/lib/wave.py

@@ -1,12 +1,80 @@
 import time
 
+import matplotlib.pyplot as plt
 import numpy as np
 import sounddevice as sd
 
+from smnp.note.pitch import Tuning
+from smnp.type.model import Type
+
 FS = 44100
 
 
+def pause(value, bpm):
+    time.sleep(60 * 4 / value / bpm)
+
+
+def plot(wave):
+    X = np.arange(len(wave))
+    plt.plot(X, wave)
+    plt.show()
+
+
+def play(wave):
+    sd.play(wave)
+    time.sleep(len(wave) / FS)
+
+
+def compilePolyphony(notes, config):
+    tuning = Tuning(config.tuning)
+    compiledLines = [1 / len(notes) * compileNotes(line, config, tuning) for line in notes]
+    return sum(adjustSize(compiledLines))
+
+
+def adjustSize(compiledLines):
+    maxSize = max(len(line) for line in compiledLines)
+
+    return [np.concatenate([line, np.zeros(maxSize - len(line))]) for line in compiledLines]
+
+
+def compileNotes(notes, config, tuning):
+    dispatcher = {
+        Type.NOTE: lambda note, overtones: sineForNote(note.value, config, tuning),
+        Type.INTEGER: lambda note, overtones: silenceForPause(note.value, config)
+    }
+
+    return np.concatenate([dispatcher[note.type](note, config) for note in notes])
+
+
+def sineForNote(note, config, tuning):
+    frequency = note.toFrequency(tuning)
+    duration = 60 * 4 / note.duration / config.bpm
+    duration *= 1.5 if note.dot else 1
+    return sound(frequency, duration, config)
+
+
+def sound(frequency, duration, config):
+    return attack(decay(sum(overtone * sine((i+1) * frequency, duration) for i, overtone in enumerate(config.overtones) if overtone > 0), config), config)
+
+
+def decay(wave, config):
+    magnitude = np.exp(-config.decay/len(wave) * np.arange(len(wave)))
+
+    return magnitude * wave
+
+
+def attack(wave, config):
+    magnitude = -np.exp(-config.attack / len(wave) * np.arange(len(wave)))+1 \
+    if config.attack > 0 \
+    else np.ones(len(wave))
+
+    return magnitude * wave
+
+
 def sine(frequency, duration):
-    samples = (np.sin(2*np.pi*np.arange(FS*duration)*frequency/FS)).astype(np.float32)
-    sd.play(samples, FS)
-    time.sleep(duration)
+    return (np.sin(2 * np.pi * np.arange(FS * duration) * frequency / FS)).astype(np.float32)
+
+
+def silenceForPause(value, config):
+    duration = 60 * 4 / value / config.bpm
+    return np.zeros(int(FS * duration))

smnp/module/system/__init__.py

@@ -1,4 +1,4 @@
-from smnp.module.system.function import sleep, display, displayln, debug, exit, type
+from smnp.module.system.function import sleep, display, displayln, debug, exit, type, read
 
-functions = [ debug.function, display.function, displayln.function, exit.function, sleep.function, type.function ]
+functions = [ debug.function, display.function, displayln.function, exit.function, sleep.function, type.function, read.function ]
 methods = []

smnp/module/system/function/read.py

@@ -1,3 +1,72 @@
+from smnp.error.runtime import RuntimeException
+from smnp.function.model import CombinedFunction, Function
+from smnp.function.signature import signature
+from smnp.token.tokenizers.bool import boolTokenizer
+from smnp.token.tokenizers.note import noteTokenizer
+from smnp.type.model import Type
+from smnp.type.signature.matcher.type import ofType
+
+_signature1 = signature()
+def _function1(env):
+    value = input()
+    return Type.string(value)
+
+
+_signature2 = signature(ofType(Type.STRING))
+def _function2(env, prompt):
+    print(prompt.value, end="")
+    value = input()
+    return Type.string(value)
+
+
+_signature3 = signature(ofType(Type.TYPE))
+def _function3(env, type):
+    value = input()
+    return getValueAccordingToType(value, type)
+
+
+def getValueAccordingToType(value, type):
+    try:
+        if type.value == Type.STRING:
+            return Type.string(value)
+
+        if type.value == Type.INTEGER:
+            return Type.integer(int(value))
+
+        if type.value == Type.BOOL:
+            consumedChars, token = boolTokenizer(value, 0, 0)
+            if consumedChars > 0:
+                return Type.bool(token.value)
+
+            return ValueError()
+
+        if type.value == Type.NOTE:
+            consumedChars, token = noteTokenizer(value, 0, 0)
+            if consumedChars > 0:
+                return Type.note(token.value)
+
+            raise ValueError()
+
+        raise RuntimeException(f"Type {type.value.name.lower()} is not supported", None)
+
+    except ValueError:
+        raise RuntimeException(f"Invalid value '{value}' for type {type.value.name.lower()}", None)
+
+
+_signature4 = signature(ofType(Type.STRING), ofType(Type.TYPE))
+def _function4(env, prompt, type):
+    print(prompt.value, end="")
+    value = input()
+    return getValueAccordingToType(value, type)
+
+
+function = CombinedFunction(
+    'read',
+    Function(_signature1, _function1),
+    Function(_signature2, _function2),
+    Function(_signature3, _function3),
+    Function(_signature4, _function4)
+)
 
 # TODO read function
 # def read(args, env):

smnp/note/model.py

@@ -16,8 +16,8 @@ class Note:
         self.duration = duration    
         self.dot = dot        
     
-    def toFrequency(self):
-        return self.note.toFrequency() * 2 ** self.octave
+    def toFrequency(self, tuning):
+        return tuning[self.note] * 2 ** self.octave
     
     def transpose(self, interval):
         origIntRepr = self._intRepr()

smnp/note/pitch.py

@@ -2,6 +2,7 @@ from enum import Enum
 
 from smnp.error.note import NoteException
 
+_semitone = 2**(1/12)
 
 class NotePitch(Enum):
     C = 0
@@ -17,21 +18,21 @@ class NotePitch(Enum):
     AIS = 10
     H = 11
 
-    def toFrequency(self):
-        return {
-            NotePitch.C: 16.35,
-            NotePitch.CIS: 17.32,
-            NotePitch.D: 18.35,
-            NotePitch.DIS: 19.45,
-            NotePitch.E: 20.60,
-            NotePitch.F: 21.83,
-            NotePitch.FIS: 23.12,
-            NotePitch.G: 24.50,
-            NotePitch.GIS: 25.96,
-            NotePitch.A: 27.50,
-            NotePitch.AIS: 29.17,
-            NotePitch.H: 30.87
-        }[self]
+    # def toFrequency(self):
+    #     return {
+    #         NotePitch.C: 16.35,
+    #         NotePitch.CIS: 17.32,
+    #         NotePitch.D: 18.35,
+    #         NotePitch.DIS: 19.45,
+    #         NotePitch.E: 20.60,
+    #         NotePitch.F: 21.83,
+    #         NotePitch.FIS: 23.12,
+    #         NotePitch.G: 24.50,
+    #         NotePitch.GIS: 25.96,
+    #         NotePitch.A: 27.50,
+    #         NotePitch.AIS: 29.17,
+    #         NotePitch.H: 30.87
+    #     }[self]
 
     def __str__(self):
         return self.name
@@ -50,6 +51,14 @@ class NotePitch(Enum):
         raise NoteException(f"Note '{string}' does not exist")
 
 
+class Tuning(object):
+    def __init__(self, a4=440):
+        self.tuning = { value: a4/_semitone**(57-i) for i, value in enumerate(NotePitch.__members__) }
+
+    def __getitem__(self, item):
+        return self.tuning[str(item)]
+
+
 stringToPitch = {
     'cb': NotePitch.H,
     'c': NotePitch.C,

smnp/runtime/evaluators/assignment.py

@@ -8,11 +8,7 @@ class AssignmentEvaluator(Evaluator):
     def evaluator(cls, node, environment):
         target = node.left.value
         value = expressionEvaluator(doAssert=True)(node.right, environment).value #TODO check if it isn't necessary to verify 'result' attr of EvaluatioNResult
-        scopeOfExistingVariable = environment.findVariableScope(target)
-        if scopeOfExistingVariable is None:
         environment.scopes[-1][target] = value
-        else:
-            scopeOfExistingVariable[target] = value
 
         return value
 

smnp/runtime/evaluators/asterisk.py

@@ -1,104 +0,0 @@
-from smnp.ast.node.identifier import Identifier
-from smnp.runtime.evaluator import evaluate, Evaluator, EvaluationResult
-from smnp.runtime.evaluators.expression import expressionEvaluator
-from smnp.type.model import Type
-
-
-class AsteriskEvaluator(Evaluator):
-
-    @classmethod
-    def evaluator(cls, node, environment):
-        iterator = expressionEvaluator(doAssert=True)(node.iterator, environment).value #TODO check if it isn't necessary to verify 'result' attr of EvaluatioNResult
-        return Evaluator.oneOf(
-            cls._numberIteratorAsteriskEvaluator(iterator),
-            cls._listIteratorAsteriskEvaluator(iterator),
-            cls._mapIteratorAsteriskEvaluator(iterator)
-        )(node, environment).value #TODO check if it isn't necessary to verify 'result' attr of EvaluatioNResult
-
-    @classmethod
-    def _numberIteratorAsteriskEvaluator(cls, evaluatedIterator):
-        def evaluator(node, environment):
-            if evaluatedIterator.type == Type.INTEGER:
-                results = []
-                automaticVariable = cls._automaticNamedVariable(node.iterator, environment, "_")
-                for i in range(evaluatedIterator.value):
-                    environment.scopes[-1][automaticVariable] = Type.integer(i + 1)
-                    result = evaluate(node.statement, environment).value #TODO check if it isn't necessary to verify 'result' attr of EvaluatioNResult
-                    if result is None or result.type == Type.VOID:
-                        results = None
-
-                    if results is not None:
-                        results.append(result)
-
-                del environment.scopes[-1][automaticVariable]
-
-                return EvaluationResult.OK(Type.list(results).decompose() if results is not None else Type.void())
-
-            return EvaluationResult.FAIL()
-
-        return evaluator
-
-    @classmethod
-    def _automaticNamedVariable(cls, iteratorNode, environment, prefix=''):
-        if type(iteratorNode) == Identifier:
-            return cls._automaticVariableName(environment, prefix, iteratorNode.value, False)
-        else:
-            return cls._automaticVariableName(environment, prefix, '', True)
-
-    @classmethod
-    def _automaticVariableName(cls, environment, prefix='', suffix='', startWithNumber=False):
-        number = 1 if startWithNumber else ''
-        variableName = lambda x: f"{prefix}{x}{suffix}"
-        while environment.findVariableScope(variableName(number)) is not None:
-            if number == '':
-                number = 1
-            else:
-                number += 1
-
-        return variableName(number)
-
-    @classmethod
-    def _listIteratorAsteriskEvaluator(cls, evaluatedIterator):
-        def evaluator(node, environment):
-            if evaluatedIterator.type == Type.LIST:
-                results = []
-                automaticVariableKey = cls._automaticNamedVariable(node.iterator, environment, "_")
-                automaticVariableValue = cls._automaticNamedVariable(node.iterator, environment, "__")
-                for i, v in enumerate(evaluatedIterator.value):
-                    environment.scopes[-1][automaticVariableKey] = Type.integer(i + 1)
-                    environment.scopes[-1][automaticVariableValue] = v
-                    result = evaluate(node.statement, environment).value  # TODO check if it isn't necessary to verify 'result' attr of EvaluatioNResult
-                    if result is not None and result.type != Type.VOID:
-                        results.append(result)
-
-                del environment.scopes[-1][automaticVariableKey]
-                del environment.scopes[-1][automaticVariableValue]
-
-                return EvaluationResult.OK(Type.list(results).decompose())
-
-            return EvaluationResult.FAIL()
-
-        return evaluator
-
-    @classmethod
-    def _mapIteratorAsteriskEvaluator(cls, evaluatedIterator):
-        def evaluator(node, environment):
-            if evaluatedIterator.type == Type.MAP:
-                results = []
-                automaticVariableKey = cls._automaticNamedVariable(node.iterator, environment, "_")
-                automaticVariableValue = cls._automaticNamedVariable(node.iterator, environment, "__")
-                for k, v in evaluatedIterator.value.items():
-                    environment.scopes[-1][automaticVariableKey] = k
-                    environment.scopes[-1][automaticVariableValue] = v
-                    result = evaluate(node.statement, environment).value  # TODO check if it isn't necessary to verify 'result' attr of EvaluatioNResult
-                    if result is not None and result.type != Type.VOID:
-                        results.append(result)
-
-                del environment.scopes[-1][automaticVariableKey]
-                del environment.scopes[-1][automaticVariableValue]
-
-                return EvaluationResult.OK(Type.list(results).decompose())
-
-            return EvaluationResult.FAIL()
-
-        return evaluator

smnp/runtime/evaluators/atom.py

@@ -1,10 +1,11 @@
-from smnp.ast.node.atom import StringLiteral, IntegerLiteral, NoteLiteral, BoolLiteral, TypeLiteral
+from smnp.ast.node.atom import StringLiteral, IntegerLiteral, NoteLiteral, BoolLiteral, TypeLiteral, FloatLiteral
 from smnp.ast.node.identifier import Identifier
 from smnp.ast.node.list import List
 from smnp.ast.node.map import Map
 from smnp.error.runtime import RuntimeException
-from smnp.runtime.evaluator import Evaluator
+from smnp.runtime.evaluator import Evaluator, EvaluationResult
 from smnp.runtime.evaluators.expression import expressionEvaluator
+from smnp.runtime.evaluators.float import FloatEvaluator
 from smnp.runtime.evaluators.iterable import abstractIterableEvaluator
 from smnp.runtime.tools.error import updatePos
 from smnp.type.model import Type
@@ -58,12 +59,15 @@ class MapEvaluator(Evaluator):
     @classmethod
     def evaluator(cls, node, environment):
         map = {}
-        exprEvaluator = expressionEvaluator(doAssert=True)
+        keyEvaluator = Evaluator.oneOf(
+            Evaluator.forNodes(lambda node, environment: EvaluationResult.OK(Type.string(node.value)), Identifier),
+            expressionEvaluator(doAssert=True)
+        )
         for entry in node.children:
-            key = exprEvaluator(entry.key, environment).value
+            key = keyEvaluator(entry.key, environment).value
             if key in map:
                 raise RuntimeException(f"Duplicated key '{key.stringify()}' found in map", entry.pos)
-            map[key] = exprEvaluator(entry.value, environment).value
+            map[key] = expressionEvaluator(doAssert=True)(entry.value, environment).value
 
         return Type.map(map)
 
@@ -85,6 +89,7 @@ class AtomEvaluator(Evaluator):
         return Evaluator.oneOf(
             Evaluator.forNodes(StringEvaluator.evaluate, StringLiteral),
             Evaluator.forNodes(IntegerEvaluator.evaluate, IntegerLiteral),
+            Evaluator.forNodes(FloatEvaluator.evaluate, FloatLiteral),
             Evaluator.forNodes(NoteEvaluator.evaluate, NoteLiteral),
             Evaluator.forNodes(BoolEvaluator.evaluate, BoolLiteral),
             Evaluator.forNodes(TypeEvaluator.evaluate, TypeLiteral),

smnp/runtime/evaluators/block.py

@@ -5,12 +5,12 @@ class BlockEvaluator(Evaluator):
 
     @classmethod
     def evaluator(cls, node, environment):
-        environment.scopes.append({})
+        environment.appendScope()
 
         for child in node.children:
             evaluate(child, environment)
 
-        environment.scopes.pop(-1)
+        environment.popScope()
 
 #
 # def evaluateBlock(block, environment):

smnp/runtime/evaluators/float.py

@@ -0,0 +1,9 @@
+from smnp.runtime.evaluator import Evaluator
+from smnp.type.model import Type
+
+
+class FloatEvaluator(Evaluator):
+
+    @classmethod
+    def evaluator(cls, node, environment):
+        return Type.float(node.value)

smnp/runtime/evaluators/function.py

@@ -51,7 +51,7 @@ class ReturnEvaluator(Evaluator):
             # Disclaimer
             # Exception system usage to control program execution flow is really bad idea.
             # However because of lack of 'goto' instruction equivalent in Python
-            # there is to need to use some mechanism to break function execution on 'return' statement
+            # there is a need to use some mechanism to break function execution on 'return' statement
             # and immediately go to Environment's method 'invokeFunction()' or 'invokeMethod()',
             # which can handle value that came with exception and return it to code being executed.
         else:

smnp/runtime/evaluators/loop.py

@@ -13,23 +13,23 @@ class LoopEvaluator(Evaluator):
         parameters = [ identifier.value for identifier in node.parameters ] if type(node.parameters) != NoneNode() else []
 
         try:
-            environment.scopes.append({})
+            environment.appendScope()
 
             output = {
                 Type.INTEGER: cls.numberEvaluator,
                 Type.BOOL: cls.boolEvaluator,
                 Type.LIST: cls.listEvaluator,
                 Type.MAP: cls.mapEvaluator
-            }[iterator.type](node, environment, iterator, parameters)
+            }[iterator.type](node, environment, iterator, parameters, node.filter)
 
-            environment.scopes.pop(-1)
+            environment.popScope()
         except KeyError:
             raise RuntimeException(f"The {iterator.type.name.lower()} type cannot stand as an iterator for loop statement", node.left.pos)
 
         return Type.list(output)
 
     @classmethod
-    def numberEvaluator(cls, node, environment, evaluatedIterator, parameters):
+    def numberEvaluator(cls, node, environment, evaluatedIterator, parameters, filter):
         output = []
 
 
@@ -40,6 +40,7 @@ class LoopEvaluator(Evaluator):
             if len(parameters) > 0:
                 environment.scopes[-1][parameters[0]] = Type.integer(i)
 
+            if cls.doFilter(filter, environment):
                 output.append(evaluate(node.right, environment).value)
 
 
@@ -47,7 +48,20 @@ class LoopEvaluator(Evaluator):
         return output
 
     @classmethod
-    def boolEvaluator(cls, node, environment, evaluatedIterator, parameters):
+    def doFilter(cls, filter, environment):
+        if type(filter) is not NoneNode:
+            evaluation = expressionEvaluator(doAssert=True)(filter, environment).value
+            if evaluation.type != Type.BOOL:
+                raise RuntimeException(f"Expected {Type.BOOL.name.lower()} as filter expression, found {evaluation.type.name.lower()}", filter.pos)
+
+            return evaluation.value
+
+        return True
+
+
+
+    @classmethod
+    def boolEvaluator(cls, node, environment, evaluatedIterator, parameters, filter):
         output = []
 
         if len(parameters) > 0:
@@ -55,13 +69,14 @@ class LoopEvaluator(Evaluator):
 
         condition = evaluatedIterator
         while condition.value:
+            if cls.doFilter(filter, environment):
                 output.append(evaluate(node.right, environment).value)
             condition = expressionEvaluator(doAssert=True)(node.left, environment).value
 
         return output
 
     @classmethod
-    def listEvaluator(cls, node, environment, evaluatedIterator, parameters):
+    def listEvaluator(cls, node, environment, evaluatedIterator, parameters, filter):
         output = []
 
         if len(parameters) > 2:
@@ -74,13 +89,14 @@ class LoopEvaluator(Evaluator):
                 environment.scopes[-1][parameters[0]] = Type.integer(i)
                 environment.scopes[-1][parameters[1]] = value
 
+            if cls.doFilter(filter, environment):
                 output.append(evaluate(node.right, environment).value)
 
         return output
 
 
     @classmethod
-    def mapEvaluator(cls, node, environment, evaluatedIterator, parameters):
+    def mapEvaluator(cls, node, environment, evaluatedIterator, parameters, filter):
         output = []
 
         if len(parameters) > 3:
@@ -99,6 +115,7 @@ class LoopEvaluator(Evaluator):
                 environment.scopes[-1][parameters[2]] = value
                 i += 1
 
+            if cls.doFilter(filter, environment):
                 output.append(evaluate(node.right, environment).value)
 
         return output

smnp/runtime/evaluators/map.py

@@ -1,19 +0,0 @@
-from smnp.error.runtime import RuntimeException
-from smnp.runtime.evaluator import Evaluator
-from smnp.runtime.evaluators.expression import expressionEvaluator
-from smnp.type.model import Type
-
-
-class MapEvaluator(Evaluator):
-
-    @classmethod
-    def evaluator(cls, node, environment):
-        map = {}
-        exprEvaluator = expressionEvaluator(doAssert=True)
-        for entry in node.children:
-            key = exprEvaluator(entry.key, environment).value
-            if key in map:
-                raise RuntimeException(f"Duplicated key '{key.stringify()}' found in map", entry.pos)
-            map[key] = exprEvaluator(entry.value, environment).value
-
-        return Type.map(map)

smnp/runtime/evaluators/minus.py

@@ -11,6 +11,7 @@ class MinusEvaluator(Evaluator):
         try:
             return {
                 Type.INTEGER: cls.evaluateForInteger,
+                Type.FLOAT: cls.evaluateForFloat,
                 Type.STRING: cls.evaluateForString,
                 Type.LIST: cls.evaluateForList
             }[value.type](value.value)
@@ -19,9 +20,12 @@ class MinusEvaluator(Evaluator):
 
     @classmethod
     def evaluateForInteger(cls, value):
-
         return Type.integer(-value)
 
+    @classmethod
+    def evaluateForFloat(cls, value):
+        return Type.float(-value)
+
     @classmethod
     def evaluateForString(cls, value):
         return Type.string(value[::-1])

smnp/runtime/evaluators/power.py

@@ -10,11 +10,12 @@ class PowerEvaluator(Evaluator):
     def evaluator(cls, node, environment):
         left = expressionEvaluator(doAssert=True)(node.left, environment).value
         right = expressionEvaluator(doAssert=True)(node.right, environment).value
+        supportedTypes = [Type.INTEGER, Type.FLOAT]
 
-        if left.type != Type.INTEGER:
-            raise RuntimeException( f"Operator '{node.operator.value}' is supported only by {Type.INTEGER.name.lower()} type", node.left.pos)
+        if not left.type in supportedTypes:
+            raise RuntimeException(f"Operator '{node.operator.value}' is supported only by {Type.INTEGER.name.lower()} type", node.left.pos)
 
-        if right.type != Type.INTEGER:
-            raise RuntimeException( f"Operator '{node.operator.value}' is supported only by {Type.INTEGER.name.lower()} type", node.right.pos)
+        if not right.type in supportedTypes:
+            raise RuntimeException(f"Operator '{node.operator.value}' is supported only by {[t.name.lower() for t in supportedTypes]} type", node.right.pos)
 
-        return Type.integer(int(left.value ** right.value))
+        return Type.float(float(left.value ** right.value))

smnp/runtime/evaluators/product.py

@@ -10,22 +10,36 @@ class ProductEvaluator(Evaluator):
     def evaluator(cls, node, environment):
         left = expressionEvaluator(doAssert=True)(node.left, environment).value
         right = expressionEvaluator(doAssert=True)(node.right, environment).value
+        supportedTypes = [Type.INTEGER, Type.FLOAT]
 
-        if left.type != Type.INTEGER:
+        if not left.type in supportedTypes:
             raise RuntimeException(
-                f"Operator '{node.operator.value}' is supported only by {Type.INTEGER.name.lower()} type", node.left.pos)
+                f"Operator '{node.operator.value}' is supported only by {[t.name.lower() for t in supportedTypes]} type", node.left.pos)
 
-        if right.type != Type.INTEGER:
+        if not right.type in supportedTypes:
             raise RuntimeException(
-                f"Operator '{node.operator.value}' is supported only by {Type.INTEGER.name.lower()} type", node.right.pos)
+                f"Operator '{node.operator.value}' is supported only by {[t.name.lower() for t in supportedTypes]} type", node.right.pos)
 
         if node.operator.value == "*":
-            return Type.integer(int(left.value * right.value))
+            return getProperTypeProvider(left.value * right.value)
 
         if node.operator.value == "/":
             if right.value == 0:
                 raise RuntimeException("Attempt to divide by 0", node.right.pos)
-            return Type.integer(int(left.value / right.value))
+
+            value = left.value / right.value
+
+            if left.type == right.type == Type.INTEGER and int(value) == value:
+                return Type.integer(int(value))
+
+            return getProperTypeProvider(value)
 
         raise RuntimeError("This line should never be reached")
 
+
+def getProperTypeProvider(value):
+    return {
+        int: lambda v: Type.integer(v),
+        float: lambda v: Type.float(v)
+    }[type(value)](value)
+

smnp/runtime/evaluators/relation.py

@@ -21,15 +21,21 @@ class RelationEvaluator(Evaluator):
 
     @classmethod
     def equalOperatorEvaluator(cls, left, operator, right):
+        if left.type in [Type.INTEGER, Type.FLOAT] and right.type in [Type.INTEGER, Type.FLOAT]:
+            return Type.bool(left.value == right.value)
+
         return Type.bool(left.type == right.type and left.value == right.value)
 
     @classmethod
     def notEqualOperatorEvaluator(cls, left, operator, right):
+        if left.type in [Type.INTEGER, Type.FLOAT] and right.type in [Type.INTEGER, Type.FLOAT]:
+            return Type.bool(left.value != right.value)
+
         return Type.bool(left.type != right.type or left.value != right.value)
 
     @classmethod
     def otherRelationOperatorsEvaluator(cls, left, operator, right):
-        if left.type == right.type == Type.INTEGER:
+        if left.type in [Type.INTEGER, Type.FLOAT] and right.type in [Type.INTEGER, Type.FLOAT]:
             if operator.value == ">":
                 return Type.bool(left.value > right.value)
 
@@ -40,7 +46,7 @@ class RelationEvaluator(Evaluator):
                 return Type.bool(left.value < right.value)
 
             if operator.value == "<=":
-                return Type.bool(left.value < right.value)
+                return Type.bool(left.value <= right.value)
 
         raise RuntimeException(f"Operator {operator.value} is not supported by {left.type.name.lower()} and {right.type.name.lower()} types", operator.pos)
 

smnp/runtime/evaluators/sum.py

@@ -11,8 +11,8 @@ class SumEvaluator(Evaluator):
         left = expressionEvaluator(doAssert=True)(node.left, environment).value
         right = expressionEvaluator(doAssert=True)(node.right, environment).value
 
-        if left.type == right.type == Type.INTEGER:
-            return cls.integerEvaluator(left, node.operator, right)
+        if left.type in [Type.INTEGER, Type.FLOAT] and right.type in [Type.INTEGER, Type.FLOAT]:
+            return cls.numberEvaluator(left, node.operator, right)
 
         if left.type == right.type == Type.STRING:
             return cls.stringEvaluator(left, node.operator, right)
@@ -23,15 +23,17 @@ class SumEvaluator(Evaluator):
         if left.type == right.type == Type.MAP:
             return cls.mapEvaluator(left, node.operator, right)
 
-        raise RuntimeException(f"Operator {node.operator.value} is not supported by {left.type.name.lower()} and {right.type.name.lower()} types", node.operator.pos)
+        raise RuntimeException(
+            f"Operator {node.operator.value} is not supported by {left.type.name.lower()} and {right.type.name.lower()} types",
+            node.operator.pos)
 
     @classmethod
-    def integerEvaluator(cls, left, operator, right):
+    def numberEvaluator(cls, left, operator, right):
         if operator.value == "+":
-            return Type.integer(left.value + right.value)
+            return getProperTypeProvider(left.value + right.value)
 
         if operator.value == "-":
-            return Type.integer(left.value - right.value)
+            return getProperTypeProvider(left.value - right.value)
 
         raise RuntimeError("This line should never be reached")
 
@@ -64,3 +66,10 @@ class SumEvaluator(Evaluator):
             raise RuntimeException(f"Operator {operator.value} is not supported by map types", operator.pos)
 
         raise RuntimeError("This line should never be reached")
+
+
+def getProperTypeProvider(value):
+    return {
+        int: lambda v: Type.integer(v),
+        float: lambda v: Type.float(v)
+    }[type(value)](value)

smnp/token/tokenizer.py

@@ -2,6 +2,7 @@ from smnp.error.syntax import SyntaxException
 from smnp.token.model import TokenList
 from smnp.token.tokenizers.bool import boolTokenizer
 from smnp.token.tokenizers.comment import commentTokenizer
+from smnp.token.tokenizers.float import floatTokenizer
 from smnp.token.tokenizers.identifier import identifierTokenizer
 from smnp.token.tokenizers.keyword import typeTokenizer
 from smnp.token.tokenizers.note import noteTokenizer
@@ -29,17 +30,19 @@ tokenizers = (
     defaultTokenizer(TokenType.CLOSE_ANGLE),
     defaultTokenizer(TokenType.SEMICOLON),
     defaultTokenizer(TokenType.ASTERISK),
+    defaultTokenizer(TokenType.PERCENT),
     defaultTokenizer(TokenType.ASSIGN),
     defaultTokenizer(TokenType.COMMA),
     defaultTokenizer(TokenType.SLASH),
     defaultTokenizer(TokenType.MINUS),
     defaultTokenizer(TokenType.PLUS),
-    defaultTokenizer(TokenType.DASH),
+    defaultTokenizer(TokenType.CARET),
     defaultTokenizer(TokenType.DOTS),
     defaultTokenizer(TokenType.AMP),
     defaultTokenizer(TokenType.DOT),
 
     # Types
+    separated(floatTokenizer),
     mapValue(separated(regexPatternTokenizer(TokenType.INTEGER, r'\d')), int),
     stringTokenizer,
     noteTokenizer,

smnp/token/tokenizers/float.py

@@ -0,0 +1,17 @@
+from smnp.token.model import Token
+from smnp.token.tools import regexPatternTokenizer, keywordTokenizer, allOf
+from smnp.token.type import TokenType
+
+
+def createToken(pos, beforeDot, dot, afterDot):
+    rawValue = f"{beforeDot.value}.{afterDot.value}"
+    value = float(rawValue)
+    return Token(TokenType.FLOAT, value, pos, rawValue)
+
+
+floatTokenizer = allOf(
+    regexPatternTokenizer(TokenType.INTEGER, r'\d'),
+    keywordTokenizer(None, "."),
+    regexPatternTokenizer(TokenType.INTEGER, r'\d'),
+    createToken=createToken
+)

smnp/token/tools.py

@@ -61,3 +61,19 @@ def mapValue(tokenizer, mapper):
         return (0, None)
 
     return tokenize
+
+def allOf(*tokenizers, createToken):
+    def combinedTokenizer(input, current, line):
+        consumedChars = 0
+        tokens = []
+        for tokenizer in tokenizers:
+            consumed, token = tokenizer(input, current+consumedChars, line)
+            if consumed > 0:
+                consumedChars += consumed
+                tokens.append(token)
+            else:
+                return (0, None)
+
+        return (consumedChars, createToken((current, line), *tokens))
+
+    return combinedTokenizer

smnp/token/type.py

@@ -14,13 +14,14 @@ class TokenType(Enum):
     CLOSE_ANGLE = '>'
     SEMICOLON = ';'
     ASTERISK = '*'
+    PERCENT = '%'
     ASSIGN = '='
     ARROW = '->'
     COMMA = ','
     SLASH = '/'
     MINUS = '-'
     PLUS = '+'
-    DASH = '^'
+    CARET = '^'
     DOTS = '...'
     AMP = '&'
     DOT = '.'
@@ -29,6 +30,7 @@ class TokenType(Enum):
     NOT = 'not'
     INTEGER = 'integer'
     STRING = 'string'
+    FLOAT = 'float'
     NOTE = 'note'
     BOOL = 'bool'
     TYPE = 'type'
@@ -44,7 +46,6 @@ class TokenType(Enum):
     AS = 'as'
     IDENTIFIER = 'identifier'
     COMMENT = 'comment'
-    PERCENT = 'percent'
 
     @property
     def key(self):