Writing Anteforth, a Forth-like in SPARK

pyjarrett.github.io

cross-posted to:
lobsters@lemmy.bestiver.se

Writing Anteforth, a Forth-like in SPARK

pyjarrett.github.io

Andy@programming.devM to

Concatenative Programming@programming.devEnglish · 2 months ago

cross-posted to:
lobsters@lemmy.bestiver.se

Writing a verified Forth VM in Ada/SPARK

You must log in or # to comment.

Chat

Concatenative Programming@programming.dev

concatenative@programming.dev

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

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

Cheat Sheets & Tutorials

Discord

IRC

#concatenative on irc.libera.chat

Wikis

concatenative wiki

Wikipedia Topics

Subreddits

GitHub Topics

Blogs

planet-factor

Practice

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

Visibility: Public

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

2 users / day
7 users / week
8 users / month
60 users / 6 months
6 local subscribers
201 subscribers
218 Posts
103 Comments
Modlog