Recent searches

No recent searches

Search options

Only available when logged in.
101010.pl is one of the many independent Mastodon servers you can use to participate in the fediverse.
101010.pl czyli najstarszy polski serwer Mastodon. Posiadamy wpisy do 2048 znaków.

Administered by:

Server stats:

504
active users

101010.pl: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-beta.2

#historicalnotes

0 posts0 participants0 posts today
screwlisp

#programming #engineering #types #strongTyping #commonLisp #example screwlisp.small-web.org/progra for my friend @aleteoryx .

Actually the #historicalNotes in the first paragraph of this article are a little explored key frontier in #computerScience , but the strong typing examples are simple ( etypecase and deftype.. satisfies for those in the know).

I am personally still figuring out how typing in this manner does and can further connect to #typeTheory.

screwlisp.small-web.orgCommon Lisp Strong Typing Example
Replied in thread
*
screwlisp

@dougmerritt @northernlights @kentpitman @SDF @nosrednayduj @sacha @hairylarry @pkw @rat @pizzapal

Thanks for the incredible #interview and episode Kent Pitman and everyone ! Lots of #lisp #emacs #teco #programming #lore #unique #historicalNotes

archives.anonradio.net/2025021

(One hour)

Please do ping Kent (and me!) about topics you are particularly interested in Kent following up on in later interviews, or releasing from his personal software stockpiles.

Every week 0UTC Wednesadys on anonradio

TrendingLive feeds
About