Post by @mcc@mastodon.social

Idris is "Haskell, but more so". Haskell is "ML, but more so". I have always liked ML. I have never liked Haskell (although when I tried it again for this thread series, I enjoyed it more than I expected). I have always suspected I might like Idris more than Haskell. Maybe the awkward concepts in Haskell aren't *awkward* just *incomplete*. Maybe another language could complete them.

Conveniently, Idris installs itself through the Haskell package manager, which I already installed for week 7!

0 Boosts

0 Likes

mcc

@mcc@mastodon.social last wk.

Inconveniently the Haskell package manager doesn't fricking work.

What… I don't understand what this very long error message is telling me. Do I need to upgrade Cabal? Do I need to downgrade Cabal? Is some existing package I have selected in a version incompatible with Idris? I can literally blow away my entire set of installed Haskell packages, I don't mind. Would that help? :(

EDIT: A six year old Google Groups comment reveals the secret is to pass cabal the flag "--allow-newer". Terrifying

An INCREDIBLY long cabal "Could not resolve dependencies" error message

mcc

@mcc@mastodon.social last wk.

Cont'd
- Passing --allow-newer fails *worse*—well, I turned the safety off
- I read the tutorial closer. It links a github
- The github is archived.
- I back ALL the way out. Instead of searching "idris tutorial" I go to the Idris home page. I then discover
- I have been looking at the Idris 1 tutorial. Idris 1 is discontinued. New thing is Idris 2.
- Idris has a totally different tutorial and is now deployed via Racket instead of Haskell (?!??)
- I have been, apparently, barking up a dead tree.

Failed to build cheapskate-0.1.1.2 (which is required by idris-1.3.4). See the build log above for details.

mcc

@mcc@mastodon.social last wk.

So.

I install Racket. Wow! Racket takes up a lot of space! I guess I'll need this for week 14 anyway.

I install "pack", Idris's dedicated package manager. I guess I don't get to be happy Idris uses an existing package manager anymore. Installation for the Idris package manager is "curl to bash". The bash script clones a git repo. There is weeping and gnashing of teeth. There is no way I will remember to uninstall this thing or remove it from my bashrc files when this project's done. Whatever.

Text over the Idris package manager installing 177/289 packages:

Wow, this is pretty slow. Is this compiling native binaries? If so, does that mean it only needed Racket as a bootloader, not a host, and maybe I should have installed the presumably slimmer "Chez Scheme"? Also if you're already running a bash script why can't you just write a scheme interpreter in Bash. it can't be that hard — Text over the Idris package manager installing 177/289 packages: Wow, this is pretty slow. Is this compiling native binaries? If so, does that mean it only needed Racket as a bootloader, not a host, and maybe I should have installed the presumably slimmer "Chez Scheme"? Also if you're already running a bash script why can't you just write a scheme interpreter in Bash. it can't be that hard

💙🩷💜Ⓑⓡⓔⓣⓣ🐡🍉🐧

@brettm@swarm.coiloptic.org last wk.

According to the github repo, 0.4% of Idris2 is written in Racket. 0.6% in Scheme. A bit convoluted. I wonder if there is any Racket-specific stuff it depends on.

Discussion

Discussion