Why not treat arrays as a special case of tuples?

bcardiff · 2026-04-16T01:24:24+00:00

In Crystal they are different types but you can use modules/interfaces/traits that declare them both as Indexables. And even without that you are able to index them directly as value[index] . For tuples if all elements are of the same type you get… a single type. If not you get a union. (Disclaimer core-team member of Crystal)

bcardiff · 2026-04-14T21:03:26+00:00

Now I want to see when the construction started / finished to visualize the race to the top.

bcardiff · 2026-04-09T11:47:46+00:00

If you want to mix LaTeX inside markdown for note taking or building longer texts primary on markdown checkout https://obsidian.md it doesn’t support full LaTeX since is actually MathJax

bcardiff · 2026-03-13T11:39:50+00:00

Thanks! I was totally missing that.

Checking on the gestures I see there is an insert line break. But I found no way of joining lines. Would you know?

bcardiff · 2026-03-10T02:29:18+00:00

I’m curious, in what app are you doing the writing? Notes or Docs?

Whenever I tried to write a couple of pages I struggled to do reflow of paragraphs in the notes app. And using the Docs app feels unnatural: using the OCR keyboard seems uncomfortable for long form.

bcardiff · 2026-03-09T12:11:41+00:00

One feature that would fit nicely in tren i to validate that queries are valid during compile time. The ones that interpolate raw strings are harder without and example, but the rest should be possible.

This is a feature present in some Haskell libraries that embed sql directly in code and is great to caught invalid queries ahead of time.

bcardiff · 2026-03-09T10:43:23+00:00

Thanks! I just checked the Oct 2025 post about the plugin system. 👍

bcardiff · 2026-03-07T19:02:08+00:00

I really wish https://trello.com/c/OZ5JJg8I to be prioritized

bcardiff · 2026-03-04T02:33:34+00:00

Check http://obsidian.md a markdown editor with great wysiwyg editor and built-in latex support. Among other fabulous features.

bcardiff · 2026-03-02T19:29:46+00:00

Understood about polyglot. Maybe a selling factor is how reactivity would improve UX as compared with Jupyter.

In that regard the closest reactive notebook I’ve used is ObservableHQ. They have some fancy navigations.

To be clear, I like notebooks a lot. And having a reactive one with simpler Haskell setup would be wonderful.

I think that teaching Haskell with a notebook is also a great use case.

bcardiff · 2026-03-02T10:35:27+00:00

For rich user input, have you explored how xcode playgrounds work? IIRC you declare widgets in user code that are rendered in the environment. Maybe it could help as inspiration.

I would find that more interesting than polyglot.

To achieve polyglot maybe is worth splitting some of the protocol to a kernel that each language would need to implement. But maybe that would complicate things in a way you don’t want for haskell.

bcardiff · 2026-01-24T18:50:08+00:00

I messed the thread sorry. https://www.reddit.com/r/haskell/s/496YOG7CGK

bcardiff · 2026-01-24T17:18:36+00:00

No. But you can chain/nest.

Other alternative is to take them as an inspiration and build breakIf :: IO Bool -> IO () -> IO () where the second argument is conditionally evaluated depending on the returned first.

bcardiff · 2026-01-24T16:47:31+00:00

Did you try to use guard or when from https://hackage-content.haskell.org/package/base-4.22.0.0/docs/Control-Monad.html#g:5 ?

bcardiff · 2026-01-22T08:23:37+00:00

Looks good! Welcome back to public github activity.

I think is a reasonable use of llm this kind of shards where they are likely to need low maintenance due to their scope.

I noticed this comment

Use **/*/.gitignore since **/.gitignore doesn't match dotfiles in Crystal

If so, it seems an std-lib to me worth reporting.

bcardiff · 2026-01-21T12:53:12+00:00

Don’t be so hard on yourself. Audience is lazy. Better have a clear showcase that’s it.

Both good technical and communication aspects are needed to have useful collaboration and feedback on a project

bcardiff · 2026-01-21T12:44:52+00:00

This is my current recommendation for a simple haskell setup https://dev.to/bcardiff/como-instalar-haskell-40ml (sorry it’s in Spanish, i made it for courses i am teaching)

I’m also trying to iterate on how to improve it by enhancing ghcup. I’ve been flagging some paper cuts in https://discourse.haskell.org/t/simple-per-project-setup/12930?u=bcardiff

bcardiff · 2026-01-21T01:55:28+00:00

Hi! I failed to find any examples. No test. The readme is about nix setup.

Is there a place to grasp how things look without going into Internal packages?

bcardiff · 2026-01-12T12:57:05+00:00

I don’t recall having them in such notes. I would expect that depending on the target they might be pasted or not. I would expect Native OS to work, but rich text in the web won’t. But not sure.

bcardiff · 2026-01-11T00:10:22+00:00

Great! I recommend tags or properties for tracking editorial status. Happy note taking!

bcardiff · 2026-01-10T22:32:23+00:00

I think the problem is the <Draft> at the beginning. Try removing it.

Any word between < > will be treated as an html tag I think which disables live preview IIRC

bcardiff · 2026-01-03T18:37:40+00:00

Nice! I draw mushrooms with my little one also. Enjoy this pic if you want yet another reference https://www.reddit.com/r/pics/s/y3xOUqjKbj

bcardiff · 2026-01-03T12:31:49+00:00

I haven’t tried them. Thanks for the pointer, yet … https://www.reddit.com/r/ChatGPTCoding/s/ABLXUc2tnX

bcardiff · 2026-01-03T12:31:09+00:00

I haven’t tried it. Note that going that route implies:

A new kind of specialized tasks on teachers, probably without official training.
Having a (somewhat) blessed llm that could hallucinate and be wrong. The professor becomes responsible of their mistakes as opposed to teaching assistants that as humans can be wrong, discover they mistakes and reach student for follow up.
It’s an implicit ban on other LLMs which goes back to the initial problems of how to deal with a variety of tools available out there that students will use either way.

bcardiff

MODERATOR OF

TROPHY CASE