Logs: liberachat/#haskell
| 2021-06-17 03:35:33 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-17 03:36:36 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 268 seconds) |
| 2021-06-17 03:36:45 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-06-17 03:40:33 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 244 seconds) |
| 2021-06-17 03:42:12 | → | slice joins (~slice@user/slice) |
| 2021-06-17 03:43:26 | → | sekun joins (~sekun@180.190.218.16) |
| 2021-06-17 03:44:42 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-17 03:48:05 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 03:48:54 | × | beka quits (~beka@107.115.32.34) (Ping timeout: 264 seconds) |
| 2021-06-17 03:49:33 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-06-17 03:50:33 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-17 03:52:11 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 03:52:38 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 268 seconds) |
| 2021-06-17 03:54:01 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-17 03:54:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-17 03:54:53 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-17 03:56:44 | <jophish> | <iridescent "what do you guys think about dep"> FWIW, in the machine learning I've done I've greatly preferred Python to Haskell, as much as it pains me to say it |
| 2021-06-17 03:57:07 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Client Quit) |
| 2021-06-17 03:57:07 | <jophish> | but I think this is much less to do with the type system than the huge amount of existing code/examples available for python |
| 2021-06-17 03:57:27 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 2021-06-17 03:57:41 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-17 03:57:54 | <jophish> | however, many ML programs are run-once where every code path is traversed, so imo types don't really buy you much (as you'll almost certainly discover any errors at runtime) |
| 2021-06-17 04:01:44 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 244 seconds) |
| 2021-06-17 04:02:07 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds) |
| 2021-06-17 04:03:55 | × | alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 272 seconds) |
| 2021-06-17 04:04:28 | × | renzhi quits (~xp@2607:fa49:6540:6e00::2b77) (Ping timeout: 268 seconds) |
| 2021-06-17 04:05:20 | → | systemhalted joins (~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) |
| 2021-06-17 04:06:01 | × | systemhalted quits (~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-17 04:06:09 | → | sbmsr joins (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) |
| 2021-06-17 04:06:45 | → | fabfianda joins (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) |
| 2021-06-17 04:06:48 | × | alx741 quits (~alx741@181.196.68.42) (Quit: alx741) |
| 2021-06-17 04:08:19 | → | systemhalted joins (~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) |
| 2021-06-17 04:08:46 | × | systemhalted quits (~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-17 04:09:04 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-17 04:09:21 | → | biberu\ joins (~biberu@user/biberu) |
| 2021-06-17 04:09:29 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 244 seconds) |
| 2021-06-17 04:10:28 | biberu\ | is now known as biberu |
| 2021-06-17 04:10:39 | <Axman6> | iiis that from Grenade? if not, you should look at Grenade (and also read jle's blog post on using the singletons library, which uses similar ideas as an example) |
| 2021-06-17 04:13:06 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 244 seconds) |
| 2021-06-17 04:16:23 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 04:16:27 | <jophish> | ah, mainly from tensorflow |
| 2021-06-17 04:16:31 | <jophish> | haven't tried grenade |
| 2021-06-17 04:17:23 | → | alex3 joins (~alex3@BSN-77-82-41.static.siol.net) |
| 2021-06-17 04:20:30 | × | jao quits (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 268 seconds) |
| 2021-06-17 04:21:18 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 264 seconds) |
| 2021-06-17 04:23:47 | → | systemhalted joins (~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) |
| 2021-06-17 04:24:50 | → | jneira_ joins (~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) |
| 2021-06-17 04:26:09 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-17 04:29:36 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 04:32:46 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 04:33:12 | → | matrixbridge joins (~matrixbri@2001:470:69fc:105::3456) |
| 2021-06-17 04:33:13 | ← | matrixbridge parts (~matrixbri@2001:470:69fc:105::3456) () |
| 2021-06-17 04:33:18 | × | systemhalted quits (~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2021-06-17 04:34:34 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-17 04:34:45 | × | slice quits (~slice@user/slice) (Quit: zzz) |
| 2021-06-17 04:35:01 | × | slack1256 quits (~slack1256@191.125.99.208) (Remote host closed the connection) |
| 2021-06-17 04:37:06 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 240 seconds) |
| 2021-06-17 04:39:14 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 252 seconds) |
| 2021-06-17 04:39:22 | → | trent joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-06-17 04:39:33 | <Axman6> | one day I'mm make the RPG library which uses Accelerate as a backend for Grenade |
| 2021-06-17 04:41:03 | <Axman6> | ll* |
| 2021-06-17 04:42:37 | <Axman6> | jophish: https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html |
| 2021-06-17 04:42:50 | <Axman6> | shame iridescent left |
| 2021-06-17 04:44:44 | × | sbmsr quits (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) (Ping timeout: 252 seconds) |
| 2021-06-17 04:44:52 | <int-e> | . o O ( wtb: slice syntax for type annotations. bar . (:: Int) . foo ) |
| 2021-06-17 04:45:14 | <Axman6> | wasn't that a proposal at some point? |
| 2021-06-17 04:45:24 | <Axman6> | also, don't type applications usually get you that? |
| 2021-06-17 04:46:01 | <int-e> | Maybe but not with :: |
| 2021-06-17 04:46:37 | <int-e> | id @Int just doesn't read the same |
| 2021-06-17 04:46:44 | <jophish> | `id @Int`? |
| 2021-06-17 04:46:48 | <jophish> | haha |
| 2021-06-17 04:46:50 | <Axman6> | bar @Int . foo though |
| 2021-06-17 04:47:01 | × | trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 268 seconds) |
| 2021-06-17 04:47:15 | <int-e> | Axman6: that's not reliable |
| 2021-06-17 04:47:27 | <Axman6> | Or, if someone made the type vars come in a shitty order, bar @_ @_ @_ @_ @Int . foo |
| 2021-06-17 04:47:50 | <int-e> | Imagine bar :: F a -> a where F is a type family. |
| 2021-06-17 04:48:06 | <int-e> | you can't even rely on the type to feature at all |
| 2021-06-17 04:48:16 | <Axman6> | so gross |
| 2021-06-17 04:48:39 | <Axman6> | retype bar to (b ~ F a) => b -> a |
| 2021-06-17 04:48:40 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 04:48:41 | <int-e> | though maybe in that case you'll need to fix the a anyway, so this may be a strawperson |
| 2021-06-17 04:48:52 | <Axman6> | yeah |
| 2021-06-17 04:49:34 | <Axman6> | I'll have no human, agriculture hybrids here! |
| 2021-06-17 04:52:53 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 244 seconds) |
| 2021-06-17 04:55:13 | → | pe200012_ joins (~pe200012@183.63.73.44) |
| 2021-06-17 04:58:39 | × | zmt00 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2021-06-17 05:00:09 | → | zmt00 joins (~zmt00@user/zmt00) |
| 2021-06-17 05:00:38 | × | alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 244 seconds) |
| 2021-06-17 05:02:24 | × | P1RATEZ quits (piratez@user/p1ratez) () |
| 2021-06-17 05:02:42 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-17 05:02:48 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-17 05:06:13 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-17 05:07:56 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 05:10:17 | → | sbmsr joins (~pi@104-6-130-18.lightspeed.miamfl.sbcglobal.net) |
| 2021-06-17 05:10:18 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 240 seconds) |
| 2021-06-17 05:12:54 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds) |
| 2021-06-17 05:13:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-17 05:16:27 | × | shailangsa quits (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2021-06-17 05:17:21 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-06-17 05:18:33 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
All times are in UTC.