Logs: liberachat/#haskell
| 2021-05-25 00:26:45 | → | kritzefitz_ joins (~kritzefit@picard.host.weltraumschlangen.de) |
| 2021-05-25 00:26:48 | × | kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-05-25 00:26:48 | kritzefitz_ | is now known as kritzefitz |
| 2021-05-25 00:26:58 | <trueboxguy> | Like the most important aspect of this is the type system |
| 2021-05-25 00:27:10 | <trueboxguy> | but of course the language has to be functional |
| 2021-05-25 00:27:20 | → | horex539 joins (~horex539@2a02:a03f:6aa5:a00:ac6a:b00a:da1e:7b7d) |
| 2021-05-25 00:27:30 | <boxscape> | I wonder if someone has made a language with imperative type-level programming |
| 2021-05-25 00:27:42 | <trueboxguy> | Haskell already does it |
| 2021-05-25 00:27:43 | → | ben_ joins (~int0x0c@72.65.101.148) |
| 2021-05-25 00:27:45 | → | jrm2 joins (~jrm@156.34.187.65) |
| 2021-05-25 00:27:46 | × | pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-05-25 00:27:46 | <lbseale> | OCaml? |
| 2021-05-25 00:27:50 | <trueboxguy> | rofl |
| 2021-05-25 00:28:00 | <boxscape> | haskell does imperative type-level programming? |
| 2021-05-25 00:28:21 | × | jrm quits (~jrm@156.34.187.65) (Ping timeout: 264 seconds) |
| 2021-05-25 00:28:21 | jrm2 | is now known as jrm |
| 2021-05-25 00:28:37 | <boxscape> | Not too familiar with what's possible on the type level with ocaml |
| 2021-05-25 00:28:38 | → | ziman joins (~ziman@c25-5.condornet.sk) |
| 2021-05-25 00:28:53 | × | nisstyre quits (~wes@user/nisstyre) (Ping timeout: 264 seconds) |
| 2021-05-25 00:28:59 | ski_ | is now known as ski |
| 2021-05-25 00:29:09 | <trueboxguy> | I mean I feel like someone could hack something together |
| 2021-05-25 00:29:26 | <trueboxguy> | There's no reason Haskell shouldn't be able to do it (except for the difficulty in doing type level programming in haskell) |
| 2021-05-25 00:29:32 | <trueboxguy> | I've done a bit of it though |
| 2021-05-25 00:29:37 | → | absence_ joins (torgeihe@hildring.pvv.ntnu.no) |
| 2021-05-25 00:29:38 | <boxscape> | I suppose that's true, yeah |
| 2021-05-25 00:29:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-05-25 00:29:54 | <trueboxguy> | I once had the only difference for a day of AOC be the type of the output |
| 2021-05-25 00:30:05 | × | absence quits (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 264 seconds) |
| 2021-05-25 00:30:05 | × | adamse quits (sid72084@user/adamse) (Ping timeout: 264 seconds) |
| 2021-05-25 00:30:05 | × | cocreature quits (~moritz@46.101.189.229) (Ping timeout: 264 seconds) |
| 2021-05-25 00:30:23 | × | bgamari quits (~int0x0c@mobile-166-171-187-199.mycingular.net) (Ping timeout: 272 seconds) |
| 2021-05-25 00:30:27 | → | adamse joins (sid72084@user/adamse) |
| 2021-05-25 00:31:05 | <boxscape> | nice |
| 2021-05-25 00:32:00 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:ac6a:b00a:da1e:7b7d) (Ping timeout: 265 seconds) |
| 2021-05-25 00:32:07 | zgrep_ | is now known as zgrep |
| 2021-05-25 00:32:12 | <trueboxguy> | lots of people with box in their name |
| 2021-05-25 00:32:22 | hugs | is now known as oats |
| 2021-05-25 00:32:28 | <du> | /nick dubox |
| 2021-05-25 00:32:51 | → | ddellacosta joins (~ddellacos@89.46.62.117) |
| 2021-05-25 00:33:25 | <trueboxguy> | there are lots of catamorphism enjoyers at my school, if that's of interest to you |
| 2021-05-25 00:34:52 | × | pretty_dumm_guy quits (~trottel@91.207.172.188) (Quit: WeeChat 3.2-dev) |
| 2021-05-25 00:35:27 | → | nisstyre joins (~wes@user/nisstyre) |
| 2021-05-25 00:35:43 | → | shachaf_ joins (~shachaf@li227-219.members.linode.com) |
| 2021-05-25 00:36:04 | → | ozzymcdu1f joins (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-25 00:36:08 | × | ozzymcduff quits (~mathieu@81.234.151.21) (Ping timeout: 264 seconds) |
| 2021-05-25 00:36:08 | × | shachaf quits (~shachaf@user/shachaf) (Ping timeout: 264 seconds) |
| 2021-05-25 00:36:08 | × | Arsen quits (~arsen@fosshost/volunteer/ArsenArsen) (Ping timeout: 264 seconds) |
| 2021-05-25 00:36:20 | → | Arsen joins (~arsen@fosshost/volunteer/ArsenArsen) |
| 2021-05-25 00:36:41 | × | pounce quits (~pounce@user/pounce) (Ping timeout: 264 seconds) |
| 2021-05-25 00:37:12 | × | hpc quits (~juzz@98.169.35.13) (*.net *.split) |
| 2021-05-25 00:37:12 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (*.net *.split) |
| 2021-05-25 00:37:12 | × | nshepperd quits (~nshepperd@li364-218.members.linode.com) (*.net *.split) |
| 2021-05-25 00:37:12 | × | dfg quits (~dfg@user/dfg) (*.net *.split) |
| 2021-05-25 00:37:12 | × | np quits (znc@user/nerdypepper) (*.net *.split) |
| 2021-05-25 00:37:12 | × | winny quits (~winny@107.191.50.41) (*.net *.split) |
| 2021-05-25 00:37:12 | × | sajith quits (~sajith@marsh.hcoop.net) (*.net *.split) |
| 2021-05-25 00:37:12 | × | krjst quits (~krjst@134.209.38.54) (*.net *.split) |
| 2021-05-25 00:37:12 | × | canta quits (~canta@user/canta) (*.net *.split) |
| 2021-05-25 00:37:12 | × | tolt quits (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 2021-05-25 00:37:12 | × | juri_ quits (~juri@178.63.35.222) (*.net *.split) |
| 2021-05-25 00:37:12 | × | pja quits (~pja@mail.kantaka.co.uk) (*.net *.split) |
| 2021-05-25 00:37:12 | × | leah2 quits (~leah@vuxu.org) (*.net *.split) |
| 2021-05-25 00:37:12 | × | yuglg quits (x@libera/staff/glguy) (*.net *.split) |
| 2021-05-25 00:37:19 | × | ddellacosta quits (~ddellacos@89.46.62.117) (Ping timeout: 265 seconds) |
| 2021-05-25 00:37:21 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-25 00:37:24 | → | dfg joins (~dfg@li490-89.members.linode.com) |
| 2021-05-25 00:37:24 | → | yuglg joins (x@libera/staff/glguy) |
| 2021-05-25 00:37:25 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-05-25 00:37:25 | → | juri_ joins (~juri@178.63.35.222) |
| 2021-05-25 00:37:29 | → | pounce joins (~pounce@user/pounce) |
| 2021-05-25 00:37:29 | → | nerdy joins (znc@152.67.162.71) |
| 2021-05-25 00:37:30 | → | pja joins (~pja@2a02:8010:6098:0:f2de:f1ff:fe2c:3d9) |
| 2021-05-25 00:37:31 | <trueboxguy> | Ouch |
| 2021-05-25 00:37:32 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2021-05-25 00:37:34 | → | canta joins (~canta@user/canta) |
| 2021-05-25 00:37:53 | → | winny joins (~winny@2001:19f0:5c01:1de7:5400:1ff:fec6:4ab0) |
| 2021-05-25 00:38:21 | → | leah2 joins (~leah@vuxu.org) |
| 2021-05-25 00:38:24 | <arahael> | trueboxguy: if you do everything in IO, it's pretty conventional. |
| 2021-05-25 00:38:28 | × | fart quits (~fart@user/actor) (Quit: fart) |
| 2021-05-25 00:38:28 | → | krjst joins (~krjst@2604:a880:800:c1::16b:8001) |
| 2021-05-25 00:38:55 | → | tolt joins (~weechat-h@li219-154.members.linode.com) |
| 2021-05-25 00:39:06 | <trueboxguy> | arahael: which message are you referring to? |
| 2021-05-25 00:39:11 | <arahael> | boxscape: it's mostly similar except haskell is lazy by default so side effects tend to have to be very strictly avoided, but if you do everything in IO it's probably similar. |
| 2021-05-25 00:39:25 | <arahael> | trueboxguy: the imperative style question. |
| 2021-05-25 00:40:05 | <trueboxguy> | arahael: but you can't do that at the type level (for now :wink:) |
| 2021-05-25 00:41:46 | → | bgamari joins (~bgamari@2001:470:e438::1) |
| 2021-05-25 00:41:55 | → | learner-monad joins (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) |
| 2021-05-25 00:42:35 | → | berberman joins (~berberman@2408:8207:256a:ab00::a44) |
| 2021-05-25 00:43:11 | <m_shiraeeshi> | isn't IO contagious? I mean, if you want to do IO then you have to base your stack on IO monad |
| 2021-05-25 00:43:40 | <m_shiraeeshi> | although you can base it on MonadBase and substitute IO in main, right? |
| 2021-05-25 00:43:42 | × | ben_ quits (~int0x0c@72.65.101.148) (Quit: Leaving) |
| 2021-05-25 00:43:47 | × | nan`_ quits (~nan`@68.235.43.165) (Quit: Computer is sleeping. ZZZzzz…) |
| 2021-05-25 00:44:15 | × | jakzale quits (uid499518@id-499518.charlton.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-25 00:44:45 | <m_shiraeeshi> | MonadIO doesn't count because it can be considered the same as IO |
| 2021-05-25 00:45:26 | <wenzel> | m_shiraeeshi, it depends on context, there could be MonadIO when you need it, but other monads don’t have to have MonadIO in theirs constraints. still they would be compatible |
| 2021-05-25 00:46:44 | <m_shiraeeshi> | wenzel, yeah, if you don't need to use liftIO in some action, then you can omit the MonadIO constraint, I see |
| 2021-05-25 00:47:27 | → | sajith joins (~sajith@marsh.hcoop.net) |
| 2021-05-25 00:47:55 | × | kewa quits (~kewa@5.138.148.77) (Ping timeout: 272 seconds) |
| 2021-05-25 00:48:47 | → | berberman_ joins (~berberman@2408:8207:256b:4ae0:584e:a9ff:fe9b:d3fe) |
| 2021-05-25 00:49:58 | × | berberman quits (~berberman@2408:8207:256a:ab00::a44) (Ping timeout: 264 seconds) |
All times are in UTC.