Newest at the top
2025-04-23 20:56:02 +0200 | <monochrom> | That's available as unsafeCoerce. >:) |
2025-04-23 20:51:13 +0200 | <mauke> | also, writing a static type checker is hard. can't we just add dynamic typing to haskell? |
2025-04-23 20:48:07 +0200 | <monochrom> | Hahahaha "Incoherent instances is on because it’s too tedious to check for the condition. I’m lazy." and "And the extensions are always on because it adds a lot of complexity to have them optional." from augustss on the Discourse about MicroHs. |
2025-04-23 20:45:33 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
2025-04-23 20:44:08 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 272 seconds) |
2025-04-23 20:41:56 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-23 20:38:47 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:c9c8:e2be:ff6d:9e09) |
2025-04-23 20:35:03 +0200 | euleritian | (~euleritia@77.23.248.47) |
2025-04-23 20:34:51 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-04-23 20:34:51 +0200 | <haskellbridge> | <Liamzee> Mercury also went to Gold |
2025-04-23 20:34:41 +0200 | <haskellbridge> | <Liamzee> on the q1 2025, like, it seems as though people dropped out? |
2025-04-23 20:34:33 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
2025-04-23 20:34:20 +0200 | <haskellbridge> | <Liamzee> the sponsorship is weird |
2025-04-23 20:34:12 +0200 | <monochrom> | Equality-Iso-Lens from lens |
2025-04-23 20:33:35 +0200 | <tomsmeding> | monochrom: at the bottom of https://haskell.foundation/donations/ , the lists of sponsors are indeed called "monads", "applicatives" and "functors" |
2025-04-23 20:32:48 +0200 | <monochrom> | hahaha |
2025-04-23 20:32:40 +0200 | <int-e> | monochrom: at a billion dollars you might cause macroeconomic side effects |
2025-04-23 20:32:22 +0200 | <tomsmeding> | mauke: Enum |
2025-04-23 20:32:10 +0200 | <monochrom> | If we had Group, we would have Semigroup-Monoid-Group |
2025-04-23 20:32:06 +0200 | <mauke> | Num, Real, Integral |
2025-04-23 20:31:56 +0200 | <tomsmeding> | the metals terminology was first seen here https://discourse.haskell.org/t/haskell-foundation-q1-2025-update/11835 I think |
2025-04-23 20:31:48 +0200 | <haskellbridge> | <Liamzee> Stuff I can think of is mainly two-tiered, foldable traversable, semigroup monad |
2025-04-23 20:31:08 +0200 | <haskellbridge> | <Liamzee> honestly, are there any other three-tiered typeclasses? |
2025-04-23 20:30:52 +0200 | sprotte24 | (~sprotte24@p200300d16f32c2005ced4df4a507f443.dip0.t-ipconnect.de) |
2025-04-23 20:30:51 +0200 | <tomsmeding> | monochrom: https://haskell.foundation/donations/ |
2025-04-23 20:30:46 +0200 | <tomsmeding> | the latest monthly update on discourse had bronze/silver/gold |
2025-04-23 20:30:38 +0200 | <monochrom> | haha neato |
2025-04-23 20:30:29 +0200 | <tomsmeding> | oh the website still has the FAM names |
2025-04-23 20:30:07 +0200 | <monochrom> | If I donate a billion dollar, can I make them call me "a monad"? >:) |
2025-04-23 20:29:38 +0200 | <tomsmeding> | they renamed it to "bronze" |
2025-04-23 20:29:29 +0200 | <monochrom> | What is a functor there? :) |
2025-04-23 20:27:27 +0200 | <haskellbridge> | <Liamzee> Digital Ocean is a major cloud service provider |
2025-04-23 20:27:04 +0200 | <haskellbridge> | <Liamzee> accursedUnutterablePerformIO reported that digital ocean joined Haskell Foundation as a functor |
2025-04-23 20:22:33 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-04-23 20:21:54 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-04-23 20:16:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-04-23 20:12:50 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
2025-04-23 20:12:31 +0200 | euleritian | (~euleritia@dynamic-176-006-129-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-23 20:10:52 +0200 | eL_Bart0 | (eL_Bart02@dietunichtguten.org) (Quit: Restarting) |
2025-04-23 20:07:09 +0200 | divya | (divya@140.238.251.170) divya |
2025-04-23 20:04:33 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-04-23 20:03:10 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
2025-04-23 20:03:02 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
2025-04-23 19:59:45 +0200 | Square3 | (~Square@user/square) Square |
2025-04-23 19:59:13 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
2025-04-23 19:57:30 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
2025-04-23 19:57:01 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-23 19:52:21 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-04-23 19:48:54 +0200 | emm | (~emm@user/edmeme) edmeme |
2025-04-23 19:45:31 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |