Email or username:

Password:

Forgot your password?
588 posts total
Andrew Tropin

The root of understanding complex thing is knowing what you don't need to understand.

Andrew Tropin

More monads in guix.

A nice evening reading on guix scheme api and functional programming tricks for managing side effects.

guix.gnu.org/en/blog/2023/diss

#monads #guix #guile #scheme

Andrew Tropin

After a few years of rde development and contributions to Guix, I finally started to learn Scheme πŸ˜„

#rde #guix #scheme #guile

Andrew Tropin

Skeemed throught Scheme Primer.

Good introductionary material by @cwebber: easy to read, practical, no bs, covers all necessary fundamentals, shows how to implement Scheme evaluator in Scheme.

spritely.institute/static/pape

#scheme #guile #lisp

Andrew Tropin

I don't know how people stay sane programming in c++ under Unix.

Bryan Redeagle

@abcdw I don't think anyone working in technology is sane. Regardless of what they do.

nurettin

@abcdw Maybe it has to do with hefty paychecks.

Andrew Tropin

I finished road to FOSS Business 30 days stream series and made a summary on the results youtu.be/HMv5D00zudI.

Thank you very much for all the support!

There is a lot of work to be done, but I still have some time and I'm optimistic about achieving the goal of building an ethical and sustainable business. Will see how it goes.

David Wilson

@abcdw Congrats on reaching the 30 days! I bet it wasn't easy streaming every day consistently

πŸ’πŸŒ³ Hartmut Goebel

Appreciating your work, anyhow you may want to rethink whether using YouTube meets "ethical and sustainable".
@abcdw

Edit: heavy typos

Andrew Tropin

I saw @civodul's and @ArneBab's discussion of possible #lang directive support in future version of Guile in #guile IRC.

Sounds very exciting!

#scheme

Ramin Honary

@abcdw @civodul @ArneBab
That would be pretty cool! "#lang wisp" at the top of the file. I don't know if I would ever use it though, I love me some parens, and the structured editing that comes with it.

Andrew Tropin

I'm so much tired, so I'm going to workout.

Andrew Tropin

If you want to cleanup guile's repl state for some particular module, you can do (module-clear! (resolve-module '(your module here)))

#guile #scheme #til

Andrew Tropin

When I read half of the Haskell book and already thought it was easy, I went to the local hackerspace to haskell seminar and was met by Applicative-Functor-Monad-Type-Inference all that thing.

#haskell #monads

Ramin Honary

@abcdw The #Haskell syntax is easy, that is for sure.

Functors, Applicatives, and #Monads are best learned by example, in my opinion. When I first learned about them, they were so simple that I thought I was missing something. Knowing their definition (which is very simple) doesn't help one understand how it relates to modeling computational procedures until one actually sees examples of how these concepts are used for that purpose.

Andrew Tropin

Haskell is Useless. Very nice, cozy and warm talk. Quite old, but still relevant and even a little prophetic. About FP, STM, and trends in computing and programming languages in general.

youtu.be/iSmkqocn0oQ

Andrew Tropin

I guess during last a few weeks my Lisp preference list changed from:

Clojure, Scheme, Common Lisp, Emacs Lisp.

to

Scheme, Clojure, Common Lisp, Emacs Lisp.

I still find Clojure much more pleasant and elegant out of the box, but Scheme seems more and more future-proof to me.

#clojure #guile #scheme #lisp #emacs #commonlisp

Show previous comments
Andres Moreno

@abcdw

I really like Clojure's data structure literals and some of the nice thoughts behind them, e.g., using map keywords as functions. Or relational algebra in sets. These little things make Clojure programming really nice.

OTOH, I find the hosted language baggage a bit off-putting: every now and then I have to think about the JVM (e.g., heap size) and there is a bid of impedance mismatch when using OO Java libraries.

Scheme--just beautiful but maybe not as productive?

Dionysius

@abcdw Do you write some another software in Guile, except Guix scenarios?

blake shaw πŸ‡΅πŸ‡Έ

@abcdw when you look at projects like Chez, Guix, Racket and plenty of others where a comparatively small group of people have continuously improved and innovated a codebase/ecosystem for several decades, the future proof nature of scheme becomes clear.

GHC contributor Alexis King's talk at SIGPLAN shows all the tooling that practically falls out of the bottom of Racket which Haskell is lacking, but she attributes this to Racket, as if it weren't officially a scheme just a decade ago

youtu.be/H0ATppFmt2o

@abcdw when you look at projects like Chez, Guix, Racket and plenty of others where a comparatively small group of people have continuously improved and innovated a codebase/ecosystem for several decades, the future proof nature of scheme becomes clear.

GHC contributor Alexis King's talk at SIGPLAN shows all the tooling that practically falls out of the bottom of Racket which Haskell is lacking, but she attributes this to Racket, as if it weren't officially a scheme just a decade ago

Andres Moreno

@abcdw

I take it geiser works well on Guix. I saw a post a while back that claimed otherwise--didn't seem credible.

Andrew Tropin

Keep improving tooling for tests for guile scheme in Emacs, join me live: trop.in/stream

#guile #scheme #emacs #rde

prozacchiwawa

@abcdw been watching progress on guile in emacs for a while. good luck!

Andrew Tropin

All the bits of Tree-sitter now landed on Guix master! You can try it out with emacs-next:

guix shell emacs-next tree-sitter-html -- emacs

Open html file, M-x html-ts-mode RET M-x treesit-explore-mode RET.

25 grammars are packaged already, but emacs have smaller number of -ts- modes available ATM.

Thank you everyone for the work!

issues.guix.gnu.org/49946

#guix #emacs #treesitter

[DATA EXPUNGED]
Nicolas Martyanoff

@abcdw The more I read about Guix, the more I want to give a try. But the lack of FreeBSD support is a showstopper; I'm reluctant to invest in a package solution that I cannot use in production.

Are there fundamental aspects of Guix which makes it impossible to run on FreeBSD?

[DATA EXPUNGED]
Andrew Tropin

Nice! I didn't have electricity at home and had to stream in public place, so my mic catched some background music (barely noticable) and I got a bunch of copyright claims and video about the work on testing framework for Guile Scheme now blocked in a number of countries. I don't know how to react to it :)

The recording on PeerTube:
diode.zone/w/j1DghTkomdn9fEg5q

#youtube #peertube

oatmeal 🐧

@abcdw dystopian… background music. Somehow I’m sure it’ll only get worse in the future

Andrew Tropin

Oops, I accidentially triggered rebuild of almost 3000 packages, which is quite wasteful and not very eco friendly:

ci.guix.gnu.org/eval/182993

There is an explanation of why it happened and some thoughts on how to avoid it in the future:

yhetil.org/guix-devel/87cz6g5t

At the same time we are one step closer to supporting tree-sitter in Guix' Emacs.

#guix #ci #emacs

Apizo Hafeez

The feeling is not too distant from accidentally tlmgr update --all for Tex Live. πŸ˜‚

Andrew Tropin

I really glad that conses (aka ardon) joined rde. He does a lot of valuable work of a high quality!

#guix #rde

Go Up