Newest at the top
| 2025-04-23 21:06:23 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-04-23 21:05:51 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-23 21:05:20 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-23 21:00:44 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-23 21:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-23 20:59:35 +0200 | <tomsmeding> | if I were as good as augustss at jamming out haskell compilers, I'd have done the same |
| 2025-04-23 20:59:21 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 20:58:56 +0200 | <tomsmeding> | if you want a production-ready haskell compiler that is configurable and checks your work, there's a very good one called GHC :p |
| 2025-04-23 20:58:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-23 20:58:34 +0200 | <monochrom> | OK OK, just joking, dynamic typing does not mean unsafeCoerce. |
| 2025-04-23 20:58:23 +0200 | <tomsmeding> | I mean, isn't that reasonable given the intent of MicroHs? |
| 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) |