Have to love the party-invite example on the Pony language website! Does a great job showing off.

https://www.ponylang.io

#PonyLang

Pony

Pony Gets a Template Engine - Pony

Pony is an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language

https://www.ponylang.io/discover/

#ponylang #plt

What is Pony? - Pony

Its downsides are that as a project it feels more undead than strictly alive nowadays and the ecosystem's small, and it's definitely not trivial to learn – although personally I had an easier time learning it than I've had with Rust, for whatever reason. 3/3 #programming #ponylang #rust

Is Lemmy "competitive" with Discourse/Zulip in features? I would love to participate in various forums (Haiku OS, for sure; others too, like Pony which is on Zulip), but am loath to create log-ins on each. Is the Discourse way of not going for federation important for discussion forums?

#Lemmy #HaikuOS #Discourse #PonyLang #Zulip
CC @pulkomandy @mmu_man @begasus

I'm in the process of (procrastinating on) porting some code on the #ESP32 from Arduino IDE to #platformio. My current implementation occasionally crashes, and I'm not sure my rewrite won't.

I just remembered, some years ago I touched #ponylang, which has this interesting concept of capabilities built into the language: all of the OS-level functions like networking, filesystem and so on require a special parameter called a "capability" (which comes in various flavours), optimized away by the compiler, which guarantees that the function can, transitively, only be called by code which holds the appropriate capability.

If that existed on my platform and was extended conceptually to things like FreeRTOS, I would be confident I could safely call some 3rd party or even my own code from some handler, because i knew it couldn't allocate memory or sleep or do thread things.

@kuraisle "Wrong" is a strong word here, and misleading a bit, due to being rather subjective. However, if performance was your primary concern, then such rewrite could have been done in myriad other compiled and safe languages to the same improvement effect. There is arguably nothing special #rustlang would provide in this particular case over, say #golang #ziglang #ponylang or many others.
Time to enjoy #ponylang and #redlang / #rebol once again!

One of the other things, I don't really like in #PonyLang, is its magic, seen in:
– "Structural subtyping": There's no explicit connection between the interface and its use (what could possibly go wrong?)
– "use": When importing something, here, also, is no explicit connection, what is used from that import (no "use 'a'; env.out.print a.b" or "use b from 'a'; env.out.print b")

#amProgramming #amCoding #programming #computerScience

I wish, this advice from #PonyLang would be applied to #webExtension/ #browserExtension stores, as well as #browserPermissions, and similar stuff

#privacy