Mastodawn

Every 0UTC Wednesday!
there will of course be the Tuesday-evening-in-the-Americas #lispyGopherClimate #live on
#archive
https://toobnix.org/w/eCCvKBZvuwkXj244ojjzTU
!

- show starts with @kentpitman #haiku and a discussion of the #climateCrisis

Kent and Ramin will join today for a discussion of #lisp #IDE s.
Kent scanned his historical c. 1980 #TECO #emacs cheatsheet: https://climatejustice.social/@kentpitman/116484262128356625
Ramin's #schemacs https://emacsconf.org/2025/talks/schemacs/
viz Smith's new mine #staticTyping #coalton ide.

+ the emacs/ide ecosystem.

screwlisp Apr 26

#lispyGopherClimate If the stars align and everything works
https://toobnix.org/w/m18PXLF4busMtXMh1Zby8Z
#peertube #archive sunday morning in Europe !

I'm still out-of-it-after-surgeory so I am going to read these threads:
https://appdot.net/@mdhughes/116451465535355292 @mdhughes @lain_7 @djl @indyradio in the vane of Liskov's #CLU #history .

https://mastodon.scot/@simon_brooke/116469811023564889 @simon_brooke tried Robert Smith ( #coalton #staticTyping )'s new #commonLisp #IDE https://coalton-lang.github.io/20260424-mine/

Poetry-wise, reading @vnikolov 's https://ieji.de/@vnikolov/116469719666807396

screwlisp Apr 26

I haven't clicked the link yet, but I guess I should also reannounce Robert Smith's new #IDE for #commonLisp #typeTheory #staticTyping super-macro (#coalton) #dev named mine.

https://coalton-lang.github.io/20260424-mine/

@vindarel @sanityinc @simon_brooke @jackdaniel @dougmerritt (reverse-chronological earlier toots).

EDIT:
Simon Brooke's review was a major topic in the sunday-morning-in-europe #lispygopherclimate see
https://gamerplus.org/@screwlisp/116469933987641020

Introducing mine, a Coalton and Common Lisp IDE

By Robert Smith mine is a brand new IDE for Coalton and Common Lisp, built from the ground up with one purpose: To make Coalton and Common Lisp easier and more accessible to the programming world. TL;DR? Go to mine's homepage with downloads for Windows/macOS/Linux. mine is a complete, single-download application that comes with everything needed to experience the interactive and incremental development programming workflow, including hot-reloading and on-the-fly debugging, that Lisp programmers often refer to as the differentiating feature of the ecosystem. After installing, one can immediately open a file, program some Coalton or Lisp, and beam code to the REPL. On the same token, it has many of the advanced features you’d expect in a professional IDE:

The Coalton Programming Language

Kerrick Long (code)Feb 4

Today at work I learned that you can make `.d.ts` files adjacent to `.js` files and TypeScript's compiler (and IDEs) can treat it just like Ruby + RBS sidecars! 😍

#JavaScript #TypeScript #Ruby #StaticTyping #TypeHints #DynamicLanguages #Programming

Solar Granulation Jan 2

Raise a hand if you find dynamic typing disfavourable!

#dynamictyping vs #statictyping

screwlisp Jun 13, 2025

Play Static Games, Win Static Prizes https://screwlisp.small-web.org/programming/play-static-games-win-static-prizes/
#staticTyping #typechecking #staticProgramAnalysis #commonLisp #lisp #sbcl #series #acl2

In which I look at modern and to some extent historical static program analysis popularly used with common lisp #programming.

I accidentally make the really good point that even if #sbcl is not your deployment target, you can still use its static type checking, for which I work an example.

#lazyEvaluation and formal theorems are also included.

Show thread

Vassil Nikolov | Васил Николов May 7, 2025

@mdhughes @screwtape @smlckz @sektor @clew @eduardoochs @dougmerritt

The point is not that static type checking is omnipotent: it isn't, of course.
The point is that it catches _very many_ mistakes that programmers are _prone_ to make.
I say again: mistakes that are _often_ made, not all that can be made _in principle_.

> function addints(int x, int y) : int { return 3; }

This is too trivial.
Warning: variable declared but never used.

#StaticChecks
#StaticTypeChecks
#StaticTyping

N-gated Hacker News May 4, 2025

Typed Lisp aficionados offer a *mind-blowing* revelation: you too can experience the joy of static typing, but only if you're prepared to navigate a labyrinthine manifesto of type hierarchies and algebraic data types, all while still loving #Haskell 💻✨. Because, apparently, there's nothing more exhilarating than making Lisp even more confusing for beginners 🤯📚.
https://alhassy.com/TypedLisp.html #TypedLisp #StaticTyping #TypeTheory #ProgrammingJoy #ConfusingBeginners #HackerNews #ngated