Hacker Newsnew | past | comments | ask | show | jobs | submit | NeutralForest's commentslogin

It's such an amazing project, I wish it used something other than Guile but you can't have everything.


Guile has lots of libraries though, and is the language of Guix. This makes it more likely for people to package their stuff via Guix. Guix itself enriches the ecosystem, and Guile projects can use Guix to make them reproducible.

A few problems remain though. A good debugger, a good macro expander (geiser in Emacs is able to expand somehow), and solving the issues with R6RS library syntax and standard library bindings, are what comes to mind.

Racket's multi-core abilities for a long time were mostly heavy weight (places, starting whole new Racket VMs), except for their implementation of futures, but that one was not always useful. I think recently the situation in Racket has improved, but I don't know, whether it is as good as Guile fibers and futures (which are different from futures in Racket).


> Guix itself enriches the ecosystem

Except that ecosystem Guix provides is not on Windows nor MacOS, making a serious limitation to anyone who wants to develop guile on those platforms.

I support GNU's mission in general, but I find it ironic that when they push freedom of choice you're forced to make the "right" choice or you're left twisting in the wind.


Better focus on developer platforms, than stretch resources too thin. Even if they managed to pull it off, they would need to maintain it. It is quite the different compile target too. Even if Windows was supported, probably many package definitions would have to change to support installing them on Windows. Ultimately, who is to say how Windows updates/MS will break everything? I really don't think they have the resources at this point to pull that one off. How about MS themselves spends time and effort to make things work on their proprietary platform instead, if they want to deliver a very usable platform?


If Guile had more of the "batteries" from the Gauche standard library it might be the perfect all-purpose Scheme. But for just writing a simple application quickly and easily it's been impossible to beat Gauche for me, it's on par with Python and Ruby in that regard IMO.


What kind of application do you write in Gauche?

I am asking, because I might want to get more familiar with it, if it is great for something like GUI or web app. I know there is Guile Golf, but to me it feels unfinished, and I experienced segfaults and crashes, when not doing things exactly as shown in examples and using standard GTK procedures, so that one is kind of out for me, and guile-gi is still changing and seemed kinda complicated to use. On the web front, there is Artanis, but it is too opinionated for me, not a minimalistic framework. Still can build things on top of guile fibers concurrent web server, but then have to build lots of things myself.

Recently, I used Python and tkinter, which works really well, and I would love to have good bindings for tk in Guile.

On my search for Scheme and GUI, I also found stklos, but I have no idea how ready it is and what kind of libraries I would have available, if I built an application with it.

Racket of course also has a GUI framework, that I have tried to use in the past, but it does not have a treeview widget. Has listbox though, with multiple columns.

What does Gauche have to offer, specifically for application development? (GUI, or web, or other)



I should clarify that the "applications" I write are usually command line tools. I don't think I've ever written a full working GUI application, although now with AI I bet it would be fast and easy to bang something together.

Aside from the debugging & testing I already mentioned, going only through guix is a tough sell considering the very tiny amount of people that use it. It's also incredibly slow and doesn't have many packages available. Even for Emacs, it has this weird way of going around Emacs-installed packages (GNU or MELPA channels). Just like Guile docs, it also doesn't tell you of a good way to do things, it only says "here is what exists" with too little guidance imo. It means people have to figure out how to setup things properly on top of all the rest. It makes for a terrible onboarding.


Guile' backtraces are useless to the point it baffles me how the community can work on anything else, or how it's not the first item on any such lists as above.


Other than Guile as in different Scheme implementations? It's usually not too difficult to port things between Schemes. Especially if you use standard R6RS or R7RS library syntax.


Guiles debugging has been a nightmare in the 3.x series. Which is rather surprising since it was probably the easiest scheme to debug in the 1.x days.

It got so bad I moved to racket as my daily driver.


Can you say more? Guile's the only scheme I've tried (attempts at packaging for Guix). Debugging has been difficult, but I figured it was me struggling with new tools and API. Does racket have better facilities for introspection or discovery at the REPL?


Yes, since years, all the way when it was still known as Dr. Scheme.

