#example

@quaewpos yes and no. When I tag my post with #example, it's going to get shared by @example. Usually, the UI of Fediverse software will show my post in context with yours. But tags.pub won't share your post directly. I hope that's clear!

@quaewpos yes and no. When I tag my post with #example, it's going to get shared by @example. Usually, the UI of Fediverse software will show my post in context with yours. But tags.pub won't share your post directly. I hope that's clear!

#programming #engineering #types #strongTyping #commonLisp #example https://screwlisp.small-web.org/programming/common-lisp-strong-typing-example/ 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.

#programming #engineering #types #strongTyping #commonLisp #example https://screwlisp.small-web.org/programming/common-lisp-strong-typing-example/ 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.

If you read a #Fedify #tutorial, what #ActivityPub software would you like to see as an #example in the tutorial?

#fedidev