ArneBab, (edited ) to random German
@ArneBab@rollenspiel.social avatar

define-typed: a static type syntax-rules macro for to create API contracts and help the JIT compiler create more optimized code:

https://www.draketo.de/software/guile-snippets#define-typed

Improved thanks to feedback from Vivien and Zelphir in the Guile User mailing list.

Just 26 lines to get argument and return value typing without changing Guile.

I love the flexibility of ❤️

amoroso, to Lisp
@amoroso@fosstodon.org avatar

In this 1994 paper Richard Waters acknowledged the momentum of C and its implications for the Lisp ecosystem. He laid out a stretegy for the survival and growth of Lisp focused on the development of a critical mass of reusable software.

Three decades later the Lisp community has come a long way but, as Waters concluded back then:

"As long as we are a vibrant community [...] Lisp will hold its own."

https://dl.acm.org/doi/abs/10.1145/192590.192600

vascorsd, to guix
@vascorsd@mastodon.social avatar

So many cool things here.

Goblins, Shepherd, Capabilities, Actors, Whippet, Pre-Scheme, NLnet grants 🎉


Distributed System Daemons: More Than a Twinkle in Goblins' Eye -- Spritely Institute
https://spritely.institute/news/spritely-nlnet-grants-december-2023.html

#guix #guile #scheme #plt #programming #nlnet #unix

civodul, to guix
@civodul@toot.aquilenet.fr avatar

Just stumbled upon this great explanation of records by @roptat (2022):
https://lepiller.eu/en/a-deep-dive-into-guix-records.html

futurile, to guix

Looking for some Friday reading? How about the next step in the tutorial? Overview of the build-system concept, and how to provide arguments. We meet the repl (guix repl) to discuss when to use 'quote' and 'quasiquote' in package definitions.

https://www.futurile.net/2024/04/24/guix-package-structure-build-system/

ArneBab, to scheme German
@ArneBab@rollenspiel.social avatar
amoroso, to Lisp
@amoroso@fosstodon.org avatar

This is interesting but not new. Max Bernstein published two blog post series on implementing Lisp, one on writing an interpreter in OCaml and the other on a compiler in C.

https://bernsteinbear.com/blog/lisp

#lisp #scheme #compilers

abcdw, to scheme
@abcdw@fosstodon.org avatar
abucci, to ProgrammingLanguages
@abucci@buc.ci avatar

A weird thing about being 50 is that there are programming languages that I've used regularly for longer than some of the software developers I work with have been alive. I first wrote BASIC code in the 1980s. The first time I wrote an expression evaluator--a fairly standard programming puzzle or homework--was in 1990. I wrote it in Pascal for an undergraduate homework assignment. I first wrote perl in the early 1990s, when it was still perl 4.036 (5.38.2 now). I first wrote java in 1995-ish, when it was still java 1.0 (1.21 now). I first wrote scala, which I still use for most things today, in 2013-ish, when it was still scala 2.8 (3.4.0 now). At various times I've been "fluent" in 8086 assembly, BASIC, C, Pascal, perl, python, java, scala; and passable in LISP/Scheme, Prolog, old school Mathematica, (early days) Objective C, matlab/octave, and R. I've written a few lines of Fortran and more than a few lines of COBOL that I ran in a production system once. I could probably write a bit of Haskell if pressed but for some reason I really dislike its syntax so I've never been enthusiastic about learning it well. I've experimented with Clean, Flix, Curry, Unison, Factor, and Joy and learned bits and pieces of each of those. I'm trying to decide whether I should try learning Idris, Agda, and/or Lean. I'm pretty sure I'm forgetting a few languages. Bit of 6502 assembly long ago. Bit of Unix/Linux shell scripting languages (old enough to have lived and breathed tcsh before switching to bash; I use fish now mostly).

When I say passable: in graduate school I wrote a Prolog interpreter in java (including parsing source code or REPL input), within which I could run the classic examples like append or (very simple) symbolic differentiation/integration. As an undergraduate I wrote a Mathematica program to solve the word recognition problem for context-free formal languages. But I'd need some study time to be able to write these languages again.

I don't know what the hell prompted me to reminisce about programming languages. I hope it doesn't come off as a humblebrag but rather like old guy spinning yarns. I think I've been through so many because I'm never quite happy with any one of them and because I've had a varied career that started when I was pretty young.

I guess I'm also half hoping to find people on here who have similar interests so I'm going to riddle this post with hashtags:

#C #R

abcdw, to scheme
@abcdw@fosstodon.org avatar

What "Clownshoes semantics" means?

I was tracing the issue and stumbled upon this phrase in the comment in Guile source code, I'm really puzzled.

https://git.savannah.gnu.org/cgit/guile.git/tree/module/ice-9/suspendable-ports.scm?h=0e9ccaf47#n742

abcdw, to scheme
@abcdw@fosstodon.org avatar

Implementing run-project-tests for SRFI-64 test suits.

https://youtu.be/pDBOKTK9SL8
https://yewtu.be/watch?v=pDBOKTK9SL8

BigEatie, to emacs
@BigEatie@fosstodon.org avatar

I'm tagging @daviwil for no particular reason. None at all.

daviwil, (edited ) to random
@daviwil@fosstodon.org avatar

