Newest at the top
| 2024-11-08 17:12:33 +0100 | willx | (~willscrip@72.85.164.116) |
| 2024-11-08 17:06:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-11-08 17:05:08 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-08 17:00:50 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-11-08 16:55:56 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-08 16:55:09 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2024-11-08 16:46:22 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-08 16:34:01 +0100 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-08 16:34:01 +0100 | willscripted | (~willscrip@72.85.164.116) (Changing host) |
| 2024-11-08 16:30:39 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-11-08 16:28:14 +0100 | willscripted | (~willscrip@72.85.164.116) |
| 2024-11-08 16:25:00 +0100 | Square2 | (~Square@user/square) Square |
| 2024-11-08 16:15:57 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-11-08 16:15:48 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-08 16:12:17 +0100 | <merijn> | yin: Why avoid optics like the plague? |
| 2024-11-08 16:09:28 +0100 | <merijn> | kqr: Which suggest what you really want might be in base's Numeric module :) |
| 2024-11-08 16:08:18 +0100 | <merijn> | kqr: ah, wait, custom numeric types suggest what you *really* want is "convert number to string with control over decimals, etc." yes? |
| 2024-11-08 16:07:37 +0100 | son0p | (~ff@186.121.30.70) (Ping timeout: 244 seconds) |
| 2024-11-08 16:07:10 +0100 | <merijn> | kqr: I mean, Printf is kinda yikes, so I would definitely avoid that |
| 2024-11-08 16:05:23 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3309-f88a-dc43-ac5e-6a5b-79bd.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-08 16:01:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-08 16:00:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-08 15:57:37 +0100 | enikar | (~enikar@user/enikar) enikar |
| 2024-11-08 15:57:13 +0100 | enikar | (~enikar@user/enikar) (Quit: WeeChat 3.0) |
| 2024-11-08 15:40:14 +0100 | ljdarj1 | ljdarj |
| 2024-11-08 15:40:14 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-11-08 15:38:45 +0100 | ubert | (~Thunderbi@178.165.164.236.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2024-11-08 15:38:25 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-08 15:37:00 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-08 15:34:46 +0100 | <Rembane> | yin: These: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/records.html |
| 2024-11-08 15:33:12 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-08 15:31:48 +0100 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-11-08 15:28:59 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-08 15:28:51 +0100 | <yin> | i recently started using pattern synonyms, but just because the use case *really* asked for it, not because i like it |
| 2024-11-08 15:28:33 +0100 | euleritian | (~euleritia@dynamic-176-007-148-106.176.7.pool.telefonica.de) |
| 2024-11-08 15:28:18 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 245 seconds) |
| 2024-11-08 15:28:05 +0100 | <yin> | such as? |
| 2024-11-08 15:26:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-08 15:26:12 +0100 | <Rembane> | yin: That sounds reasonable. Have you checked out some of the language extensions that were created to make records a byt more ergonomic? |
| 2024-11-08 15:25:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-08 15:24:33 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-08 15:20:19 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-08 15:19:34 +0100 | <yin> | (weird example that was just right in front of me) (also i try to avoid optics like the plague) |
| 2024-11-08 15:19:33 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3309-f88a-dc43-ac5e-6a5b-79bd.rev.sfr.net) alexherbo2 |
| 2024-11-08 15:19:14 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3309-f88a-dc43-ac5e-6a5b-79bd.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-08 15:17:38 +0100 | <yin> | state that gets updated many times a second. stuff like this: `... = (step st { μ = Play , θ = now (θ st) }) { μ = Pause }` |
| 2024-11-08 15:17:18 +0100 | Digitteknohippie | Digit |
| 2024-11-08 15:14:54 +0100 | emfrom | (~emfrom@37.170.21.237) (Remote host closed the connection) |
| 2024-11-08 15:14:31 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-08 15:14:07 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |