https://github.com/harrisongrodin/radical-julia
Radical ideas for the Julia language.
https://github.com/harrisongrodin/radical-julia
julia julia-language julialang programming-language type-theory types
Last synced: over 1 year ago
JSON representation
Radical ideas for the Julia language.
- Host: GitHub
- URL: https://github.com/harrisongrodin/radical-julia
- Owner: HarrisonGrodin
- Created: 2019-07-01T20:03:55.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2020-07-29T18:58:52.000Z (almost 6 years ago)
- Last Synced: 2025-03-24T10:02:54.804Z (over 1 year ago)
- Topics: julia, julia-language, julialang, programming-language, type-theory, types
- Language: Standard ML
- Size: 5.86 KB
- Stars: 26
- Watchers: 7
- Forks: 1
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# radical-julia
This repository contains a handful of documents describing ideas for radical changes to various parts of the Julia language.
## Topics
### [Traits](traits)
Reimagining abstract types as traits.
## FAQ
### Are the documents proposals?
Each document lies somewhere between an idea and a proposal.
### Can I contribute?
Of course! Pull requests are welcome and help drive conversation, which is the primary purpose of this repository.
### Do you really expect these ideas to be implemented?
The purpose of publishing the ideas is to have a discussion. Each document, in my mind, holds some merit; whether or not this is significant enough to warrant implementation has yet to be seen.