mlscript
potigol
mlscript | potigol | |
---|---|---|
5 | 2 | |
133 | 242 | |
1.5% | 1.7% | |
9.5 | 1.8 | |
about 23 hours ago | almost 2 years ago | |
Scala | Scala | |
MIT License | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
mlscript
-
User Study on Helpful Error Messages
My other subreddits of interest also received an invitation to participate, for example on r/ProgrammingLanguages from u/LPTK. (And people there seemed to have enjoyed the survey, great!) Looking at post history for u/LPTK clarifies that they are the same person as https://lptk.github.io/about.html . So a reasonable guess as to who "us" is would be: a programming-language research group at UST university in Hong Kong, also the group working on MLScript. There is also a mention of Helium, an old Dutch research project about typing errors -- not sure if this work is being done on top of Helium.
- Data types with Negation
- Rewriting TypeScript in Rust? You'D have to be
-
MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types
There is one little hitch currently, but it's easily fixed: parametericity is not ensure because we allow matching on anything, which makes type abstraction rather weak. This can be fixed by requiring a matchable or object upper bound on scrutinees' types. This way, we won't be able to match things out of abstract types like Rep. (More info in the MLscript repo, which is the more complete and practical version of the language, currently being developed.)
-
Soft-launch Boba: a statically-typed concatenative programming language
The third language is https://github.com/hkust-taco/mlscript. It features global ML type inference with extensions .my prof is https://cse.hkust.edu.hk/~parreaux/author/lionel-parreaux/
potigol
-
programming in non-english
There are languages like Potigol https://github.com/potigol/Potigol, which is I think in Brazilian Portuguese
-
100 Languages Speedrun: Episode 85: Linguagem Potigol
Linguagem Potigol is a programming language for Portuguese-speaking beginners where all English words have been replaced with Portuguese words.
What are some alternatives?
boba - A general purpose statically-typed concatenative programming language.
ring - Simple and flexible programming language for applications development
rescript-compiler - The compiler for ReScript.
lore - Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersection types, and a mix of functional and imperative programming.
ts-opaque - Easy-to-use library that implements opaque types in TypeScript!
RosettaCodeData - RosettaCode Data Project
Idris2 - A purely functional programming language with first class types
speaklikeabrazilian.com - Speak Like A Brazilian
gluon - A static, type inferred and embeddable language written in Rust.
bato - Ang Bato ay isang programming language sa wikang Filipino
NeoHaskell - ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
ptbr-wordlist - A selection of Brazilian Portuguese words that are good enough to be used as a BIP-0039 wordlist