ponyc
ponyc copied to clipboard
ponylang
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
The following program ```pony class Foo var n: USize var bar: (Bar | None) new create() => n = 0 bar = None fun ref set_n(n': USize) => n =...
Should object literals resulting in an anonymous class or primitive be promoted to actor literals when they are sub-typed with an interface or trait including a behavior? As it is...
We have none. Having some runable code that people can examine as an example would help folks better understand the feature.
[Brought up on Zulip](https://ponylang.zulipchat.com/#narrow/stream/189985-beginner-help/topic/cli.20package.20integer.20argument.20confusion). `Arg.i64()` (or any other function in `cli.Arg`/`cli.Option` returning its arg value) will silently return a default value if its actual value has a different type (eg....
While trying to understand error messages and precedence I may have triggered a compiler bug. I completely did it myself so please feel free to just close it if it...
When calling a `box` method on a `trn` expression, automatic receiver recovery seems to occur without proper checks, and the result is `ref`. I suspect this occurs because the return...
Probably related to #3727, this code causes the compiler to crash: ```pony primitive Foo fun test(f: U8 = (256)) => None actor Main new create(env: Env) => Foo~test() ``` ```...
The following code compiles fine: ``` actor KVState[In: OSCEncodable val, Out: OSCEncodable val] is ThroughStep[In, Out] let _f: StateComputation[In, Out] var _output: (ComputeStep[Out] tag | None) = None let _state:...
see: https://github.com/ponylang/rfcs/blob/master/text/0009-copy-idiom.md
Add a language construct allowing programmers to get information on subtyping relationships. https://github.com/ponylang/rfcs/blob/master/text/0026-subtype-checking.md
