Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev. Learn more →
Pony-tutorial Alternatives
Similar projects and alternatives to pony-tutorial
-
effekt
A research language with effect handlers and lightweight effect polymorphism
-
-
Onboard AI
Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.
-
TablaM
The practical relational programing language for data-oriented applications
-
-
-
inpla
Inpla: Interaction nets as a programming language (the current version)
-
InfluxDB
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
-
Nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
-
-
-
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
-
-
protoactor-go
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
-
-
-
-
Agda
Agda is a dependently typed programming language / interactive theorem prover.
-
futhark
:boom::computer::boom: A data-parallel functional programming language
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
pony-tutorial reviews and mentions
-
Is there a programming language that will blow my mind?
I don't think that there is a book written about Pony, but the tutorial and the list of patterns (WIP) are all you need to learn the language.
-
Not well known programming languages with interesting features?
[Pony](https://tutorial.ponylang.io/): actors, reference capabilities, object capabilities.
-
Today, Thanks to this sub Reddit. I discovered 3 awesome new languages....
Pony is a relatively young but interesting language with capabilities-security.
-
Does such a language already exist ("Rust--")?
Well, depends on how you define ownership. Pony 's type system has reference capabilities which let you define who's allowed to do what to a reference and part of it sort of deals with ownership (along the lines of "this actor is allowed to do Y to the reference, other actors are allowed to do Z"). You can eg. have methods that return an isolated value that guarantees that there are no other references to that value, meaning it's automatically thread safe. You can also define things as vals which says that they are globally immutable, refs which give the current actor read/write capabilities but can't be shared with other actors
-
A note from our sponsor - Onboard AI
getonboard.dev | 2 Dec 2023
Stats
ponylang/pony-tutorial is an open source project licensed under BSD 2-clause "Simplified" License which is an OSI approved license.
The primary programming language of pony-tutorial is Markdown.