u/Timbrelainein r/scala • Recommends
Guy Steele talks about Fortress at JuliaCon. Scala comes up a lot.
0:00 / 0:00
Keynote. Fortress Features and Lessons Learned | Guy Steele | JuliaCon 2016
The Julia Programming Language
91K subscribers • 17 videos on Hallway
- Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
- Presented by Guy Steele
- Linked in the descriptionJuliaCommunity/YouTubeVideoTimestampsJuliaCommunity/YouTubeVideoSubtitles
Intermediate. Assumes working knowledge.
14K views10 years ago2 recommendations
Programming languagesLanguage design and type systemsFunctional programming
Guy Steele delivers a keynote on the design of the Fortress programming language, its features, and the lessons learned from the project.
Visit julialang.org/ to download Julia. Time Stamps: Welcome! Help us add time stamps or captions to this video! See the description for details. Want to help add timestamps to our YouTube videos to help with discoverability? Find out more here: github.com/JuliaCommunity/YouTubeVideoTimestamps Interested in improving the auto generated captions? Get involved here: github.com/JuliaCommunity/YouTubeVideoSubtitlesWhy it's here
2 people recommend thisWhat people say. Recommended for its insights into programming language design and the history of the Fortress language.
Moments people linked to
inactive-useron Lobsters • Recommends
JuliaCon 2016 (Keynote) | Fortress Features and Lessons Learned | Guy Steele
u/LectronPusherin r/ProgrammingLanguages • Mentions
On “Existing programming languages with robust mathematical syntax?”
…tical functions" here: https://reference.wolfram.com/language/guide/MathematicalFunctions.html
You might also be interested in Fortress, a now historical language, which had the ability to create custom operators and used more exacting mathematical syntax. It was partially designed by Guy Steele, who gave an interesting talk on the language here: link to this video
And I must mention the long lineage of proof assistant languages that stem from the ideas behind the "Calculus of Constructions". Starting from the Coq language of Thierry Coquand and with modern popular descendants such as Agda and Lean. These types of languages can encode fundamental rules of mathematical proofs — like induction and set…
u/nsiivolain r/ProgrammingLanguages • Mentions
On “Do you know any interesting talks about PL design/compilers/interpreters?”
Guy Steele's talk on Fortress in Juliacon: link to this video
u/gvozden_celikin r/ProgrammingLanguages • Mentions
On “An Idea for Working with non-ASCII character sets”
Fortress did (or at least planned to do) something like this, where they had an ASCII syntax but it would by typeset into rich Unicode. Here's Guy Steele (who was the designer behind this language at Sun) talking about it. I remember reading that they were planning to do a special IDE that could handle both the ASCII and the rich variant, but don't quote me on that.
pjmlpon Hacker News • Mentions
On “Why physicists still use Fortran”
> It got shelved after Oracle bought Sun. Actually the actual real history is little more complex than that. JuliaCon 2016 (Keynote) | Fortress Features and Lessons Learned | Guy Steele link to this video It would be good if people on HN would separate a bit the Oracle hate with the facts.
neologon Hacker News • Mentions
On “From Julia to Rust”
…nguage decisions lightly. They have committees, discuss how other languages do things, make proposals. This allows more perspectives on each decision. That would be an improvement over the more ad-hoc style of Julia development, as long as Julia can avoid adding every possible feature, which is a risk of expanding the decision-making body 3. 0 link to this video 1 link 2 link 3 link 4 link…
cmrdporcupineon Hacker News • Mentions
On “Beyond Functional Programming: The Verse Programming Language [pdf]”
I think in the constellation of languages there's still more intersection of "feature dots" between the two than there is disjunction. Multimethods & numerics emphasis alone makes them uniquely similar, as the latter especially is not a feature that has been mined well in other languages. Some of the influence is quite conscious, too, from my reading. And here's a talk by Guy Steele about the Fortress experience, at JuliaCon: link to this video
u/nsiivolain r/ProgrammingLanguages • Mentions
On “Talks smilar to "Growing a Language" by Guy Steele”
This one: link to this video
u/tobegain r/ProgrammingLanguages • Mentions
On “Why do modern systems languages rely on compiler heuristics to reverse-engineer programmer intent?”
I agree we should be able to solve this in some way.
In Fortress, they encoded important traits like associativity in the type system, which allowed more efficient execution. More on Fortress in this talk [video
I know there are also libraries that could really be language features like BLAS and GraphBLAS which allows expressing intent (and requires the semi-ring trait specification) to capture intent and allow swapping in of better algorithms. With matrices and graphs there are significantly different algorithms to use depending on things like sparseness, though.
Even allowing the expression of intent and domain properties like this, there is likely significant friction from programmer…
u/AsIAmNew Kind of Paperin r/ProgrammingLanguages • Mentions
On “Significant Inline Whitespace”
I found Guy Steel in 2016 talking about this. Thank you, very good resource! [video