!hskonBonfjiIefqLUV:matrix.org

Haskell

2653 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/HaskellOrg234 Servers

Load older messages


SenderMessageTime
4 Dec 2023
@geekosaur:matrix.orggeekosaurRedacted or Malformed Event02:53:46
@geekosaur:matrix.orggeekosaur (method definitions for other types are optional, but are implemented as calling toList on the value and then using the list implementation, so the list implementations are mandatory) 02:56:09
@geekosaur:matrix.orggeekosaur * before Foldable, GHC.OldList was Data.List 03:34:00
@geekosaur:matrix.orggeekosaur * so it was renamed to Data.OldList and the instance Foldable [a] where… added to it 03:34:11
@geekosaur:matrix.orggeekosaur * so it was renamed to GHC.OldList and the instance Foldable [a] where… added to it 03:34:22
@geekosaur:matrix.orggeekosaur * so it was renamed to GHC.OldList and the instance Foldable [] where… added to it 03:49:58
@lainon_dev:matrix.orglainon joined the room.06:40:22
@tfazofficial:matrix.orgtfaz.xyz changed their profile picture.10:29:07
@tfazofficial:matrix.orgtfaz.xyz changed their profile picture.10:29:45
@profpatsch:augsburg.oneProfpatschcan we please, please, please monomorphize Data.List functions again10:53:21
@profpatsch:augsburg.oneProfpatschWe can still export the overloaded ones from Prelude for all I care10:53:32
@profpatsch:augsburg.oneProfpatschthis situation is untenable10:54:21
@teoc:matrix.orgteo (they/he) @Profpatsch : last I heard this was the current blocker https://gitlab.haskell.org/ghc/ghc/-/issues/21791. There's been a lot of ghc-proposal Stability talk recently though so maybe stuff has changed 10:54:52
@profpatsch:augsburg.oneProfpatschI’d really love to see this11:01:35
@profpatsch:augsburg.oneProfpatschContainer modules should always export functions that are as monomorphic as possible11:02:02
@profpatsch:augsburg.oneProfpatschthis really helps with production code & avoiding bugs due to unwanted overloading11:02:21
@ic.rbow:matrix.orgic.rbow are there any conditions when forkFinally may not fire? 14:22:10
@ic.rbow:matrix.orgic.rbow * are there any conditions when forkFinally callback may not fire? 14:22:18
@sebrut:rtfsk.desebrut left the room.14:43:14
@21it:matrix.org@21it:matrix.org
In reply to @ic.rbow:matrix.org
are there any conditions when forkFinally callback may not fire?
Maybe some unmasked/async exceptions? I bet there should be a lot of scenarious where it's not working as expected
18:41:54
@geekosaur:matrix.orggeekosaura key one is if the main thread terminates then child threads are simply killed by the OS18:44:25
@reddorf:matrix.orgreddorf joined the room.19:12:55
@ic.rbow:matrix.orgic.rbow I try to use forkFinally to shoot off threads for acceptd sockets. After accepting I increment a counter, and decrement it back in forkFinally handler (and close that connection). Most of the time everything is okay, but after a while, a gaggle of sockets remain lingering in "established" state and the counter matches the number of such sockets. I would just go fix my network setup if only the OS were to show the leak. But with the counter to back it, it surely looks like forkFinally handler didn't fire (both the counter didn't decrement and a connection didn't go down). 19:26:22
* @geekosaur:matrix.orggeekosaur

wonders if

The newly created thread has an exception handler that discards the exceptions BlockedIndefinitelyOnMVar, BlockedIndefinitelyOnSTM, and ThreadKilled, and passes all other exceptions to the uncaught exception handler.
means the finalizer won't be called on any of those. (although that would be odd given ThreadKilled)

19:33:06
* @geekosaur:matrix.orggeekosaur *

wonders if

The newly created thread has an exception handler that discards the exceptions BlockedIndefinitelyOnMVar, BlockedIndefinitelyOnSTM, and ThreadKilled, and passes all other exceptions to the uncaught exception handler.

means the finalizer won't be called on any of those. (although that would be odd given ThreadKilled)

19:36:23
@geekosaur:matrix.orggeekosaur anyway I'd ask over in #GHC:matrix.org 19:45:20
@ic.rbow:matrix.orgic.rbow
In reply to * @geekosaur:matrix.org

wonders if

The newly created thread has an exception handler that discards the exceptions BlockedIndefinitelyOnMVar, BlockedIndefinitelyOnSTM, and ThreadKilled, and passes all other exceptions to the uncaught exception handler.

means the finalizer won't be called on any of those. (although that would be odd given ThreadKilled)

I think those would be caught in the try inside forkFinally
19:47:36
@simonmic:matrix.orgsmoh wow.. I didn't know pandoc supported completely custom readers as lua plugins (for 2 years)22:10:01
@simonmic:matrix.orgsm * oh wow.. I didn't know pandoc supported completely custom readers as lua plugins (for 2 years) https://pandoc.org/custom-readers.html22:10:23
5 Dec 2023
@federicodschonborn:matrix.orgFederico Damián Schonborn changed their profile picture.00:38:08

There are no newer messages yet.


Back to Room ListRoom Version: 5