Newest at the top
2024-10-23 18:23:01 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) alexherbo2 |
2024-10-23 18:22:41 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) (Remote host closed the connection) |
2024-10-23 18:20:47 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
2024-10-23 18:20:31 +0200 | ash3en | (~Thunderbi@89.56.61.137) ash3en |
2024-10-23 18:20:23 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-23 18:20:09 +0200 | <lambdabot> | Consider it noted. |
2024-10-23 18:20:09 +0200 | <tomsmeding> | @tell ash3en Haskell has many extensions, quite a few of which make the language larger and more complicated. TH is one of them, but if you reject TH _on this premise_, then you'll need to reject a large part of the language with it. |
2024-10-23 18:20:01 +0200 | <tomsmeding> | Haskell has many extensions, quite a few of which make the language larger and more complicated. TH is one of them, but if you reject TH _on this premise_, then you'll need to reject a large part of the language with it. |
2024-10-23 18:19:59 +0200 | <lambdabot> | Consider it noted. |
2024-10-23 18:19:59 +0200 | <tomsmeding> | @tell ash3en TH can indeed go against some principles of simplicity in haskell, but if it does then a whole lot of things do -- thinks like DataKinds, TypeFamilies, GHC Generics, LinearTypes, RankNTypes, and perhaps even GADTs. Similarly, from the perspective of a Haskell programmer for whom these things are natural, things like unboxed data types can be "against simplicity" of the language. GHC |
2024-10-23 18:18:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-23 18:15:30 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-10-23 18:08:21 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) alexherbo2 |
2024-10-23 18:08:01 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
2024-10-23 18:08:01 +0200 | alexherbo2 | (~alexherbo@2a02-8440-310b-6bee-d19c-c2cf-5674-8209.rev.sfr.net) (Remote host closed the connection) |
2024-10-23 17:56:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-23 17:55:25 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
2024-10-23 17:54:53 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Client Quit) |
2024-10-23 17:51:21 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
2024-10-23 17:48:16 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
2024-10-23 17:41:47 +0200 | euleritian | (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) |
2024-10-23 17:41:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-23 17:39:18 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-23 17:38:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-23 17:35:34 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2024-10-23 17:34:54 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
2024-10-23 17:27:20 +0200 | Guest36 | (~Guest36@217.218.145.186) (Quit: Client closed) |
2024-10-23 17:22:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-23 17:21:32 +0200 | <Square> | ...and same pattern will be repeated in 10-20 apps. Cumbersome sure, but we really need parts in haskell it seems. |
2024-10-23 17:19:54 +0200 | <Square> | merijn, the apps will always be deployed as one docker image together. It's essentially an attempt to move one module of an app to Haskell, because of features not available in java. |
2024-10-23 17:09:51 +0200 | rosco | (~rosco@60.53.7.10) (Quit: Lost terminal) |
2024-10-23 17:07:06 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
2024-10-23 17:06:44 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
2024-10-23 17:05:03 +0200 | Everything | (~Everythin@178-133-61-155.mobile.vf-ua.net) (Quit: leaving) |
2024-10-23 17:04:18 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
2024-10-23 17:04:06 +0200 | Guest36 | (~Guest36@217.218.145.186) |
2024-10-23 17:02:02 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-10-23 17:01:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-23 17:00:56 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds) |
2024-10-23 17:00:45 +0200 | euleritian | (~euleritia@dynamic-176-004-241-059.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-23 16:59:14 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb3315984098f5118deb.dip0.t-ipconnect.de) acidjnk |
2024-10-23 16:57:07 +0200 | hgolden_ | (~hgolden@23.162.40.28) (Ping timeout: 264 seconds) |
2024-10-23 16:54:22 +0200 | hgolden__ | (~hgolden@146.70.174.37) hgolden |
2024-10-23 16:48:18 +0200 | caubert | (~caubert@user/caubert) caubert |
2024-10-23 16:48:02 +0200 | caubert | (~caubert@user/caubert) (Quit: WeeChat 4.4.2) |
2024-10-23 16:39:07 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb33a5f4f8eeae667408.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-10-23 16:37:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-10-23 16:33:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-23 16:32:36 +0200 | caubert | (~caubert@user/caubert) caubert |
2024-10-23 16:32:18 +0200 | caubert | (~caubert@user/caubert) (Quit: WeeChat 4.3.3) |