#ponylang — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ponylang, aggregated by home.social.
-
CW: The Pony programming language example
Have to love the party-invite example on the Pony language website! Does a great job showing off.
-
Pony is an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language
-
Pony is an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language
-
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 -
@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.
-
@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.
-
-
-
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") -
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") -
I wish, this advice from #PonyLang would be applied to #webExtension/ #browserExtension stores, as well as #browserPermissions, and similar stuff
-
I wish, this advice from #PonyLang would be applied to #webExtension/ #browserExtension stores, as well as #browserPermissions, and similar stuff
-
When reading the #PonyLang documentation, I essentially get the impression, the whole language was just invented for essentially ONE HUGE feature, they called "Reference Capabilities" and made it rocket science. This one concept is explained as complex as the whole rest of the language combined.
https://tutorial.ponylang.io/reference-capabilities/ -
When reading the #PonyLang documentation, I essentially get the impression, the whole language was just invented for essentially ONE HUGE feature, they called "Reference Capabilities" and made it rocket science. This one concept is explained as complex as the whole rest of the language combined.
https://tutorial.ponylang.io/reference-capabilities/ -
Well, #PonyLang, you essentially reinvented the "readonly" keyword 👏🏻
-
Well, #PonyLang, you essentially reinvented the "readonly" keyword 👏🏻
-
Great, #PonyLang, you implemented native swap operations 👏🏻 But wait! You broke everything else 🤦🏻♂️
-
Great, #PonyLang, you implemented native swap operations 👏🏻 But wait! You broke everything else 🤦🏻♂️
-
So, in #PonyLang, does the prime (') have a real implemented function, or is it just a convention and test' does essentially the same as test1?
-
So, in #PonyLang, does the prime (') have a real implemented function, or is it just a convention and test' does essentially the same as test1?
-
Reader after first reading the chapter: "Interfaces and traits are the same"
#PonyLang: -
Reader after first reading the chapter: "Interfaces and traits are the same"
#PonyLang: -
Yeah, no shit, Sherlock. I wasn't really expecting anything else when I read the #PonyLang documentation, anyway.
-
Yeah, no shit, Sherlock. I wasn't really expecting anything else when I read the #PonyLang documentation, anyway.
-
I have a hunch, that the #PonyLang documentation is written by #TheDoctor
#DoctorWho #amProgramming #amCoding #programming #computerScience
-
I have a hunch, that the #PonyLang documentation is written by #TheDoctor
#DoctorWho #amProgramming #amCoding #programming #computerScience
-
I've been #programming for 14 years now, have been using #PHP, #JavaScript, #ColdFusion, #Ruby, and whatnot, but holy cow, when reading the following chapter, I've literally been yelling "what the heck" at every second paragraph:
https://tutorial.ponylang.io/types/traits-and-interfaces
I mean, #PonyLang really tries to explain everything in depth, and I appreciate the effort, but while it works fine in earlier chapters, it confuses the heck out of me in this at length.
-
I've been #programming for 14 years now, have been using #PHP, #JavaScript, #ColdFusion, #Ruby, and whatnot, but holy cow, when reading the following chapter, I've literally been yelling "what the heck" at every second paragraph:
https://tutorial.ponylang.io/types/traits-and-interfaces
I mean, #PonyLang really tries to explain everything in depth, and I appreciate the effort, but while it works fine in earlier chapters, it confuses the heck out of me in this at length.
-
Great, you basically invented static methods!
#PonyLang #programming #amCoding #amProgramming #computerScience -
Great, you basically invented static methods!
#PonyLang #programming #amCoding #amProgramming #computerScience -
@daz There were several attempts to take #golang and fix its biggest quirks but nothing made mainstream yet. The biggest one is probably #vlang:
https://github.com/vlang/v#Zig is a low-level "#Rust but simpler" language:
https://ziglang.org/#Gleam is an amazing Rust-looking type-safe language with actor model on #Erlang VM:
https://gleam.run/If compilation matters, #PonyLang is a fast compiled language with actor model:
https://www.ponylang.io/1/2
-
@daz There were several attempts to take #golang and fix its biggest quirks but nothing made mainstream yet. The biggest one is probably #vlang:
https://github.com/vlang/v#Zig is a low-level "#Rust but simpler" language:
https://ziglang.org/#Gleam is an amazing Rust-looking type-safe language with actor model on #Erlang VM:
https://gleam.run/If compilation matters, #PonyLang is a fast compiled language with actor model:
https://www.ponylang.io/1/2
-
Pony - an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language
This programming language should definitely get more eyes on it! 👀 Looks really interesting!
#ProgrammingLanguage #Pony #PonyLang #MemorySafety #Performance
-
Pony - an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language
This programming language should definitely get more eyes on it! 👀 Looks really interesting!
#ProgrammingLanguage #Pony #PonyLang #MemorySafety #Performance
-
-
-
Exercises in DNS, or exercises in general?
I've been implementing an ldap client from scratch in #ponylang
One of the dependencies is building an encoder/decoder for asn.1 and that has been a real TRIP their their encoding rules(!)
-
Exercises in DNS, or exercises in general?
I've been implementing an ldap client from scratch in #ponylang
One of the dependencies is building an encoder/decoder for asn.1 and that has been a real TRIP their their encoding rules(!)
-
An #AI #ML company with a link called "Engineering Values" that 404's
https://www.wallaroo.ai/engineering-values
How telling!
#PonyLang -
I want to build something with #ponylang, but I don’t have any problems that Pony would be a good solution for :/
-
#Rust or #Pony? My vote goes to the latter - much more pleasant to work with, even at this early stage. #Ponylang
https://uu.diva-portal.org/smash/get/diva2:1363822/FULLTEXT01.pdf -
I really, really want to love #ponylang. Actor-based programming? Compiler-tracked isolation? Expressive type system? Solidly written tutorial? Check, check, and check!
But the stdlib documentation is such garbage I can't possibly figure how to fit pieces together to do anything. It's super frustrating.
