Newest at the top
2024-09-19 16:17:51 +0200 | chromo | (~chromo@210.185.108.225) (Ping timeout: 246 seconds) |
2024-09-19 16:10:23 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-09-19 16:06:36 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 272 seconds) |
2024-09-19 16:04:14 +0200 | <probie> | Haskell is a strongly typed functional language with laziness and typeclasses. Any attempt to move away from any part of that is going to get a lot of flak from certain parts of the community |
2024-09-19 16:04:12 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 246 seconds) |
2024-09-19 16:00:57 +0200 | <probie> | Exploring linear types in Haskell is fun. I don't think they should be a base for optimisation. At that point, just make a new language |
2024-09-19 15:58:56 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) |
2024-09-19 15:58:10 +0200 | dhruvasagar | (~dhruvasag@49.207.204.156) (Ping timeout: 248 seconds) |
2024-09-19 15:44:12 +0200 | ubert | (~Thunderbi@2001:871:263:a33:b08b:9e0:b0bb:8ab2) |
2024-09-19 15:40:59 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
2024-09-19 15:40:38 +0200 | mari-estel | (~mari-este@2a02:3032:315:94fa:216:3eff:fe65:4eef) |
2024-09-19 15:39:01 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
2024-09-19 15:37:17 +0200 | <cheater> | 3. a type system for tracking the complexity of algorithms |
2024-09-19 15:37:13 +0200 | <mauke> | 3 a partridge in a pear tree |
2024-09-19 15:36:42 +0200 | <cheater> | 2. some other stuff i was going to say but i forgot |
2024-09-19 15:36:33 +0200 | ubert | (~Thunderbi@2001:871:263:a33:ce4c:87cf:207:8819) (Ping timeout: 246 seconds) |
2024-09-19 15:36:14 +0200 | <cheater> | 1. linear or affine types, controllable memory layout, copy counting, and the ability for multiple runtimes to use the same memory objects |
2024-09-19 15:34:42 +0200 | <cheater> | if we're gonna do an overhaul of the haskell ecosystem we should have: |
2024-09-19 15:22:46 +0200 | ystael | (~ystael@user/ystael) |
2024-09-19 15:21:59 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) (Quit: Lost terminal) |
2024-09-19 15:20:35 +0200 | ash3en | (~Thunderbi@149.222.143.226) (Quit: ash3en) |
2024-09-19 15:19:48 +0200 | <[exa]> | basically for any "practical" language |
2024-09-19 15:13:19 +0200 | <kuribas> | At one point it was like this for haskell, or lazy functional languages. |
2024-09-19 15:12:50 +0200 | <kuribas> | dminuoso: That's not the price of dependent types, it's the price of anything new. |
2024-09-19 15:11:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-19 15:11:36 +0200 | euleritian | (~euleritia@dynamic-176-001-139-185.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-09-19 15:10:39 +0200 | itaipu | (~itaipu@168.121.98.63) |
2024-09-19 15:07:29 +0200 | itaipu | (~itaipu@168.121.98.63) (Ping timeout: 260 seconds) |
2024-09-19 15:07:03 +0200 | ubert | (~Thunderbi@2001:871:263:a33:ce4c:87cf:207:8819) |
2024-09-19 15:02:06 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-09-19 14:52:37 +0200 | euleritian | (~euleritia@dynamic-176-001-139-185.176.1.pool.telefonica.de) |
2024-09-19 14:51:49 +0200 | euleritian | (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
2024-09-19 14:51:39 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-19 14:42:01 +0200 | srazkvt | (~sarah@user/srazkvt) |
2024-09-19 14:37:25 +0200 | causal | (~eric@50.35.88.207) |
2024-09-19 14:36:36 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
2024-09-19 14:36:02 +0200 | <L29Ah> | gotta create a good libraries foundation |
2024-09-19 14:31:36 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 272 seconds) |
2024-09-19 14:27:17 +0200 | user363627 | (~user@user/user363627) |
2024-09-19 14:25:28 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) |
2024-09-19 14:23:55 +0200 | synchromesh | (~john@2406:5a00:241a:5600:fd25:5cc9:9c9d:bf17) (Read error: Connection reset by peer) |
2024-09-19 14:22:46 +0200 | greenflower | (~greenflow@2409:4071:4d16:3220:dd28:e735:fd52:185b) |
2024-09-19 14:22:24 +0200 | litharge | -bo *!*@46.56.199.104 litharge |
2024-09-19 14:22:23 +0200 | ChanServ | +o litharge |
2024-09-19 14:17:27 +0200 | euleritian | (~euleritia@dynamic-176-006-135-183.176.6.pool.telefonica.de) |
2024-09-19 14:16:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
2024-09-19 14:15:05 +0200 | misterfish | (~misterfis@178.229.231.194) |
2024-09-19 14:13:15 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 246 seconds) |
2024-09-19 14:06:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-19 14:06:47 +0200 | Digitteknohippie | Digit |