Logs: liberachat/#haskell
| 2021-07-29 22:51:00 | → | Guest5719 joins (~Guest57@125-63-24-117.ip4.superloop.com) |
| 2021-07-29 22:51:15 | <Guest5719> | @undo [ (x, ys) | x <- as, ys <- solutions (f (Con x))] |
| 2021-07-29 22:51:16 | <lambdabot> | concatMap (\ x -> concatMap (\ ys -> [(x, ys)]) (solutions (f (Con x)))) as |
| 2021-07-29 22:51:18 | → | dfg joins (dfg@2600:3c00::f03c:92ff:feb4:be75) |
| 2021-07-29 22:51:18 | × | dfg quits (dfg@2600:3c00::f03c:92ff:feb4:be75) (Changing host) |
| 2021-07-29 22:51:18 | → | dfg joins (dfg@user/dfg) |
| 2021-07-29 22:51:29 | × | bruceleewees quits (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl) (Ping timeout: 258 seconds) |
| 2021-07-29 22:51:29 | → | stevenxl joins (uid133530@id-133530.highgate.irccloud.com) |
| 2021-07-29 22:51:41 | stevenxl | Does this function exist? (a -> c) -> Either a b -> (b -> c) -> c |
| 2021-07-29 22:52:11 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-07-29 22:52:16 | <deejaytee> | > :t either |
| 2021-07-29 22:52:18 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2021-07-29 22:52:27 | <geekosaur> | :t either |
| 2021-07-29 22:52:29 | <lambdabot> | (a -> c) -> (b -> c) -> Either a b -> c |
| 2021-07-29 22:52:32 | <deejaytee> | I still don't know how to use lambdabot xD |
| 2021-07-29 22:52:59 | <deejaytee> | :t fmap flip either |
| 2021-07-29 22:53:00 | <lambdabot> | (a -> c) -> Either a b -> (b -> c) -> c |
| 2021-07-29 22:53:06 | → | bruceleewees joins (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl) |
| 2021-07-29 22:53:17 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-29 22:53:19 | <Drew[m]> | :t flip . either |
| 2021-07-29 22:53:21 | <lambdabot> | (a -> c) -> Either a b -> (b -> c) -> c |
| 2021-07-29 22:53:22 | <fresheyeball> | I want to briefly announce a new Haskell consultancy, my company https://platonic.systems/ |
| 2021-07-29 22:53:30 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-07-29 22:53:38 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-07-29 22:53:42 | × | Guest5719 quits (~Guest57@125-63-24-117.ip4.superloop.com) (Client Quit) |
| 2021-07-29 22:53:45 | <fresheyeball> | If you ever need Haskell help, we are here for you |
| 2021-07-29 22:54:08 | <stevenxl> | :t fmap flip either |
| 2021-07-29 22:54:10 | <lambdabot> | (a -> c) -> Either a b -> (b -> c) -> c |
| 2021-07-29 22:55:01 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-07-29 22:55:24 | → | Guest84 joins (~Guest84@125-63-24-117.ip4.superloop.com) |
| 2021-07-29 22:55:33 | <Guest84> | @undo [() | eval a] |
| 2021-07-29 22:55:33 | <lambdabot> | if eval a then [()] else [] |
| 2021-07-29 22:55:38 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-29 22:56:26 | <deejaytee> | fresheyeball: nice logo :) |
| 2021-07-29 22:58:26 | <fresheyeball> | deejaytee: thanks! |
| 2021-07-29 23:00:11 | <monochrom> | What motivated you to name it Platonic? |
| 2021-07-29 23:01:16 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-07-29 23:01:56 | <fresheyeball> | monochrom: it sort of expresses what I am going for |
| 2021-07-29 23:02:12 | <fresheyeball> | I want to find a way to plug mathmatical objects into buisness |
| 2021-07-29 23:02:55 | × | Guest84 quits (~Guest84@125-63-24-117.ip4.superloop.com) (Quit: Client closed) |
| 2021-07-29 23:03:21 | → | son0p joins (~ff@181.136.122.143) |
| 2021-07-29 23:04:30 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-29 23:04:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-29 23:15:45 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:9526:d20a:c7ef:dc9b) |
| 2021-07-29 23:18:27 | ← | delYsid parts (~user@84-115-55-45.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50)) |
| 2021-07-29 23:20:26 | <dsal> | I missed some of arkanoid's conversation of lack of purity. Is it just because you can do `unsafePerformIO`? |
| 2021-07-29 23:21:26 | <dsal> | But obviously we only write type signatures now that we have https://haskellwingman.dev |
| 2021-07-29 23:24:31 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-29 23:24:33 | <qrpnxz> | xD |
| 2021-07-29 23:25:39 | <qrpnxz> | hm, found a typo on that page |
| 2021-07-29 23:25:45 | <qrpnxz> | anybody got a contact for em |
| 2021-07-29 23:25:59 | × | deejaytee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-07-29 23:26:50 | <sm> | congrats fresheyeball |
| 2021-07-29 23:27:42 | <sm> | trivia: what did you use to build the site ? |
| 2021-07-29 23:28:06 | <fresheyeball> | sm: it's written in Nix |
| 2021-07-29 23:28:12 | <qrpnxz> | wot |
| 2021-07-29 23:28:25 | <fresheyeball> | the html and css are written in nix |
| 2021-07-29 23:28:27 | <sm> | did not expect that answer :) |
| 2021-07-29 23:28:44 | <fresheyeball> | https://github.com/ursi/nix-css |
| 2021-07-29 23:28:46 | <qrpnxz> | that's completely wack, why did you do that |
| 2021-07-29 23:28:46 | <fresheyeball> | here is a taste |
| 2021-07-29 23:29:05 | <fresheyeball> | because Nix is a great language for code generation, and that's what a static site is, generated code |
| 2021-07-29 23:29:30 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 276 seconds) |
| 2021-07-29 23:29:40 | <qrpnxz> | hm, fairenough |
| 2021-07-29 23:30:02 | <qrpnxz> | guess it's probably like an xml stylesheet |
| 2021-07-29 23:30:47 | <qrpnxz> | how many people you got in your company btw |
| 2021-07-29 23:31:32 | <qrpnxz> | 5-10 it looks like |
| 2021-07-29 23:32:04 | <qrpnxz> | colorado, interesting |
| 2021-07-29 23:32:15 | <fresheyeball> | according to gitlab it's 97% Nix, 1.5% TypeScript, and 1.5% CSS |
| 2021-07-29 23:32:33 | <fresheyeball> | qrpnxz: we are small, like 8 people |
| 2021-07-29 23:32:55 | <qrpnxz> | It looks interesting. Reminds me of Jane Street |
| 2021-07-29 23:34:43 | <dsal> | Hey, I know some of those languages you have listed. |
| 2021-07-29 23:34:55 | <fresheyeball> | lol |
| 2021-07-29 23:35:28 | <qrpnxz> | i hope you make money |
| 2021-07-29 23:35:30 | <dsal> | I'm so close to liking elm. It's missing some major features as a language, but it's so much better than javascript that I forgive it. |
| 2021-07-29 23:35:53 | <fresheyeball> | dsal: Elm is great for the use-cases where it's great |
| 2021-07-29 23:36:05 | <dsal> | Ha, yeah. I've used it for a couple of those. |
| 2021-07-29 23:36:10 | <qrpnxz> | >dyalog apl |
| 2021-07-29 23:36:13 | <qrpnxz> | so spicy |
| 2021-07-29 23:36:36 | <dsal> | I tried to use it to explain a concept to my interns that they're implementing in typescript. I think they got my concept, but then looked back at typescript and got lost. |
| 2021-07-29 23:37:38 | <qrpnxz> | rip |
| 2021-07-29 23:38:46 | <qrpnxz> | i'm hearing pythong finally got types |
| 2021-07-29 23:38:51 | <qrpnxz> | i bet it's still slow tho |
| 2021-07-29 23:39:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-07-29 23:39:51 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 2021-07-29 23:41:53 | <dsal> | adding types to python is like adding types to javascript. It seems to just make it generally worse. |
| 2021-07-29 23:50:11 | → | vysn joins (~vysn@user/vysn) |
| 2021-07-29 23:53:45 | × | viluon quits (uid453725@id-453725.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-29 23:56:42 | → | vicfred_ joins (~vicfred@user/vicfred) |
| 2021-07-29 23:59:08 | × | vicfred quits (~vicfred@user/vicfred) (Ping timeout: 250 seconds) |
| 2021-07-30 00:02:36 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Quit: The Lounge - https://thelounge.chat) |
| 2021-07-30 00:06:31 | × | ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2021-07-30 00:07:02 | <Axman6> | I've been working on translating a python project which makes heavy use of the new types stuff into Haskell, and once you understand what the translation is, it's been fairly mechanical. I should get back to that |
| 2021-07-30 00:12:58 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-07-30 00:19:27 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-07-30 00:20:06 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-07-30 00:25:07 | × | epolanski quits (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-30 00:26:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-30 00:27:39 | × | vicfred_ quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-07-30 00:31:15 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 276 seconds) |
All times are in UTC.