I was reading “Why Dependent #Haskell is the Future of Software Development” [¤] (which is, I believe, a very bad title for a pretty good writing imo), and was pretty surprised by the encoding of bounded integers.
data Fin n where
FZ :: Fin (S n)
FS :: Fin n -> Fin (S n)
It makes sense, but I really prefer the ways of #coq (e.g., sigma-types and a regular <) to deal with such constrains.
Anyway, I am looking forward to see more depedent types in Haskell!
#Rust adventure of the day: it is actually possible to have a function which may different types (as long as they implement the same trait) with the `-> &dyn Trait` syntax.
See https://code.soap.coffee/ogmios/celtchar.git/tree/lib/src/project.rs#n13 for an example (`ENGLISH` and `FRENCH` are of two different types)
Oh, so there are no ways for me to tell Cargo a given dependency is used only by a binary (not the lib) in a Cargo.toml file ):
Related issue: https://github.com/rust-lang/cargo/issues/1982
I just installed `git-revise' from PIP. I wonder if there is any good autocomplete scripts for ZSH
@epicmorphism see this thread! (:
#cgit, before/after screenshots
I don’t like syntax highlighting.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!