Concatenative Programming

147 readers
1 users here now

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:


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

Wikis

Wikipedia Topics

Subreddits

GitHub Topics

Blogs

Practice

founded 1 year ago
MODERATORS
51
5
Time My Meeting | Re: Factor (re.factorcode.org)
submitted 6 months ago by Andy to c/concatenative
52
 
 

John B's blog post calls it:

. . . a pretty neat hour long introduction going over a lot of features that users new to the language might be interested in.

The video creator's description:

This is an introductory tutorial for a stack-based (concatenative) programming language Factor. It covers some basic language constructs and a few features of the interactive development environment that is shipped with Factor.

I've re-shot my two prior recordings combining everything into a single video.

53
54
55
 
 

I don't yet have a feel for any key differences between pql and PRQL.

56
 
 

Copied from the readme:


cosh is a concatenative command-line shell.

Why?

Basic shell operations like ls, ps, stat, and so on are implemented as functions that return first-class values, as opposed to relying on executables that return text streams. This makes working with the results simpler:

  • Find file paths matching a string, and search those files for data

sh:

find . -iname '*test*' -print0 | xargs -0 grep data

cosh:

lsr; [test m] grep; [f<; [data m] grep] map
  • Find all processes using more than 500M of memory:

sh:

ps --no-headers aux | awk '$6>500000'

cosh:

ps; [mem get; 1000 1000 *; 500 *; >] grep

A small set of versatile primitives means that less needs to be remembered when compared with typical shells (see e.g. the various flags for cut(1)), though some commands may be longer as a result:

  • Get the second and third columns from each row of a CSV file:

sh:

cut -d, -f2,3 test-data/csv

cosh:

test-data/csv f<; [chomp; , split; (1 2) get] map
  • Sort files by modification time:

sh:

ls -tr

cosh:

ls; [[stat; mtime get] 2 apply; <=>] sortp

Arithmetical operators and XML/JSON/CSV encoding/decoding functions reduce the number of times that it becomes necessary to use a more full-featured programming language or a third-party executable:

  • Increment floating-point numbers in file:

sh:

sed 's/$/+10/' nums | bc

cosh:

nums f<; [chomp; 10 +] map
  • Get the first value from the "zxcv" array member of a JSON file:

sh:

jq .zxcv[0] test-data/json2

cosh:

test-data/json2 f<; from-json; zxcv get; 0 get

It also integrates with external executable calls, where that is necessary:

  • Print certificate data:

bash:

for i in `find . -iname '*.pem'`; do openssl x509 -in $i -text -noout; done

cosh:

lsr; [pem$ m] grep; [{openssl x509 -in {} -text -noout}] map;

See the full documentation for more details.

57
58
 
 

Just because Exercism doesn't offer your favorite language as an official track, it doesn't mean we can't play at all. Post some solutions to the weekly challenges in the language of your choice!

59
 
 

Copied from the project's readme:


Introduction

Scale is a procedual and object oriented concatenative stack oriented compiled programming language inspired by Lua and Porth.

The Compiler is a source-to-source compiler, as it converts your source code to valid C code, that is then compiled by Clang.

Scale supports both 32-bit and 64-bit systems, but 64-bit is strongly recommended.

Examples

Examples can be found in the examples directory.

Installation

Run the following commands:

$ clang++ install-sclc.cpp -o install-sclc -std=gnu++17
$ ./install-sclc

Documentation

A list of all features can be found here.

The Scale Framework documentation can be viewed by running the following command:

$ sclc -doc-for Scale
60
 
 

Copied from the project's readme:


  • blacklight is a programming language which is concurrent, stack-based, and concatenative (BLPL)

  • blacklight is a virtual machine for implementing highly concurrent languages (BLVM)

  • blacklight is a data interchange format for communicating between processes and across networks (BLBC)

Features

blacklight (BLVM) is awesome, here's a few reasons why:

  • easy to use builtin parallelism through native concurrency primatives
  • threadsafe communication between concurrency units
  • rich datatype primitives
  • an easy to use homoiconic Forth-like assembly language (BLPL)
  • runtime bytecode manipulation and generation
  • UTF-8 native datatypes
  • multi-architecture and cross-platform (currently: x86_64, ARM, macos, linux, windows)
  • (in progress) highly optimized vector operations on supported CPUs
  • (planned) security contexts and permissions

Documentation

BLPOC

The current implementation of blacklight is a proof-of-concept. It's functional but intended primarily for proving out features, strategies, and specifications. Once The ABI is stable it will be reimplemented with optimization and compatibility in mind against a full test suite. As is, there is very little about blacklight that isn't subject to change to better reflect the results of research and experimentation.

61
 
 

A new wiki page has been started to show case example programs in various catlangs.

62
8
Rye language (ryelang.org)
submitted 8 months ago by Andy to c/concatenative
 
 

From the homepage:

Rye is a high level, homoiconic dynamic programming language based on ideas from Rebol, flavored by Factor, Linux shell and Go. It's still in development, but we are focused on making it useful as soon as possible.

It's written in Go and could also be seen as Go's scripting companion as Go's libraries are very easy to integrate, and Rye can be embedded into Go programs as a scripting or a config language.

I believe that as a language becomes higher level it starts bridging the gap towards user interfaces. Rye has great emphasis on interactive use (Rye console) where we intend to also explore that.

63
 
 
64
6
submitted 8 months ago by Andy to c/concatenative
65
66
6
Reverse Vowels | Re: Factor (re.factorcode.org)
submitted 9 months ago by Andy to c/concatenative
67
6
Dragonbox | Re: Factor (re.factorcode.org)
submitted 9 months ago by Andy to c/concatenative
 
 

Hey that's me! No, not the amazing Factor dev that authored this post. No, not the contributor who jumped in and saved the day. I'm the

one of the members of the Factor Discord server

who complained about numbers! Woohoo!

68
2
Divmods | Re: Factor (re.factorcode.org)
submitted 9 months ago by Andy to c/concatenative
69
 
 
70
4
Crontab | Re: Factor (re.factorcode.org)
submitted 9 months ago by Andy to c/concatenative
 
 

Parsing!

71
72
73
 
 

I don't have the OS to play with this, but it looks fun!

From Wikipedia:

Prograph is a visual, object-oriented, dataflow, multiparadigm programming language that uses iconic symbols to represent actions to be taken on data. Commercial Prograph software development environments such as Prograph Classic and Prograph CPX were available for the Apple Macintosh and Windows platforms for many years but were eventually withdrawn from the market in the late 1990s. Support for the Prograph language on macOS has recently reappeared with the release of the Marten software development environment.

link

74
 
 

I think pipeline-oriented tooling is relevant enough for this community (is this thing on?).

A PRQL query is a linear pipeline of transformations

It compiles to plain SQL, but queries generally start with a table.

Each line of the query is a transformation of the previous line’s result. This makes it easy to read, and simple to write.

PRQL consists of a curated set of orthogonal transformations, which are combined together to form a pipeline. That makes it easy to compose and extend queries. The language also benefits from modern features, such syntax for dates, ranges and f-strings as well as functions, type checking and better null handling.

link

75
view more: ‹ prev next ›