Ви розробник або архітектор програмного забезпечення, власник продукту чи маркетолог з України? Шукаєте роботу чи безоплатне робоче місце в Німеччині?
INNOQ пропонує можливість працювати дистанційно, а також безоплатний робочий простір у Німеччині.
innoq.com/en/jobs/people-fro…
progress in type systems marches inexorably forward, ruling out broader and broader classes of programs as bad. one day, type systems research will achieve the ultimate goal: to conclusively establish that all programs are bad
I've been having plenty of fun learning K through solving #AdventOfCode problems. K is a variant of APL you don't need a dedicated keyboard for. It's also concise; so far each solution fits into a single toot. Let's see for how long can I keep this up. mastodon.social/web/@jstepie…
If anybody is interested in Clojure web apps and progressive enhancement, consider joining the INNOQ tech lunch that I am doing with @janstepien next week!
We are going to be looking at the architecture of our application (spacy) and would love to answer any and all questions!
ALT A photo of a page from "Software Design for Flexibility". The focus is on the following paragraph from the preface:
"The code in this book is written in Scheme, a mostly functional language that is a variant of Lisp. Although Scheme is not a popular language, or widely used in an industrial context, it is the right choice for this book."
We can't change the existing code that's already running. So to integrate new code and types we must rely on polymorphism. It can be inheritance, traits, type classes, you name it. Hot code reloading with type safety guarantees.
🧵 4/5
I've been pointed to unisonweb.org as a potential answer to opening question. Is there more? If not, why? What are the problems, limitations, challenges?
Please RT for reach. Cheers!
🧵 5/5