Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
-
perlweeklychallenge-club
Knowledge base for The Weekly Challenge club members using Perl, Raku, Ada, APL, Awk, Bash, BASIC, Bc, Befunge-93, Bourne Shell, BQN, Brainfuck, C3, C, CESIL, C++, C#, Clojure, COBOL, Coconut, Crystal, D, Dart, Dc, Elm, Emacs Lisp, Erlang, Excel VBA, Fennel, Fish, Forth, Fortran, Gembase, GNAT, Go, Haskell, Haxe, HTML, Idris, IO, J, Janet, Java, JavaScript, Julia, Kotlin, Lisp, Lua, M4, Miranda, Modula 3, MMIX, Mumps, Myrddin, Nim, Nix, Node.js, Nuweb, OCaml, Odin, Ook, Pascal, PHP, Python, Post
-
granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
For example all my implementations exist as a single, self-contained executable (here 'strinclude' plays a big part in including source code of libraries), which runs pretty quickly too. (Download Rust for example and you could be looking at 70,000 files. Try and email it to someone.)
Frank's effect handling. "A strict functional programming language with a bidirectional effect type system designed from the ground up around a novel variant of Plotkin and Pretnar's effect handler abstraction. ... Frank [is different from other PLs with effect type systems in that it is based on] generalising the basic mechanism of functional abstraction itself. A function is simply the special case of a Frank operator that interprets no commands. Moreover, Frank's operators can be multihandlers which simultaneously interpret commands from several sources at once, without disturbing the direct style of functional programming with values. Effect typing in Frank employs a novel form of effect polymorphism which avoid mentioning effect variables in source code. This is achieved by propagating an ambient ability inwards, rather than accumulating unions of potential effects outwards."
Prolog is a homoiconic language with built-in unification and backtracking. These features are remarkably useful for metaprogramming: I once wrote an interpreter for a functional programming language in less than 80 lines of Prolog code.
I like what Pony does with capabilities.
Jelly is a language related to APL which pretty much can't be written to be readable.
Love Damian Conway's perl talks. Especially his Raku talks. I especially love his explorations of solutions to the The Weekly Challenge - Perl and Raku
Granule and the related Gerty languages feature graded modal types which afaiu can be used similar to linear types to specify the number of times a resource should be consumed in a function, which, unlike linear types, may be a variable amount instead of only exactly once.
Granule and the related Gerty languages feature graded modal types which afaiu can be used similar to linear types to specify the number of times a resource should be consumed in a function, which, unlike linear types, may be a variable amount instead of only exactly once.