mastouille.fr est l'un des nombreux serveurs Mastodon indépendants que vous pouvez utiliser pour participer au fédiverse.
Mastouille est une instance Mastodon durable, ouverte, et hébergée en France.

Administré par :

Statistiques du serveur :

582
comptes actifs

#LazyEvaluation

0 message0 participant0 message aujourd’hui

#programming #softwareEngineering article screwlisp.small-web.org/progra #commonLisp #asdf #systemsProgramming #series #pathnames #packaging

Really simple... Sort of... But so intricate to write. I deal with (writing a smidge of #interactive #lazyEvaluation #functionalProgramming ) :

- Tangling markdown into an asdf :class :package-inferred-system lisp system
- Doing so with scan-file and collect-file from series
- Working with lisp’s make-pathname directories.

screwlisp.small-web.org:screwlisps-knowledge/tangle common lisp asdf package markdown tangling and lisp pathnames

Play Static Games, Win Static Prizes screwlisp.small-web.org/progra
#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.

#softwareEngineering #programming #commonLisp #assertions #algebra - tight, efficient #lazyEvaluation vector multiplication with #series .
screwlisp.small-web.org/progra

I use assert in lisp, which automatically generates an interactive in-context failure resolution which I utilize in the article, where the lazy cotruncation series feature was not wanted. Shows off a #lisp useage: classic.

@vnikolov what do you think of this example of assert viz your assertables?
+ @kentpitman

#climateCrisis #commonLisp #graphing #series #gnuplot screwlisp.small-web.org/progra
Hey everyone. I jammed some #declarative #lazyEvaluation #engineering #programming to tie into the climate segment of the live show in TWO hours.

Interesting declarative exploratory programming and super simple gnuplotting if I do say so.

But I basically ran out of time to make a good graph with daily temperature max/min/avg from about 1920-2020 in some weather stations in New Zealand. Any ideas??? Clock is ticking

#programming #commonLisp #emacs #repl versus #orgmode for the #fizzbuzz challenge on #medium.
Using #series #lazyEvaluation
medium.com/@screwlisp/fizzbuzz
I think it ended up pretty interesting, and what you would expect. The repl is a better interactive experience, but the noweb tangle optimizes in ways the separate repl lines can't, and is already in a disk-persisted file.

Looking forward to feedback and commentary ( @ksaj ;p)

🚀 Everything you need to know about lazy evaluation in Nix! 🌟

Whether you’re dealing with recursive functions or other Nix language constructs, understanding laziness in Nix is key to mastering the language.

Curious about others’ experiences? 🤔 What did you find strange about Nix when you first started? Share your thoughts and let’s discuss! Check out the full article here:

nixcademy.com/posts/what-you-n

NixcademyWhat You Need to Know About Lazy Evaluation in NixIf you have no prior experience with functional programming, don't miss this article which explains the most important intricacies of lazy evaluation!
#Nix#NixOS#Programming