DiazCarrete

DiazCarrete, 3 months ago to haskell

records-of-functions for the win
🔗 https://www.iankduncan.com/articles/2024-01-26-records-of-effects
🐦 🔗 https://twitter.com/mattoflambda/status/1750918058103751083

#Haskell

DiazCarrete, 3 months ago (edited 3 months ago) to random

Researching some doubts I had about #sqlite serialized theading mode and prepared statements.

It seems that sharing a prepared statement between threads is bad news, even in serialized mode.
🔗 https://www.sqlite.org/threadsafe.html
🔗 https://sqlite.org/forum/forumpost/9d87fe7c8e
🔗 https://sqlite-users.sqlite.narkive.com/6l92EAHJ/serialized-prepared-statement-clarification

DiazCarrete, 3 months ago to haskell

> writes dynamically typed #Haskell code example
> only compiles it, doesn't even run it once 🤷
🔗 https://discourse.haskell.org/t/implementing-type-safe-heterogeneous-collections/8605/5
🔗 https://github.com/danidiaz/toyframes/blob/main/README.md

DiazCarrete, 3 months ago (edited 3 months ago) to haskell

Still getting the hang of #Haskell pattern synonyms.

🔗 https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pattern_synonyms.html
🔗 https://gitlab.haskell.org/ghc/ghc/-/wikis/pattern-synonyms#explicitly-bidirectional-pattern-synonyms
the paper 🔗 https://repository.brynmawr.edu/compsci_pubs/68/

It seems that, if you want to check for some value-level condition when matching, you need to bring in ViewPatterns. This is mentioned in the wiki but not (explicitly) in the GHC user guide.

DiazCarrete, 4 months ago to haskell

"I recently merged linear let- and where-bindings in GHC. Which means that we’ll have these in GHC 9.10"
🔗 https://www.tweag.io/blog/2024-01-18-linear-desugaring/

#haskell

DiazCarrete, 4 months ago (edited 4 months ago) to random

A Haskell [C]hecklist
🔗 https://discourse.haskell.org/t/a-haskell-c-hecklist/8569
🔗 https://github.com/tonyday567/checklist
🔗https://github.com/phadej/cabal-extras/blob/master/cabal-docspec/MANUAL.md
🔗 https://github.com/haskell-CI/haskell-ci

DiazCarrete, 4 months ago to programming

"Open inversion of control demands exception transparency"—Kevlin Henney 🔗 https://medium.com/97-things/uncheck-your-exceptions-ec37a722f5ad

"exception values are shared secrets [...] the perennial suggestion to put exception-raising information into types makes no sense to me"—Robert Harper 🔗 https://existentialtype.wordpress.com/2012/12/03/exceptions-are-shared-secrets/

#programming

DiazCarrete, 4 months ago to programming

flow

#programming

DiazCarrete, 4 months ago (edited 4 months ago) to haskell

Han Solo 🕺📽️ 🔗 https://www.youtube.com/watch?v=lg_FoEy8T_A
Hask Solo 🔗 https://hackage.haskell.org/package/base-4.19.0.0/docs/Data-Tuple.html#t:Solo
like Solo, but unboxed 🔗 https://stackoverflow.com/questions/63441862/in-what-sense-is-a-the-one-element-unboxed-tuple-different-from-a

#haskell

DiazCarrete, 4 months ago to haskell

In lucid2, repeated "class" attributes are combined with a space inbeetwen. Repeated "style" attributes are combined with a ";" inbetween.
https://hackage.haskell.org/package/lucid2-0.0.20230706/docs/src/Lucid.Base.html#local-6989586621679058240

#Haskell #html

DiazCarrete, 4 months ago to random

How I refactor knowing object keys in my serialized JSON are not directly derived from record field names.

DiazCarrete, 4 months ago to random

When representing "subtype" relationships in #SQL, "The primary keys of subtype tables are also foreign keys, referencing the primary key of [the main table]"

📖 🔗 https://www.oreilly.com/library/view/the-art-of/0596008945/ch01.html https://www.goodreads.com/book/show/1032724.The_Art_of_SQL

DiazCarrete, 4 months ago to vim

#Vim 9.1 released, including support for classes in Vimscript! Now I can finally adopt it as my my primary programming language. (Just kidding, of course... It already was.)
🔗 https://www.vim.org/vim-9.1-released.php
🔗 https://vimhelp.org/vim9class.txt.html#vim9-class

pmidden, 4 months ago to haskell

Not sure why trailing commas aren't more common in programming languages and formats. Does it make the parser simpler? Can't imagine. (current example: #haskell)

DiazCarrete, 4 months ago to CSS

I've found tricky to set a vertical scrollbar on a component, when we don't want to set an explicit height in the component itself, and instead want it to consume leftover vertical space from an ancestor that has "height: 100vh;"

I've managed to achieve it by spraying "display: flex" and "flex-grow: 1" across the ancestor chain, but I wonder if there's a better way. 🤔

JSFiddle 🔗 https://jsfiddle.net/cm6rL1ny/
GitHub 🔗 https://github.com/danidiaz/html-experiments/blob/1434d95f1c1b4c9ab2124b52b8d06557b1f01bf3/vertical-scrollbar/index.html#L5

#CSS

DiazCarrete, 4 months ago to random

CSS has made me afraid of heights 😔📏

DiazCarrete, 4 months ago (edited 4 months ago) to haskell

Approaching multi-tenancy in #Haskell
https://www.reddit.com/r/haskell/comments/18s3901/approaching_multi_tenancy_in_haskell/
https://aws.amazon.com/blogs/database/multi-tenant-data-isolation-with-postgresql-row-level-security/

DiazCarrete, 4 months ago (edited 4 months ago) to CSS

"a language for describing the rendering of structured documents [...] on screen, on paper, etc"

"renders it onto a canvas such as your screen, a piece of paper, or an audio stream."

"Each box in the box tree represents its corresponding element [...] in space and/or time on the canvas"

"the aural box tree"

🔗 https://www.w3.org/TR/css-display-3/
🔗 https://www.w3.org/TR/CSS/#terms
🔗https://stackoverflow.com/questions/16936297/when-does-a-box-establish-an-inline-formatting-context
🔗 https://developer.mozilla.org/en-US/docs/Web/CSS/Inline_formatting_context
🔗 https://developer.mozilla.org/en-US/docs/Glossary/Inline-level_content

#css

DiazCarrete, 5 months ago to CSS

A loop in an element's css height property calculation, with unexpected results.

📽️ 🔗 https://youtu.be/6aHKdahOfCc?t=198

#css #html