Smartparens and Elsa developer, Emacs enthusiast. Fuco1@github. You can support my work on Patreon
Czech Rep / Bulgaria
Joined May 2010
- Tweets810
- Following14
- Followers203
- Likes90
Spring cleanup at @github , 50 issues down, 215 to go. Some long standing bugs (10+ years) finally fixed! (sorry everyone :blush:)
Matus Goljer retweeted
My Emacs blog is now 10 years old emacsredux.com/blog/2023/04/…
People have been asking how can they use the #Emacs cats package. I've prepared an example of term unification with state monad github.com/Fuco1/emacs-cats/… and added some more sentences to the readme. If you have questions or some cool examples, share here or on GitHub!
It's rather humbling reading papers from the 80s when people actually already figured all this shit... "but mah typescript" lol no.
One of them I'm heavily adapting is dl.acm.org/doi/pdf/10.1145/7… . Good read in general.
Slowly working on #emacs #Elsa unification and generics, now we can detect infinite substitution cycles. Once generics are in we are very close to a 1.0 release, it's *the* killer feature that is missing.
(the monad interface is from github.com/Fuco1/emacs-cats)
The cats are alive! github.com/Fuco1/emacs-cats #emacs #haskell #elisp #monads #whoa
This is the library which is used in fuco1.github.io/2023-03-22-F… and will be used in Elsa soon to implement polymorphism (as soon as I put it on melpa or somewhere where people could grab it)
I'm starting a blog series on functional programming in #Emacs and #Elsa. The first part on functors is live fuco1.github.io/2023-03-22-F…
There is a library being developed that will encapsulate a lot of the stuff from the series, I will publish it shortly as well :)
Before I was "hand rolling" the propagation of all the effects and the code was incredibly messy. With the monadic interface you can see unification or instantiation is mostly just "walking the monad over the type structure". Super simple!
Matus Goljer retweeted
Done with ChatGPT elisp package, v0.1.0!
github.com/emacs-openai/chat…
#Emacs Please someone explain this to me
(defmacro my-foobar (x)
(if (symbolp x) "yes" "no"))
(my-foobar 'my-function) ;; => "no"
How??? I hope this is something dumb because I *really* need it to work :D
While working on #Elsa for #emacs I remembered an old hack I made almost 10 years ago youtube.com/watch?v=mNO-vgq3… Maybe some of you new cats will enjoy this :D (btw there is an updated version called blablabla on my GH but it's not very polished yet...)
After discussion with github.com/alphapapa we figured what to do with macros in Elsa. We now expand all built-in macros (cl, pcase...) as well as dash and some other "safe" libraries. Before, confusion, after... => #emacs #Elsa
Literally I love you guys @yonchovski @jenchieh94 github.com/emacs-lsp/lsp-mss… this is bomb Finally I can rm -rf my own wrapper around ... sqlcmd :D