aspe:keyoxide.org:32J44TNOIWVMZ3JHQSH4IZ6KYU
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Library code | |
interface val SortFunction[B: Any #read] | |
new val create() | |
fun lt(first: B, second: B): Bool | |
primitive ComparableSortFunction[B: Comparable[B] #read] | |
fun lt(first: B, second: B): Bool => first < second | |
//iftype B <: Comparable[B] then first < second else false end |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
actor Main | |
new create(env: Env) => | |
var y: String ref = "ABCD".string() | |
var x: String ref = "John".string() | |
let f: {(String ref, String ref): None ? } ref = | |
{(a: String ref, b: String ref)? => b(0)? = a(0)? = b(0)? } ref | |
let f' = f~apply(y)? | |
try f'(x)? end | |
env.out.print(x.string()) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/main.pony b/main.pony | |
index 47ffb28..4949756 100644 | |
--- a/main.pony | |
+++ b/pony.pony | |
@@ -1,9 +1,10 @@ | |
use "itertools" | |
use "collections" | |
use "promises" | |
+use "time" | |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$ ./pony-bench | |
Benchmark results will have their mean and median adjusted for overhead. | |
You may disable this with --noadjust. | |
Benchmark mean median deviation iterations | |
Official HTTP library parser 7718 ns 7694 ns ±1.60% 20000 | |
Shetland parser 4433 ns 4427 ns ±1.58% 30000 | |
---------------------------------------------------------- |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
terminal: | |
emulator: | |
name: kitty | |
url: https://sw.kovidgoyal.net/kitty/ | |
config: | |
theme: Ayu Mirage | |
font: MesloLGS NF | |
shell: | |
name: fish | |
url: https://fishshell.com/ |
I hereby claim:
- I am epiceric on github.
- I am epiceric (https://keybase.io/epiceric) on keybase.
- I have a public key ASBBG82EuUvXe3QcWOimC6OTjeitIa8d_7veNTmu0Fwv5go
To claim this, I am signing this object: