Pipefish
solid
Pipefish | solid | |
---|---|---|
36 | 117 | |
138 | 8,173 | |
- | 0.0% | |
9.2 | 0.0 | |
3 days ago | over 1 year ago | |
Go | HTML | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Pipefish
-
Charm 0.4: a different kind of functional language
Charm is a language where Functional-Core/Imperative-Shell is the language paradigm and not just something you can choose to do in Python or Ruby or PHP or JS or your favorite lightweight dynamic language. Because of the sort of use-cases that this implies, it didn't seem suitable to write another Lisp or another ML, so I got to do some completely blank-slate design. This gives us Charm, a functional language which has no pattern-matching, no currying, no monads, no macros, no homoiconicity, nor a mathematically interesting type system — but which does have purity, referential transparency, immutability, multiple dispatch, a touch of lazy evaluation, REPL-oriented development, hotcoding, microservices … and SQL interop because everyone's going to want that.
-
Charm 0.4: now with ... stability. And reasons why you should care about it.
I think it's fair to call this a language announcement because although I've been posting here about this project for a loooong time, I've finally gotten to what I'm going to call a "working prototype" as defined here. Charm has a complete core language, it has libraries and tooling, it has some new and awesome features of its own. So … welcome to Charm 0.4! Installation instructions are here. It has a language tutorial/manual/wiki, besides lots of other documentation; people who just want to dive straight in could look at the tutorial Writing an Adventure Game in Charm.
-
Programming in Plain Language?
In my own language there is some syntactic flexibility but the only thing that describe pretty table could mean would be the second of the possibilities above; the first would be expressed by describe prettyTable and the third by describe PRETTY, table. This makes it more readable from the point of view of a coder, and who else is going to want to read it, my mom?
-
Embedding other languages in Charm: a draft
I've been trying to think of a way of doing this which is simple and consistent and which can be extended by other people, so if someone wanted to embed e.g. Prolog in Charm they could do it without any help from me.
-
Lazy Let: A Cheap Way and Easy Way to Add Lazyness
Charm does this for declaration of local constants in functions (there are no local variables in functions). So for example if you wanted to write the Collatz function this way (which you wouldn't, it's just a minimal example) then you could do so without worrying about a computational explosion:
-
[OC] Median yearly salaries in the US for all programming languages with more than 200 respondents in the StackOverflow Developer Survey
I guess it's time for me to put aside my exploration of Charm and set up a collaboration with my son the lyricist.
-
Global and local variables, a choice of evils
In fact that's how a lot of Charm programs end up getting written, because you want to pass a whole bundle of stuff to the functions. For example.
-
What the imperative shell of an Functional Core/Imperative Shell language looks like
No, it's "shell" as in "shell of the code". The idea is that the imperative bits of the language, the bits that do the mutation of state and the IO, can can call lovely pure referentially transparent functions. But functions can't call commands (otherwise by definition they wouldn't be pure). So all your imperative-ness is reduced to about 1% of your code which lives right at the top of your call stack --- the "imperative shell" of your code. See [here](https://github.com/tim-hardcastle/Charm/blob/main/examples/adv.ch) for an example. The "imperative shell" is the main function --- all 13 lines of it --- and everything everywhere else is pure and immutable.
-
What are some cool things you've built using your own language?
I'm not sure what counts as cool. It's just dogfooding at the moment. I did a bunch of other languages (only the BASIC and the Forth are up to date with the current version of the language I think), and I did a tiny adventure game (and used it as the basis for a tutorial).
- Langception VIII: Ourobouros — I wrote Forth in Charm again
solid
-
Simple Lasts Longer
This doesn't support the various consumer cloud storage APIs, but you've just reminded me of a project I ran into years ago that seems to still be around: https://remotestorage.io/
There's also Solid which attempts to do something similar: https://solidproject.org/
-
The current state of the Web and what is the next step in its evolution.
It is surprising to me this is not talked about more. I see little to none online news, podcasts, YouTube videos or anything else where this is discussed. I only found out about it because of research I did on Tim Berners-Lee in preparation for a Career Day talk at my kids middle school. Otherwise I would have probably not known about it still today. And even after I found out and started watching YouTube videos on the topic, YouTube won't even suggest any related videos about it even after already watching multiple videos on the subject (Web 3.0, Solid Project, Decentralized Web...etc).. is Big Tech trying to keep the web from evolving into what Sir Tim Berners-Lee is proposing?
-
Write libraries instead of services, where possible
It's only an unreasonable amount of work if you assume that the user is managing a separate storage backend for each library. If you take the Tim Berners-Lee approach (re: https://solidproject.org/) then each user is only managing one storage backend: the one that stores their data. The marginal cost of hooking in one more library low.
We just have to get a little more fed up with all of these services and then the initial cost of setting it up in the first place will be worth it. Any day now...
-
Manas: Storage servers confirming to Solid protocol
Solid is a web native protocol to enable interoperable, read-write, collaborative, and decentralized web, truer to web's original vision.
-
Manas: Solid protocol storage server in Rust for decentralized web
Manas project(https://github.com/manomayam/manas/tree/main) aims to create a modular framework and ecosystem to create correct, robust storage servers adhering to Solid protocol in rust.
[Solid](https://solidproject.org/) is a web native protocol to enable interoperable, read-write, collaborative, and decentralized web, truer to web's original vision.
Solid adds to existing Web standards to realise a space where individuals can maintain their autonomy, control their data and privacy, and choose applications and services to fulfil their needs.
-
My vision of the semantic web...correct me if I'm wrong.
You're describing Solid, not the Semantic Web. Granted, Solid uses Semantic technologies to achieve it. https://solidproject.org/
- Threads : à peine lancé, le concurrent de Twitter crée par Facebook compte 10 millions de membres
-
The problem with federated web apps
Tim Berners-Lee's Solid project is working on that. Put data in "pods" that are stored on pod servers, which are federated. You can self-host.
It could be a federated layer of identity & personal content decoupled from social platforms.
https://solidproject.org/
-
Update of the RDF and SPARQL (RDF star) families of specifications
Check out https://solidproject.org (If you want a short intro I recently gave a ~30min talk about it: https://noeldemartin.com/fosdem)
- Solid, a spec that lets people store their data securely in decentralized Pods
What are some alternatives?
utop - Universal toplevel for OCaml
Mastodon - Your self-hosted, globally interconnected microblogging community
sprig - Useful template functions for Go templates.
logseq - A local-first, non-linear, outliner notebook for organizing and sharing your personal knowledge base. Use it to organize your todo list, to write your journals, or to record your unique life.
butter - A tasty language for building efficient software. WIP
orbitdb - Peer-to-Peer Databases for the Decentralized Web
wyvern - The Wyvern programming language.
Peergos - A p2p, secure file storage, social network and application protocol
subtex - Lightweight latex-like language for authoring books
kanidm - Kanidm: A simple, secure and fast identity management platform
Skript - Skript is a Bukkit plugin which allows server admins to customize their server easily, but without the hassle of programming a plugin or asking/paying someone to program a plugin for them.
Nullboard - Nullboard is a minimalist kanban board, focused on compactness and readability.