It has a graphical experience similar to the survivors from Lisp is Great days, like LispWorks and Allegro Common Lisp, or Clojure with Cursive.


Even better than PLT Scheme with Dr. Scheme, now Raket has ever been?

I have my doubts, given its age.


Which LLM works best for Racket?


I found gemini 3 pro to be pretty good.

Overall understanding of the code, code generation capabilities and ability to explain are all pretty good.


A different scheme that has great debugging and testing and also better docs.


They also have a scheme to webassembly transpiler called Hoot. They do crazy interesting work!


Yeah those interested in Wasm topics might find https://spritely.institute/hoot/ interesting. It's not only a Scheme compiler but a full Wasm toolchain available as a library.


I'm working with Python and I'm sympathetic to the problem so I'd be curious if you have examples of what Python issues are fixed with OCaml.


A few ways in which Python is not really functional:

The scoping rules of Python are not lexical

Lambdas in Python are not multiline

Recursion is not a practical way to write code due to stack overflows

Monkey patching


I don't think it's been integrated in any mainstream language though.


https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/line...

Experimental and of course one can debate whether Haskell is mainstream but I figured it merits a mention.


I think by default Rust uses affine types, but that's about the extent of it.


I know some research languages are playing around with linear types, I wonder if we'll see it show up in some language or another.


It was fun but indeed, I spent a lot of time waiting in line for talks and in some rooms I couldn't even enter at all.


For talks which will obviously be popular, go to the talk before it even if it's not as interesting. It's not common to have two super-popular talks in a row in the same room.


Yeah ofc but I also like to walk around, I might just camp in a room next year.


This year they said they avoided making single–project rooms. These are the ones people camped in the most, I think.


Is that right? There were devrooms for GCC, Go, LLVM, Nix, Plan 9, Python and many more.


F.ex. they didn't do postgresql and other DBs separately but instead just had a databases room.


Just repeating what they said from the closing ceremony.


That is how it's supposed to be. You can watch the talks at home at any time but the opportunity to meet random yet like-minded people from all over Europe is unique.


On my side, I had the feeling that there was less room/talk full to the point you can't enter compared to previous years.

Except in the H building.


Agree, felt a little less packed than before. H building was brutal though.


Not the same experience of course, but I think you can watch the presentations you've missed https://fosdem.org/2026/schedule/streaming/


Indeed! It's the 3-4x times I'm going to FOSDEM so I'm mainly looking to connect with people doing cool stuff tbh, otherwise I can just watch stuff online for sure.


fossil is really cool for the simple fact that you get your issues, tickets and wiki all stored in an SQLite DB. Feels neat and I wish I had more occasions to use it.


What do yoh mean by PR? Fossil does not do PRs/MRs/CRs or any code review flow.


Yes indeed, I updated to the right terminology.



I've watched a couple of her stuff, it's really inspiring and feels very cosy, like a slice of Internet that lives on its own and creates without being too bothered about the Algorithm™.


I think we already have the tools but no the communication between those? Instead of having actions taken and failures as commit messages, you should have wide-events like logs with all the context, failures, tools used, steps taken... Those logs could be used as checkpoints to go back as well and you could refer back to the specific action ID you walked back to when encountering an error.

In turn, this could all be plain-text and be made accessible, through version control in a repo or in a central logging platform.


I'm currently experimenting with trying to do this through documentation and project planning. Two core practices I use are a docs/roadmap/ directory with an ordered list of milestone documents and a /docs/retros/ directory with dated retrospectives for each session. I'm considering adding architectural decision records as a dedicated space for documenting how things evolve. The quote fta could be handled by the ADR records if they included notes on alternatives that were tried and why they didn't work as part of the justification for the decision that was made.

The trouble with this quickly becomes finding the right ones to include in the current working session. For milestones and retros it's simple: include the current milestone and the last X retros that are relevant but even then you may sometimes want specific information from older retros. With ADR documents you'd have to find the relevant ones somehow and the same goes for any other additional documentation that gets added.

There is clearly a need for some standardization and learning which techniques work best as well as potential for building a system that makes it easy for both you and the LLM to find the correct information for the current task.


Well, this was horrifying, I can't believe people do this to their kids.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: