Newest at the top
| 2024-10-10 16:14:24 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-10 16:14:01 +0200 | <__monty__> | If you emulate Java/C# too closely you'll end up with a bunch of boilerplate and performance issues. So I think it's not a great perspective to start learning Haskell from. |
| 2024-10-10 16:13:00 +0200 | <probie> | Sitting in meetings all day is the same in both Java and Haskell |
| 2024-10-10 16:06:38 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-10 16:05:16 +0200 | fireking04 | (~user@36-227-119-41.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2024-10-10 16:05:09 +0200 | fireking` | (~user@36-227-119-41.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2024-10-10 16:04:01 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-10 16:02:56 +0200 | <Square> | Anyone know of any good teaching material to get your typical Java/C# enterprise developer into Haskell? Possibly something that focuses on mapping what they do all day to Haskell. Less focus on all the things there is to love about Haskell. |
| 2024-10-10 15:59:49 +0200 | Square | (~Square4@user/square) Square |
| 2024-10-10 15:59:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-10 15:59:01 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-10-10 15:56:53 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-10 15:49:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-10 15:49:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2024-10-10 15:46:51 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-10 15:45:06 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-10 15:43:15 +0200 | <probie> | I don't think it's particularly useful outside of using `unsafeCoerce` or esoteric things like keeping references to prevent garbage collection. |
| 2024-10-10 15:42:25 +0200 | <haskellbridge> | <thirdofmay18081814goya> ty |
| 2024-10-10 15:42:13 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-10-10 15:42:05 +0200 | <haskellbridge> | <thirdofmay18081814goya> been away from haskell a while heheh |
| 2024-10-10 15:42:00 +0200 | <haskellbridge> | <thirdofmay18081814goya> probie: yeah! |
| 2024-10-10 15:40:35 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2024-10-10 15:40:05 +0200 | <probie> | thirdofmay18081814goya: Isn't that just `data MyType = forall a . MyType a`? |
| 2024-10-10 15:39:53 +0200 | arahael_ | (~arahael@user/arahael) (Quit: Lost terminal) |
| 2024-10-10 15:39:49 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |
| 2024-10-10 15:38:54 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-10-10 15:31:29 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-10 15:25:30 +0200 | arahael_ | (~arahael@user/arahael) arahael |
| 2024-10-10 15:25:00 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-10 15:22:14 +0200 | cfricke_ | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2024-10-10 15:21:20 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/jCazZRxEVojmkycJUItjxokl/5fTPquYXkqQ (3 lines) |
| 2024-10-10 15:21:20 +0200 | <haskellbridge> | <thirdofmay18081814goya> can the following Lean type be expressed in haskell? |
| 2024-10-10 15:20:06 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 246 seconds) |
| 2024-10-10 15:19:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-10 15:07:52 +0200 | <__monty__> | Hackage isn't slow for me, do you mean Hoogle? There's been recurring problems with it recently, haven't kept up enough to know why. |
| 2024-10-10 15:06:08 +0200 | <kqr> | It was a long time since I last did Haskell, but I don't remember Hackage being this slow. What has changed and how are you dealing with it? |
| 2024-10-10 14:58:24 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2024-10-10 14:57:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3e:c6b:65b9:2866) |
| 2024-10-10 14:55:38 +0200 | cfricke_ | (~cfricke@user/cfricke) cfricke |
| 2024-10-10 14:54:56 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-10-10 14:51:58 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-10 14:51:56 +0200 | identity | (~identity@user/ZharMeny) (Ping timeout: 252 seconds) |
| 2024-10-10 14:51:18 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 252 seconds) |
| 2024-10-10 14:46:12 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-10-10 14:44:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3e:c6b:65b9:2866) (Ping timeout: 252 seconds) |
| 2024-10-10 14:40:09 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2024-10-10 14:37:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-10 14:32:52 +0200 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2024-10-10 14:27:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-10 14:21:25 +0200 | arahael | (~arahael@user/arahael) (Remote host closed the connection) |