I'm going to have time available soon to hack on free software projects and live stream it.

Which type(s) of project would you be most interested to see?

louis, to scheme
@louis@emacs.ch avatar

"Scheme and Common Lisp differ mostly in the communities they cater to. Scheme programmers like to talk about how great it is to have a short specification; Common Lisp programmers like to write programs."

  • Let Over Lambda, Doug Hoyte

#commonlisp #scheme

krevedkokun, to scheme
@krevedkokun@fosstodon.org avatar

I've also implemented eldoc functionality recently, go check it out

video of eldoc working in emacs-arei

krevedkokun, to scheme
@krevedkokun@fosstodon.org avatar

emacs-arei is going great

abcdw, to scheme
@abcdw@fosstodon.org avatar

There are a few cool commits landed on guix master today:

  • chez-scheme: Update to 10.0.0.
  • racket: Update to 8.12.
  • chez-scheme: Bootstrap from source.
  • Add librewolf.

https://git.savannah.gnu.org/cgit/guix.git/log/

lobocode, to Lisp
@lobocode@hachyderm.io avatar

Conducting a small experiment using instead of script. Reason? Mere curiosity.

simon_brooke,
@simon_brooke@mastodon.scot avatar

@lobocode There's an excellent dialect, scsh, designed to be used as a shell:

https://scsh.net/

I maintained (I was not the original author of) a substantial web spider written in scsh for several years, and I found it a pleasant language to work in.

#1 of 2

lobocode,
@lobocode@hachyderm.io avatar

@simon_brooke Hey buddy, checked out / yesterday, super intriguing stuff. Actually, I've been digging into and its dialects lately. Got curious about why there are so many dialects, you know?

Recently dabbled in , which got me looking at Lisp in a new light. Unlike , which is awesome for sure, has been out of academia and in the market for quite a while... found it pretty cool.

simon_brooke,
@simon_brooke@mastodon.scot avatar

@Ardubal @lobocode True. We also have Lisp for 39 years, Portable Standard Lisp for 44 years, for 49 years, and for 56 years. Your point is?

daviwil, to scheme
@daviwil@fosstodon.org avatar

I recently opened registration for the April iteration of the "Hands-On Guile Scheme for Beginners" course!

This is an 8-week course that is a mixture of on-demand learning content, live Q&A sessions, practical exercises, and a private forum where I answer all your questions.

This iteration officially begins on April 20th, full details and schedule can be found here:

https://systemcrafters.net/courses/hands-on-guile-scheme-beginners/

Come learn Scheme and functional programming with us!

rml, to ArtificialIntelligence
@rml@functional.cafe avatar

Malt: A Deep Learning Framework for Racket by Dan Friedman and Anurag Mendhekar

We discuss the design of a toolkit, Malt, that has been built for Racket. Originally designed to support the pedagogy of The Little Learner—A Straight Line to Deep Learning, it is used to build deep neural networks with a minimum of fuss using tools like higher-order automatic differentiation and rank polymorphism. The natural, functional style of AI programming that Malt enables can be extended to much larger, practical applications. We present a roadmap for how we hope to achieve this so that it can become a stepping stone to allow / / to reclaim the crown of being the language for Artificial Intelligence (perhaps!).

https://www.youtube.com/watch?v=AW9isjesTkQ

rml, (edited ) to Magic
@rml@functional.cafe avatar

A little over a year ago, originally due to an interest in the deeper history of , I started diving deep into the , studying , , and doing etc in what has become my deepest engagement with the rabbinic corpus yet -- the Talmud isn't a compiler but rather an extensible interpreter, compiled by compilers over the course of many centuries (build times have gotten significantly faster, my G-d), with novel extensions in the form of rabbinic commentary, glossia and the like being added nearly every century by publishers competing to compile the most elegant editions (Vilna Shaws being paradigmatic). And through studying Talmud and the greater body of rabbinic literature I've found myself encountering /sorcery occasionally, and I just gotta say -- the metaphor of programming as pure magic, with the as a sorcerer, goes insanely deep when you start to dig into it.

aziz, to scheme

Hey , I made a new image that gets together many schemes (and schemers) in the same image, with a CLI that makes it easier, if not easy to build portable libraries, if not programs.

#;> united.scm available
loko
chicken
mit
sagittarius
gauche
racket
gambit
guile
chez-cisco
stklos
chibi

· Frontend for several Scheme implementations · One CLI, many schemes ·
· The best ui/ux to build portable Scheme libraries ·
· All around finest competition in software engineering ·

ref: https://github.com/amirouche/united.scheme.rs/pkgs/container/scheme-united

  • All
  • Subscribed
  • Moderated
  • Favorites
  • normalnudes
  • mdbf
  • magazineikmin
  • Youngstown
  • thenastyranch
  • rosin
  • slotface
  • Durango
  • ngwrru68w68
  • PowerRangers
  • kavyap
  • osvaldo12
  • tsrsr
  • DreamBathrooms
  • anitta
  • tester
  • GTA5RPClips
  • khanakhh
  • tacticalgear
  • vwfavf
  • InstantRegret
  • ethstaker
  • everett
  • Leos
  • cisconetworking
  • modclub
  • cubers
  • provamag3
  • All magazines