Ancestors

Toot

Written by Dmitrii Kovanikov on 2025-01-06 at 09:00

Hi everyone 👋

For the last month, I've been working on a hobby project, shaping years of my ideas into implementing minimalistic config language -- ccl: Categorical Configuration Language.

You can read the motivation and a tutorial in my latest article:

https://chshersh.com/blog/2025-01-06-the-most-elegant-configuration-language.html

=> View attached media

=> More informations about this toot | More toots from chshersh@functional.cafe

Descendants

Written by Jons Mostovojs on 2025-01-06 at 09:06

@chshersh let's gooo

=> More informations about this toot | More toots from jonn@social.doma.dev

Written by Jons Mostovojs on 2025-01-06 at 09:07

@chshersh oh no, link returns 404 for me at the moment!

=> More informations about this toot | More toots from jonn@social.doma.dev

Written by Dmitrii Kovanikov on 2025-01-06 at 22:02

@jonn Maybe you were to fast 😅

I did make a typo in the original post. Try again!

=> More informations about this toot | More toots from chshersh@functional.cafe

Written by HoldMyType on 2025-01-06 at 09:57

@chshersh +1 for ADT

=> More informations about this toot | More toots from xameer@mathstodon.xyz

Written by Dmitrii Kovanikov on 2025-01-06 at 22:02

@xameer Thanks! it was quite easy to support ADTs tho 😅

=> More informations about this toot | More toots from chshersh@functional.cafe

Written by HoldMyType on 2025-01-07 at 08:07

@chshersh I also read the tool-sync Readme , which mentions Home-manager as an alternative for the same job

It can also be done with flakes , although Thats not hermetic build , but OTOH , the build is reusable and easier to manage versions

But a cool tool

=> More informations about this toot | More toots from xameer@mathstodon.xyz

Written by Dmitrii Kovanikov on 2025-01-07 at 11:55

@xameer Home-manager is indeed a great tool.

I got disappointed with tool-sync at some point when I realised that downloading statically linked binaries is not enough for me, and you need a proper package manager.

=> More informations about this toot | More toots from chshersh@functional.cafe

Written by babis on 2025-01-12 at 12:10

@chshersh You had me at "implement a FULL FP LANGUAGE WITH DEPENDENT TYPES just to create nested lists"

This is a great article. I have given this problems a lot of thought throughout the years, and the clarity of you exposition helped me sort out some things in my mind.

I will try to come back with a more detailed response soon.

=> More informations about this toot | More toots from _hermes@mastodon.social

Written by Dmitrii Kovanikov on 2025-01-13 at 19:59

@_hermes Some innocent humour in the article 😅

Thanks for your kind feedback!

I was thinking about it a lot and I'm kinda surprised there could be a simple idea behind something so complex.

=> More informations about this toot | More toots from chshersh@functional.cafe

Written by felix waller on 2025-01-12 at 18:46

@chshersh this looks brilliant. Got a lot of concepts to learn before I fully understand what's going on but the language is beautiful enough that I'll probably find myself toying with it a lot in the coming months

=> More informations about this toot | More toots from f11xter@cupoftea.social

Written by Dmitrii Kovanikov on 2025-01-13 at 20:00

@f11xter Hope, you'll enjoy toying with it!

And thanks for your feedback!

=> More informations about this toot | More toots from chshersh@functional.cafe

Written by Michael Labbé on 2025-01-23 at 17:02

@chshersh One thing I would like to see any new configuration system do is standardize how we reach ground truth configuration, which is the result of multiple config files, env vars, arguments, hardcoded defaults, etc currently in unpredictable ways in most programs. I wrote about this here. https://www.frogtoss.com/labs/design-for-rigorous-configuration.html

=> More informations about this toot | More toots from michaellabbe@mastodon.gamedev.place