Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

awesome-pl-concepts

An menu/quick reference for Programming Language concepts
https://github.com/glyh/awesome-pl-concepts

Last synced: 1 day ago
JSON representation

List of features
- [Gradual Typing](https://en.wikipedia.org/wiki/Gradual_typing)
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Typescript
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
  - Vlad Balin - TypeScript: Static or Dynamic? The war is over.
- [Async/await](https://en.wikipedia.org/wiki/Async/await)
  - asynchronous
  - JavaScript - await](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/async_function)
  - Fireship: The Async Await Episode I Promised
  - Fireship: The Async Await Episode I Promised
- Automatic Broadcast Implementation
  - Chapel - and-arrays.html) (partial)
  - Hillel Wayne - Microfeatures I'd like to see in more languages
- Generalized Update Syntax
  - Hillel Wayne - Microfeatures I'd like to see in more languages
- Caching with Reactive Invalidation
  - Skip
- Chained Try
  - BoppreH - a Reply in If-fail-else Construct
- Class Invariant
  - Ada - auth.org/standards/12rat/html/Rat12-2-4.html)
  - Riccardo Bernardini - Reasons for loving Ada: Type invariants (because bugs shouldn't sleep...)
- Compile-time Code Evaluation
  - Zig
- Nil Fallthrough
  - sporeboyofbigness - Call for action: let's build a list of features for non-trivial PL features
  - optional chaining
- [Coroutine](https://en.wikipedia.org/wiki/Coroutine)
  - cooperative
  - Lua
- Dependent Type
  - Hacker News - serokell.io - Dependent Haskell Is the Future (2018)
  - pressron - Why Writing Correct Software Is Hard
- Dot Calculus
  - Essense of Scala
- Effect System
  - side effects
  - Koka
  - Stephen Diehl - Exotic Programming Ideas: Part 3 (Effect Systems)
- First Class Date
  - Frink
- First Class Module
  - Stackoverflow - What (exactly) are "First Class" modules?
- Fragment-based Code Distribution
  - Big Technical Idea on Unison
- Free Parallelism
  - Futhark
- Formal Methods
  - Coq
- [Row Polymorphism](https://en.wikipedia.org/wiki/Row_polymorphism)
  - Stackoverflow - What are row types? Are they algebraic data types?
  - Objective ML: An effective object-oriented extension to ML
  - OCaml
  - Jadon Fowler - Row Polymorphism without the Jargon
- [Green Thread](https://en.wikipedia.org/wiki/Green_thread)
  - preemptive
  - Java
- Logic Programming
  - Prolog
- Memory Safety
  - Fernando Borretti - Type Systems for Memory Safety
- [Message Passing](https://en.wikipedia.org/wiki/Message_passing)
  - Erlang
- Ownership
  - Rust - lang.org/book/ch04-00-understanding-ownership.html)
  - heap-allocated memory
- Pattern matching
  - data structures
- Symmetric Interaction Calculus
  - Lambda Calculus
  - Victor Maia - The Symmetric Interaction Calculus
  - XXIIVV - interaction nets
  - Zicklag - Interaction Nets, Combinators, and Calculus
- Term Rewriting
  - Mathematica
- [Universal Function Call Syntax](https://en.wikipedia.org/wiki/Uniform_Function_Call_Syntax)
  - D - function-call-syntax-ufcs), [Elixir](https://elixir-lang.org/) [pipe operator](https://elixir-lang.org/getting-started/enumerables-and-streams.html#the-pipe-operator), [Clojure](https://clojure.org/) [threading macro](https://clojure.org/guides/threading_macros)
- Reference Capabilities
  - Pony
- Hygienic Macro
  - Scheme
- Reader Macro
  - Common Lisp - lang.org/) [Sigils](https://elixir-lang.org/getting-started/sigils.html) (this is a weaker alternative to reader macro)
- Trait
  - Haskell - lang.org/) [trait](https://doc.rust-lang.org/book/ch10-02-traits.html)
- Lisp Macro
  - Compile-time - based code generation in a [homoiconic](https://en.wikipedia.org/wiki/Homoiconicity) and [dynamically-typed](https://en.wikipedia.org/wiki/Type_system#Dynamic_type_checking_and_runtime_type_information) language.

Categories

List of features 91

Sub Categories

[Gradual Typing](https://en.wikipedia.org/wiki/Gradual_typing) 41 Symmetric Interaction Calculus 4 [Async/await](https://en.wikipedia.org/wiki/Async/await) 4 [Row Polymorphism](https://en.wikipedia.org/wiki/Row_polymorphism) 4 Effect System 3 Ownership 2 Automatic Broadcast Implementation 2 Dependent Type 2 Class Invariant 2 Nil Fallthrough 2 [Green Thread](https://en.wikipedia.org/wiki/Green_thread) 2 [Coroutine](https://en.wikipedia.org/wiki/Coroutine) 2 Memory Safety 1 Chained Try 1 Compile-time Code Evaluation 1 First Class Module 1 [Universal Function Call Syntax](https://en.wikipedia.org/wiki/Uniform_Function_Call_Syntax) 1 Term Rewriting 1 Logic Programming 1 Hygienic Macro 1 Reference Capabilities 1 Formal Methods 1 Lisp Macro 1 Generalized Update Syntax 1 Caching with Reactive Invalidation 1 Dot Calculus 1 [Message Passing](https://en.wikipedia.org/wiki/Message_passing) 1 Pattern matching 1 Trait 1 Free Parallelism 1 Reader Macro 1 First Class Date 1 Fragment-based Code Distribution 1