Newest at the top
| 2025-02-11 18:31:36 +0100 | JeremyB99 | (~JeremyB99@pal-210-106-73.itap.purdue.edu) |
| 2025-02-11 18:25:54 +0100 | urdh_ | urdh |
| 2025-02-11 18:25:54 +0100 | urdh | (~urdh@user/urdh) (Ping timeout: 268 seconds) |
| 2025-02-11 18:24:44 +0100 | urdh_ | (~urdh@user/urdh) urdh |
| 2025-02-11 18:24:26 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-02-11 18:24:04 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-11 18:23:23 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:a2d0:c4aa:65e5:970a:4d0b:8e34) (Read error: Connection reset by peer) |
| 2025-02-11 18:23:04 +0100 | JeremyB99 | (~JeremyB99@2607:fb90:a2d0:c4aa:65e5:970a:4d0b:8e34) |
| 2025-02-11 18:22:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-11 18:21:40 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-02-11 18:21:30 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-11 18:21:05 +0100 | Square | (~Square@user/square) Square |
| 2025-02-11 18:18:30 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-02-11 18:17:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-11 18:17:36 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-11 18:17:36 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-02-11 18:13:38 +0100 | Googulator | (~Googulato@2a01-036d-0106-4074-758c-12a1-cbb4-05eb.pool6.digikabel.hu) |
| 2025-02-11 18:13:24 +0100 | Googulator | (~Googulato@2a01-036d-0106-4074-758c-12a1-cbb4-05eb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-11 18:12:55 +0100 | JeremyB99 | (~JeremyB99@dhcp-248-27.resnet.purdue.edu) (Read error: Connection reset by peer) |
| 2025-02-11 18:12:55 +0100 | JeremyB99 | (~JeremyB99@dhcp-248-27.resnet.purdue.edu) |
| 2025-02-11 18:12:17 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-02-11 18:11:17 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b132:8d6d:8d5:36a3) (Ping timeout: 248 seconds) |
| 2025-02-11 18:10:22 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-02-11 18:06:35 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2025-02-11 17:59:13 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-11 17:58:53 +0100 | causal | (~eric@50.35.84.231) (Quit: WeeChat 4.5.1) |
| 2025-02-11 17:58:36 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b132:8d6d:8d5:36a3) |
| 2025-02-11 17:58:28 +0100 | JeremyB99 | (~JeremyB99@2607:ac80:407:7:b132:8d6d:8d5:36a3) (Remote host closed the connection) |
| 2025-02-11 17:58:02 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2025-02-11 17:57:36 +0100 | jespada | (~jespada@2800:a4:2230:3e00:3974:82a3:7f20:1404) jespada |
| 2025-02-11 17:55:54 +0100 | jespada | (~jespada@2800:a4:2211:9c00:4cb1:4c0:c141:d649) (Ping timeout: 265 seconds) |
| 2025-02-11 17:53:41 +0100 | tri | (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2025-02-11 17:53:08 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-11 17:52:57 +0100 | <kuribas> | regen_schemas.sh or something. |
| 2025-02-11 17:52:56 +0100 | rvalue- | rvalue |
| 2025-02-11 17:52:39 +0100 | <kuribas> | Or if you like, you can put this in a script or a CI/CD pipeline. |
| 2025-02-11 17:49:27 +0100 | <kuribas> | Then pretty print it into some module: https://hackage.haskell.org/package/hasqlator-mysql-0.2.1/docs/Database-MySQL-Hasqlator-Typed-Sche… |
| 2025-02-11 17:49:01 +0100 | <kuribas> | You fetch the table info from the connection: https://hackage.haskell.org/package/hasqlator-mysql-0.2.1/docs/Database-MySQL-Hasqlator-Typed-Sche… |
| 2025-02-11 17:47:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-02-11 17:46:40 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-02-11 17:46:15 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-02-11 17:45:26 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::5c) |
| 2025-02-11 17:44:30 +0100 | <kuribas> | kaol: It reads the information schema of the given database. |
| 2025-02-11 17:44:12 +0100 | <kaol> | Schema? As in from pg_dump output or some other representation? |
| 2025-02-11 17:44:08 +0100 | <kuribas> | kaol: this way you don't need access to a DB to compile the code. |
| 2025-02-11 17:43:54 +0100 | <kuribas> | well, export to a haskell value. |
| 2025-02-11 17:43:39 +0100 | <kuribas> | kaol: in my library you export the schema to a haskell type, then feed it to TH to get your types. |
| 2025-02-11 17:43:08 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-02-11 17:43:05 +0100 | <kaol> | Feed the schema dump to TH to get types. |
| 2025-02-11 17:43:00 +0100 | <euouae> | kaol: so from your perspective the best benefit is to learn postgresql/sql as best as one can |