!hskonBonfjiIefqLUV:matrix.org

Haskell

2858 Members
An advanced, purely functional programming language, haskell.org • log: https://view.matrix.org/room/!hskonBonfjiIefqLUV:matrix.org • spam ? call @mods • more rooms: #haskell-irc:matrix.org, #haskell-space:matrix.org • see also: haskell-links.org, twitter.com/HaskellOrg240 Servers

Load older messages


SenderMessageTime
19 Jun 2024
@sgillespie:matrix.orgSean

Who says they must be followed?

03:10:50
@geekosaur:matrix.orggeekosaurif you want that, you want Idris or Agda03:10:56
@geekosaur:matrix.orggeekosaur
In reply to @sgillespie:matrix.org

Who says they must be followed?

there are a bunch of RULES and library functions that won't do what you expect if you don't
03:11:31
@claire:mesh.hostClairea good monad should play ball03:12:21
@geekosaur:matrix.orggeekosaur that said, there are libraries that define Monad instances solely for do notation, and warn you that you can't safely use anything but do notation with them 03:12:48
@geekosaur:matrix.orggeekosaurat least one HTML generation DSL does this, for example03:14:34
@claire:mesh.hostClaire
In reply to @geekosaur:matrix.org
that said, there are libraries that define Monad instances solely for do notation, and warn you that you can't safely use anything but do notation with them
Does poke at a present failure of haskell's that just wanting a way to spin up a DSL with binding variables but not actually wanting monads is a fair enough reason to write a monad implementation . . I suppose rebindable syntax band-aids over that but I think haskell is definitely lagging behind on eDSL tech at the moment
03:19:51
@geekosaur:matrix.orggeekosaur https://hackage.haskell.org/package/lucid2-0.0.20240424/docs/Lucid.html looks like it does that 03:20:37
* @geekosaur:matrix.orggeekosaur wonders if QualifiedDo helps here any 03:23:00
@b:chreekat.netchreekatLucid claims to be a "proper monad transformer" fwiw https://chrisdone.com/posts/projects/#lucid05:15:45
@b:chreekat.netchreekat(I've got no reason to believe otherwise)05:16:12
@memefi:matrix.orgwar changed their display name from memefi to war.05:23:24
@simonmic:matrix.orgsm geekosaur: which is the bridge software we're using now ? 07:57:21
@geekosaur:matrix.orggeekosaurheisenbridge07:57:39
@simonmic:matrix.orgsmthanks! working well ?07:57:51
@geekosaur:matrix.orggeekosaurmuch better than matterbridge was, at least07:58:12
@geekosaur:matrix.orggeekosaurI had to keep monitoring it and restart it if it got cranky07:58:28
@geekosaur:matrix.orggeekosaurit also crashed a lot07:58:44
@simonmic:matrix.orgsmless monitoring/crashing, that's good07:58:53
@geekosaur:matrix.orggeekosaur* it also crashed a lot, so I had a wrapper script to restart it07:59:05
@geekosaur:matrix.orggeekosaur(I don't bother monitoring heisenbridge at this point. I do monitor the reverse proxy, but that's mostly for amusement value. Lots of skriptkiddies probing for wordpress vulns…)08:02:43
@magic_rb:matrix.redalder.orgmagic_rbHeisembridge is great, been running it myself for a year, works like a charm08:36:48
@b:chreekat.netchreekatFwiw I'm still glad this is a pure-matrix channel10:20:33
@b:chreekat.netchreekatAll the bot activity in other channels has made me consider leaving them 10:21:05
@mangoiv.:matrix.orgMangoIV Is it possible that optimizations influence how many redundant constraint warnings are emitted? 11:14:28
@mangoiv.:matrix.orgMangoIV This doesn’t seem to be the case 11:25:58
@mangoiv.:matrix.orgMangoIV I can’t for the life of me find that one language server implementation for large projects - does anybody know what it’s called? 12:23:07
@mangoiv.:matrix.orgMangoIV static-ls! 12:26:06
@iwannahaven:matrix.orgiwannahaven joined the room.16:09:16
@wisdom_smith:matrix.orgwisdom_smith joined the room.17:07:45

There are no newer messages yet.


Back to Room ListRoom Version: 5