SDF Chatter
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
Andy@programming.devM to Concatenative Programming@programming.devEnglish · 3 months ago

revo: thoughts behind the programming language

gills.pages.dev

external-link
message-square
0
link
fedilink
1
external-link

revo: thoughts behind the programming language

gills.pages.dev

Andy@programming.devM to Concatenative Programming@programming.devEnglish · 3 months ago
message-square
0
link
fedilink
revo, the programming language
gills.pages.dev
external-link
⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣤⢔⣒⠂⣀⣀⣤⣄⣀⠀⠀ ⠀⠀⠀⠀⠀⠀⣴⣿⠋⢠⣟⡼⣷⠼⣎⣼⢇⣿⣄⠱⣄ ⠀⠀⠀⠀⠀⠀⠹⣿⡀⣆⠙⠢⠐⠉⠉⣴⣾⣽⢟⡰⠃ ⠀⠀⠀⠀⠀⠀⠀⠈⢿⣿⣦⠀⠤⢴⣿⠿⢋⣴⡏⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⢸⡙⠻⣿⣶⣦⣭⣉⠁⣿⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⣷⠀⠈⠉⠉⠉⠉⠇⡟⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⢀⠀⠀⣘⣦⣀⠀⠀⣀⡴⠊⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠈⠙⠛⠛⢻⣿⣿⣿⣿⠻⣧⡀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠈⠫⣿⠉⠻⣇⠘⠓⠂⣀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣿⠀⠀⠈⠉⠉⠉⠀⡠ ⢶⣾⣿⣿⣿⣿⣿⣶⣄⠀⠀⠀⣿⠀⠀⠀⠀⠀⠀⠈⠀ ⠀⠹⣿⣿⣿⣿⣿⣿⣿⣧⠀⢸⣿⠀⠀⠀⠀⢀⠆⠀⠀ ⠀⠀⠈⠙⠻⢿⣿⣿⠿⠛⣄⢸⡇⠀⠀⡀⠀⠈⢀⠀⢨ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠘⣿⡇⠀⠀⠀⠀⠀⠀⢦⣃ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣿⡁⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣿⠁⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣿⠀⠀⠀⠀⠀⠀⠀⠀⠀ revo, the programming language software that doesn’t hate you -> take a look at examples first toc revo, the programming language the death of the general-purpose programming language the general purpose programming language dogmatism linguistics addition as subtraction where this comes from so for revo semantic freedom everything is an expression pipes chain values naturally pattern matching errors as values no unnecessary edge cases async concurrency without threads a rich standard library the atoms & the tuples tables c ffi macros optional static typing first-class tests bytecode compilation tooling so many cool and interesting ideas go unimplemented. we have enough compute to build ourselves something we’ve always wanted at the cost of performance, but we often prefer to pay that same price to make something generally disliked, and then to patch holes in it

Revo was previously posted at https://programming.dev/post/51475651

This is a neat blog post with some philosophy and rationale behind it.

alert-triangle
You must log in or register to comment.

Concatenative Programming@programming.dev

concatenative@programming.dev

Subscribe from Remote Instance

Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !concatenative@programming.dev

Hello!

This space is for sharing news, experiences, announcements, questions, showcases, etc. regarding concatenative programming concepts and tools.

We’ll also take any programming described as:

  • pipelined
  • stack-oriented
  • tacit
  • postfix / reverse Polish notation (RPN)
  • fluent
  • cascading
  • chained

From Wikipedia:

A concatenative programming language is a point-free computer programming language in which all expressions denote functions, and the juxtaposition of expressions denotes function composition. Concatenative programming replaces function application, which is common in other programming styles, with function composition as the default way to build subroutines.

For example, a sequence of operations in an applicative language like the following:

y = foo(x)
z = bar(y)
w = baz(z)

…is written in a concatenative language as a sequence of functions:

x foo bar baz


Active Languages

Let me know if I’ve got any of these misplaced!

Primarily Concatenative

  • Forth
  • Factor
  • Retro
  • min
  • Joy
  • Uiua
  • kcats
  • iNet
  • mlatu
  • Execline

Concatenative-ish, Chain-y, Pipe-y, Uniform Function Call Syntax, etc.

  • Nim
  • Roc
  • Unix Pipes
  • Cognate
  • D Programming Language
  • Koka
  • revo

Cheat Sheets & Tutorials

  • Learn Factor in Y minutes
  • A panoramic tour of Factor
  • Factor Tutorial Video

Discord

  • Concatenative
  • Factor

IRC

  • #concatenative on irc.libera.chat

Wikis

  • concatenative wiki

Wikipedia Topics

  • Reverse Polish Notation
  • Uniform Function Call Syntax
  • Stack-Oriented Programming
  • Tacit Programming
  • Method Chaining
  • Method Cascading
  • Fluent Interface

Subreddits

  • r/concatenative
  • r/factor

GitHub Topics

  • Stack-Based Language
  • Concatenative
  • Concatenative Language
  • Concatenative Programming Language
  • Concatenative Interpreting Language
  • Fluent Interface
  • Method Chaining

Blogs

  • planet-factor

Practice

  • Codewars (Forth, Factor, Nim)
  • Advent of Code
  • Code Golf (Forth, Factor, Nim)
  • Project Euler
  • Exercism (8th, Factor, Nim)
  • Perl Weekly Challenge

Mailing Lists

  • Juxta

Misc

  • Catweb (webring)
Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 1 user / day
  • 3 users / week
  • 8 users / month
  • 39 users / 6 months
  • 5 local subscribers
  • 215 subscribers
  • 219 Posts
  • 102 Comments
  • Modlog
  • mods:
  • Ategon@programming.dev
  • Andy@programming.dev
  • BE: 0.19.21
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org