Logs: liberachat/#haskell
| 2021-08-13 16:23:11 | ← | meltedbrain_y2k parts (~tekserf@31.4.247.40) () |
| 2021-08-13 16:25:14 | → | jeslie0 joins (~user@108.162.150.9) |
| 2021-08-13 16:31:13 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 2021-08-13 16:31:22 | × | jeslie0 quits (~user@108.162.150.9) (Ping timeout: 245 seconds) |
| 2021-08-13 16:38:38 | <JavierNeira[m]> | <hsek[m]> "What other beginner-friendly Has" <- https://github.com/haskell/haskell-language-server/labels/beginner%20friendly 🙂 |
| 2021-08-13 16:40:20 | <JavierNeira[m]> | hsek the one about fixing the module name suggestion is not difficult, feel free to ask anything in the issue |
| 2021-08-13 16:43:15 | × | Vajb quits (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) (Read error: Connection reset by peer) |
| 2021-08-13 16:43:30 | × | Skyfire quits (~pyon@user/pyon) (Ping timeout: 256 seconds) |
| 2021-08-13 16:44:39 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-13 16:45:43 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-08-13 16:45:55 | × | markpythonicbitc quits (~markpytho@2600:380:8435:268b:71bd:f2e5:8aa7:8567) (Ping timeout: 258 seconds) |
| 2021-08-13 16:46:25 | × | jneira quits (~jneira@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2021-08-13 16:47:03 | → | Skyfire joins (~pyon@user/pyon) |
| 2021-08-13 16:47:42 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-13 16:47:45 | chris | is now known as Guest974 |
| 2021-08-13 16:51:48 | × | Skyfire quits (~pyon@user/pyon) (Ping timeout: 272 seconds) |
| 2021-08-13 16:53:05 | → | agua_pesada joins (~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) |
| 2021-08-13 16:53:06 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-13 16:53:12 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-13 16:53:34 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-13 16:54:34 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-13 16:55:21 | × | mattil quits (~mattilinn@84-253-224-16.bb.dnainternet.fi) (Read error: Connection reset by peer) |
| 2021-08-13 16:55:25 | <kuribas> | hsek[m]: I may have an interesting project :) |
| 2021-08-13 16:57:09 | <kuribas> | hsek[m]: to help porting my hasqlator-mysql library to postgresql |
| 2021-08-13 16:58:12 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-08-13 17:00:45 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-13 17:00:52 | → | burnsidesLlama joins (~burnsides@dhcp168-014.wadham.ox.ac.uk) |
| 2021-08-13 17:01:11 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-13 17:01:43 | <kuribas> | it's good to understand how to use monad transformers, monoids, etc... |
| 2021-08-13 17:02:15 | <kuribas> | but it should be fairly easy because most of the design is already done... |
| 2021-08-13 17:02:37 | → | mattil joins (~mattilinn@84-253-224-16.bb.dnainternet.fi) |
| 2021-08-13 17:02:52 | → | Core6866 joins (~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) |
| 2021-08-13 17:02:55 | <kuribas> | I have a preliminary stub, but it's already out of date: https://github.com/kuribas/hasqlator-postgresql |
| 2021-08-13 17:04:07 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-08-13 17:05:44 | × | agua_pesada quits (~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) (Ping timeout: 272 seconds) |
| 2021-08-13 17:07:00 | × | burnsidesLlama quits (~burnsides@dhcp168-014.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-08-13 17:08:55 | × | Guest974 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-13 17:09:19 | → | VoidNoir0 joins (~VoidNoir0@72.80.203.52) |
| 2021-08-13 17:10:04 | Lycurgus | wonders how widely understood the difference between static and embedded sql is |
| 2021-08-13 17:16:10 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-13 17:16:14 | chris | is now known as Guest1090 |
| 2021-08-13 17:17:08 | <kuribas> | It looks a lot of work, but I am sure a lot can just be copied. |
| 2021-08-13 17:18:15 | → | nvmd joins (~nvmd@user/nvmd) |
| 2021-08-13 17:19:56 | × | Guest1090 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-13 17:20:56 | → | chomwitt joins (~chomwitt@athedsl-32301.home.otenet.gr) |
| 2021-08-13 17:21:05 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-13 17:21:08 | chris | is now known as Guest6830 |
| 2021-08-13 17:24:01 | → | pfurla joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net) |
| 2021-08-13 17:26:57 | × | pfurla_ quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2021-08-13 17:29:18 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:d53f:ff79:b405:7cdc) |
| 2021-08-13 17:30:09 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 248 seconds) |
| 2021-08-13 17:32:12 | × | AlexNoo_ quits (~AlexNoo@94.233.240.105) (Read error: Connection reset by peer) |
| 2021-08-13 17:32:27 | → | AlexNoo_ joins (~AlexNoo@94.233.240.105) |
| 2021-08-13 17:32:44 | → | derelict joins (~derelict@user/derelict) |
| 2021-08-13 17:33:58 | → | fef joins (~thedawn@user/thedawn) |
| 2021-08-13 17:34:09 | → | burnsidesLlama joins (~burnsides@dhcp168-014.wadham.ox.ac.uk) |
| 2021-08-13 17:36:16 | × | maerwald quits (~maerwald@mail.hasufell.de) (Changing host) |
| 2021-08-13 17:36:16 | → | maerwald joins (~maerwald@user/maerwald) |
| 2021-08-13 17:36:18 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-13 17:37:58 | × | Guest6830 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-13 17:40:29 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-08-13 17:42:48 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-13 17:42:51 | chris | is now known as Guest2370 |
| 2021-08-13 17:44:49 | → | mr-red joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-13 17:46:07 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 268 seconds) |
| 2021-08-13 17:47:02 | <cdsmith> | Sort of a noob question, but: where's the best generic place to get a safeHead :: [a] -> Maybe a? Hoogle doesn't turn up anything that looks fundamental like base or containers. Maybe it has a different name? Or should I just define it myself to minimize deps? |
| 2021-08-13 17:47:17 | <kuribas> | :t listToMaybe |
| 2021-08-13 17:47:18 | <maerwald> | @hackage Safe |
| 2021-08-13 17:47:18 | <lambdabot> | https://hackage.haskell.org/package/Safe |
| 2021-08-13 17:47:18 | <lambdabot> | [a] -> Maybe a |
| 2021-08-13 17:47:26 | <cdsmith> | Thanks |
| 2021-08-13 17:47:27 | <maerwald> | and that too |
| 2021-08-13 17:47:29 | × | Guest2370 quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-08-13 17:47:29 | <kuribas> | It's in Data.Maybe |
| 2021-08-13 17:47:44 | <maerwald> | :t headMay |
| 2021-08-13 17:47:45 | <lambdabot> | error: Variable not in scope: headMay |
| 2021-08-13 17:48:01 | <maerwald> | listToMaybe is really an odd name though, so I prefer Safe.headMay |
| 2021-08-13 17:48:05 | <kuribas> | @hoogle [a] -> Maybe a |
| 2021-08-13 17:48:06 | <lambdabot> | Data.Maybe listToMaybe :: [a] -> Maybe a |
| 2021-08-13 17:48:06 | <lambdabot> | Test.Framework.Providers.API listToMaybeLast :: [a] -> Maybe a |
| 2021-08-13 17:48:06 | <lambdabot> | Distribution.Compat.Prelude.Internal listToMaybe :: [a] -> Maybe a |
| 2021-08-13 17:48:21 | <cdsmith> | Ah, should have searched by type instead of name |
| 2021-08-13 17:49:17 | <monochrom> | @quote monochrom safeFromJust |
| 2021-08-13 17:49:18 | <lambdabot> | monochrom says: I use safeFromJust :: Maybe a -> Maybe a |
| 2021-08-13 17:49:58 | <monochrom> | @quote monochrom isTrue |
| 2021-08-13 17:49:58 | <lambdabot> | monochrom says: isTrue = (unsafeCoerce :: Either a b -> Bool) . (unsafeCoerce :: Maybe c -> Either a b) . (unsafeCoerce :: Bool -> Maybe c) |
| 2021-08-13 17:50:48 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-08-13 17:51:12 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-08-13 17:51:18 | <kuribas> | maerwald: it's a weird name, because it discards most of the list :) |
| 2021-08-13 17:51:29 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2021-08-13 17:51:31 | <kuribas> | the other direction makes more sense (maybeToList) |
| 2021-08-13 17:51:42 | × | mc47 quits (~mc47@xmonad/TheMC47) (Client Quit) |
| 2021-08-13 17:51:57 | <kuribas> | maerwald: however it doesn't require using another package. |
| 2021-08-13 17:52:05 | <maerwald> | true |
| 2021-08-13 17:52:12 | <maerwald> | I used it too, but I always feel dirty afterwards |
| 2021-08-13 17:53:00 | <monochrom> | Names are insider mnemonics, not meaningful. |
| 2021-08-13 17:53:16 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-13 17:54:05 | <maerwald> | just create a class `ToMaybe`... oh no, it already exists |
| 2021-08-13 17:54:27 | → | jeslie0 joins (~user@108.162.150.9) |
| 2021-08-13 17:54:48 | Lycurgus | thinks about carnaps original notion of functor, school of rectification, usw |
All times are in UTC.