Haven’t seen Grace mentioned here:
github.com
A prompt engineering functional programming language
Beyond agentic coding with Grace (w/ Gabriella Gonzalez)
My favorite YouTube Haskeller Impure Pics had a great video about it. VERY interesting. I like the idea of guardrails on LLM’s and Grace achieves that quite…
looks nice only two things:
base ==4.20.* and all deps in this format for exact ghc version and all other libs versions pretty much limiting usability anywherefunny you should mention it, this library is mainly being used for my own language which compiles to the JVM… the original motivation for which was “I wish I could write minecraft plugins in a more functional language”
The intention is that you can still manually write the desugared instructions if you need to (I can’t think of many situations where you’d need/want to right now though), so there will always be that escape hatch available. Though that’s a very all-or-nothing approach. I think you’re right though, and it probably should be the only option. Thanks again for the feedback.
Is there a minecraft mod example using this?
I wouldn’t mind that, but I am the one who suggested it. If anyone has a compelling reason, you could offer the less-safe API as an escape hatch. But some form of recursive do notation has been around for a long time. mdo was added in GHC 6.0 (May 2003), deprecated in 6.12.1 (December 2009) when rec was added, and then resurrected in 7.6.1 (September 2012). So I think it’s safe to say…
hasufell:
This looks like an error in the GHC release process.
@wz1000 bumped this in the GHC submodules.
Thanks for the pointer @hasufell.
It does seem that GHC’s GitLab mirror of parsec has the following two commits:
base to <4.23)base to <4.24)AFAICT neither of these branches…
That’s fair, for appending single instructions it’s probably worse, although I haven’t benchmarked. I think it should be better when you can append chunks of several instructions, so that it works like a builder.
The more important thing imo is to avoid the possibility of a “sign error” by putting <> in a natural order, and reverse-list also helps with that.
Does it mean that it tries to use multiple home units by default?
Yes, that’s correct!
The executable this creates is called tricorder-exe. Perhaps it should be simply tricorder?
Whoops! I just released version 1.0.0.1 that is actually called tricorder. Thanks for catching it!
Have you tried running it for an existing project? I’m at ZuriHac and found a case where a module using a…
Bumping this thread for ZuriHac 2026.
I am planning to start up work on Sibyl again (I got super bogged down with university work) after ZuriHac ends and are currently wondering if it would be possible to get an idea of how people feel about time series work in Haskell. If you’re a data scientist or statistician – please, please comment as to how a library like this would save you time.
Sibyl,…
I’ve been building a web language with Haskell-like syntax and a PHP-like execution model server/client separation in the same file. It’s not complete but it’s functional. Built it mostly for fun rather than to solve any specific problem. Leaving it here in case anyone finds it interesting.
github.com
Contribute to Atom1c-B1rd/HSKL-Language development by…
The idea of having a separate daemon that the LLM can query is very neat!
In the demo, you explicitly use the /tricorder command to invoke tricorder. I guess you can also say something like “Use tricorder for getting compilation errors” in the session to activate the skill?
cgeorgii:
cabal install tricorder
The executable this creates is called tricorder-exe. Perhaps it should be…
README updated to include cabal installation options:
github.com
Contribute to atelier-hub/tricorder development by creating an account on GitHub.
Any feedback is welcome!
Thanks, it would be great if it could be mentioned in readme.
Looks like an awesome tool! +1 on @bmobn00b s comment the readme implies “Nix or go away”
Yes, it’s not clear to me whether OP really wants OsChar, because it’s not a representation of a unicode codepoint anyway.
So osp/osstr is the right thing for that.
What exactly are you trying to achieve @eldritch-cookie ?
`tricorder` is also available on hackage, so you can do:
cabal update
cabal install tricorder
It should work! If it doesn’t let me know. No nix necessary!
I added OsChar conversions to Witch: Add OsChar conversions by tfausak · Pull Request #158 · tfausak/witch · GitHub
Normally you could use liftedFrom to check values at compile time, like $$(liftedInto @OsChar ‘x’). But unfortunately that won’t work because of a missing Lift instance: Allow lifting OsChar · Issue #44 · haskell/os-string · GitHub
Also note that going through…
open github, check the readme, ok nix, close the tab
It seems to be a normal cabal multi-package project. As evidenced by cabal.project.
Looking at the Nix, it uses haskell.nix which itself runs the solver etc. So I wouldn’t be surprised if you could run cabal-install on this project without Nix’s involvement.
I would like to talk about the recently announced tricorder, since it is exactly a “tool for leveraging LLMs”!
Hey everyone,
for those of you who don’t know me, my name is Christian and I’m an engineer at Tweag.
I am very pleased to announce the very first release of tricorder!
tricorder has been my daily driver for Haskell development for months now. It works really well as a standalone replacement for ghcid or ghciwatch with some features that make it very attractive:
I’m surprised/disappointed. This gets rejected:
t42 = Typed (type Int) 42
Unexpected keyword `type’
Suggested fix: … `ExplicitNamespaces’ … (implied by …)
If there’s anything that implies that extension, surely it would be RequiredTypeArguments(?) I particularly remember that stipulation in the discussion.
The flip situation is indeed rather disappointing. For reference, Agda’s type for flip looks like this:
flip : ∀ {A : Set a} {B : Set b} {C : A → B → Set c} →
((x : A) (y : B) → C x y) → ((y : B) (x : A) → C x y)
flip f = λ y x → f x y
And it relies on higher-order unification to instantiate C at use sites. It’s not clear to me what the Haskell solution…
`fromText . Data.Text.singleton` will do it for you, using fromText.
in ghci :
- I played the file (i.e. saved in music.hs) using my piano (BlueTooth MIDI #7),
saved to a midi file called music.midi and
opened the file using MuseScore
Loaded package environment from /Users/me/.ghc/aarch64-darwin-9.6.6/environments/default
GHCi, version 9.6.6:
:? for help
ghci> :l music.hs
[1 of 2] Compiling Main ( music.hs,…
unsafeFromChar :: Char → OsChar
maybe define a short function alias `och` (also funny if you’re german)
Hi all!
_tl;dr: I have 148 packages on stackage to patch for compatibility, and I’d like your help!_
I’ve got another update on the Monad of No Return/Monoid of No Mappend proposal.
Following proposal acceptance just under a year ago, I started implementation this year. Recently the MR is in a good enough state for me to check it against clc-stackage, a tool for building all of stackage…
unsafeFromChar isn’t equivalent to osp + head, if i give it a invalid literal i will get a compile time error, unsafeFromChar will just fail silently as it truncates the bytes. I guess if i give osp the empty string then it also fails at runtime but it atleast will raise an exception
I can certainly add such a quasiquoter if you find it useful.
Feel free to create a PR. The osstr quasiquoter is here for an example: os-string/System/OsString/Internal.hs at 0cc9aded7e582c508fb4246700aaecf7956d9877 · haskell/os-string · GitHub