mimium-web 2.4.1-alpha → 3.0.0-alpha

package/README.md

@@ -28,8 +28,12 @@ fn dsp(){
 }
 ```
 
+## Unique Features
+
+### Functional Approach
+
 A special keyword `self` can be used in function, which is a last return value of the function.
-This enables an easy and clean expression of feedback connection of signal chain.
+This enables an easy and clean expression of feedback connection of signal chain as a function pipe.
 
 ```rust
 fn lpf(input,fb){    
@@ -37,29 +41,45 @@ fn lpf(input,fb){
 }
 ```
 
-Also, the language design is based on the call by value lambda calculus, so the higher-order functions are supported to express generative signal graph like replicatiing multiple oscillators.
+Also, the language design is based on the call by value lambda calculus with multi-stage computation and the higher-order functions are supported to express generative signal graph like replicatiing multiple oscillators.
 
 ```rust
-fn replicate(n,gen){
+//Sequentially connected oscillators
+#stage(macro)
+fn cascade(n,gen){
     if (n>0.0){
-        let c = replicate(n - 1.0,gen)
-        let g = gen()
-        |x,rate| g(x,rate) + c(x+100.0,rate+0.1)
+        let multiplier = 1.0-(1.0/(n*3)) |> lift_f
+        `|rate| rate + ($gen)(rate/3)* 0.5 * rate* $multiplier  
+                |> cascade!(n - 1.0 ,gen) 
     }else{
-        |x,rate|  0
+        `|rate| ($gen)(rate)
     }
 }
+#stage(main)
+let osc = ...
+fn dsp(){
+    let out =  50 |> cascade!(1000.0,`osc) 
+    (out,out)
+}
 ```
 
 mimium is a statically typed language but the most of type annotations can be omitted by the type inference system. If you are interested in the theoritical background of mimium, see [the paper about mimium](https://matsuuratomoya.com/en/research/lambdammm-ifc-2024/).
 
-This repository is for a mimium *version 2*, all the code base is rewritten in Rust while the original was in C++, and semantics of the language was re-designed. The codes are still very under development.
+### Live Coding
+
+mimium can describe digital signal processing algorithm from very low-level, like Faust. Moreover, mimium can update source code without audio interruption, which enables **full-scratch dsp livecoding** performance.
+
+### Extensibility
+
+mimium's VM design is inspired by Lua, that can be easily embedded on Rust application through the plugin system. External functions(closures) defined in Rust can be easily called from mimium.
 
 ## Installation
 
-An easy way to start mimium is using [Visual Studio Code Extension](https://github.com/mimium-org/mimium-language). You can run opening `.mmm` file from the command palette.
+The easiest way to start mimium is using [Visual Studio Code Extension](https://github.com/mimium-org/mimium-language). The extention will automatically download CLI tool `mimium-cli` and language server (support for syntactic highlight and error reporting) when installed.
+
+You can run `.mmm` file from the command palette.
 
-Also you can download the latest CLI tool [mimium-cli](https://github.com/tomoyanonymous/mimium-rs/releases) from GitHub Release.
+Also you can download the latest CLI tool [mimium-cli](https://github.com/tomoyanonymous/mimium-rs/releases) from GitHub Release through shell script.
 
 ## Development
 

package/mimium_web.d.ts

@@ -24,3 +24,57 @@ export class Context {
    */
   process(input: Float32Array, output: Float32Array): bigint;
 }
+
+export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
+
+export interface InitOutput {
+  readonly memory: WebAssembly.Memory;
+  readonly __wbg_config_free: (a: number, b: number) => void;
+  readonly __wbg_get_config_sample_rate: (a: number) => number;
+  readonly __wbg_set_config_sample_rate: (a: number, b: number) => void;
+  readonly __wbg_get_config_input_channels: (a: number) => number;
+  readonly __wbg_set_config_input_channels: (a: number, b: number) => void;
+  readonly __wbg_get_config_output_channels: (a: number) => number;
+  readonly __wbg_set_config_output_channels: (a: number, b: number) => void;
+  readonly __wbg_get_config_buffer_size: (a: number) => number;
+  readonly __wbg_set_config_buffer_size: (a: number, b: number) => void;
+  readonly config_new: () => number;
+  readonly __wbg_context_free: (a: number, b: number) => void;
+  readonly context_new: (a: number) => number;
+  readonly context_compile: (a: number, b: number, c: number) => void;
+  readonly context_get_input_channels: (a: number) => number;
+  readonly context_get_output_channels: (a: number) => number;
+  readonly context_process: (a: number, b: number, c: number, d: number, e: number, f: any) => bigint;
+  readonly __wbindgen_exn_store: (a: number) => void;
+  readonly __externref_table_alloc: () => number;
+  readonly __wbindgen_export_2: WebAssembly.Table;
+  readonly __wbindgen_malloc: (a: number, b: number) => number;
+  readonly __wbindgen_free: (a: number, b: number, c: number) => void;
+  readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
+  readonly __wbindgen_export_6: WebAssembly.Table;
+  readonly closure62_externref_shim: (a: number, b: number, c: any) => void;
+  readonly closure71_externref_shim: (a: number, b: number, c: any) => void;
+  readonly closure88_externref_shim: (a: number, b: number, c: any, d: any) => void;
+  readonly __wbindgen_start: () => void;
+}
+
+export type SyncInitInput = BufferSource | WebAssembly.Module;
+/**
+* Instantiates the given `module`, which can either be bytes or
+* a precompiled `WebAssembly.Module`.
+*
+* @param {{ module: SyncInitInput }} module - Passing `SyncInitInput` directly is deprecated.
+*
+* @returns {InitOutput}
+*/
+export function initSync(module: { module: SyncInitInput } | SyncInitInput): InitOutput;
+
+/**
+* If `module_or_path` is {RequestInfo} or {URL}, makes a request and
+* for everything else, calls `WebAssembly.instantiate` directly.
+*
+* @param {{ module_or_path: InitInput | Promise<InitInput> }} module_or_path - Passing `InitInput` directly is deprecated.
+*
+* @returns {Promise<InitOutput>}
+*/
+export default function __wbg_init (module_or_path?: { module_or_path: InitInput | Promise<InitInput> } | InitInput | Promise<InitInput>): Promise<InitOutput>;