If you go for #vibecoding always make sure you cage your agent into a lamda-cube made out of solid type system.

https://en.wikipedia.org/wiki/Lambda_cube

#fp #ai #llm #haskell

⚡️ F# gets a power boost with Lattice

🏷️ #devdigest #dotnet #net #fp #fsharp

https://devdigest.today/goto/5304

BeClojure February Meetup

https://mobilizon.fr/events/8d445918-091e-491a-a2fb-77c448755037

The period between the mid 1970s and the mid 1980s was arguably the most exciting time for #FP language design.

The period between the mid 1980s and the mid 1990s was decidedly the most exhilarating time for FP language implementation.

Every new FP or FP-like language that had emerged thereafter is simply rehashing great ideas from those heady days, often shamelessly slapping new labels on old concepts, just to sound fresh and original.

Modern FP #programming languages…. 🤷‍♂️

The advent of new functional verified #HDL toolchains and the recent mushrooming of low cost #FPGA development boards might well encourage #EE, #CE, and #CS students to explore CPU architectures that are not von Neumann but are specifically designed to evaluate (not execute, no no no😀) programmes implemented in #FP languages.

Perhaps that might stimulate the resurgence of purpose built, semantically proximate CPUs akin to Knight’s LISP Machine architecture.

https://www.researchgate.net/publication/261856843_An_architecture_for_mostly_functional_languages

The graph reduction based G Machine evaluator could be a good starting point.

https://digitalcollections.ohsu.edu/nanna/record/3818/files/csetech-135.pdf?withWatermark=0&withMetadata=0&registerDownload=1&version=1