Logs: freenode/#haskell
| 2021-03-05 05:21:04 | <Lycurgus> | *u ctlr |
| 2021-03-05 05:21:43 | <Lycurgus> | also the very idea of hs at that hdw level is imho, daft |
| 2021-03-05 05:22:28 | <Lycurgus> | though you are sure to find differing opinions on that here |
| 2021-03-05 05:23:45 | <Lycurgus> | sometimes, 'embedded' means just inside something without scale implications, then that could be quite different |
| 2021-03-05 05:24:45 | → | KeithAdams joins (~KeithAdam@cpe-76-88-2-16.san.res.rr.com) |
| 2021-03-05 05:24:56 | <Lycurgus> | also hs talking to a convention u ctrl based system / net of devices would work |
| 2021-03-05 05:24:57 | <heck-to-the-gnom> | I mean small chips like arduino, and smaller boards like rasberry pis |
| 2021-03-05 05:25:16 | <Lycurgus> | yeah that's what I meant |
| 2021-03-05 05:25:51 | <Lycurgus> | atmel, for example, which I worked with a couple of ya, are often like 32K |
| 2021-03-05 05:25:58 | <heck-to-the-gnom> | Well, it's certainly no easy task, but I think that could be a fun hobby project one summer |
| 2021-03-05 05:26:03 | <Lycurgus> | the device I worked with was anyway |
| 2021-03-05 05:26:05 | <heck-to-the-gnom> | making one myself that is |
| 2021-03-05 05:26:37 | ← | KeithAdams parts (~KeithAdam@cpe-76-88-2-16.san.res.rr.com) () |
| 2021-03-05 05:26:38 | <Lycurgus> | yeah there's surely existing projects, and ghcjs |
| 2021-03-05 05:28:25 | <heck-to-the-gnom> | Woah, I just had a crazy idea, and I'd have to do more research, but ghcjs is either exactly this, or similar: WASM Haskell. If I ever have to do web dev, that's what I'm doing, everything else be damned |
| 2021-03-05 05:28:49 | × | redmp quits (~redmp@172.58.35.185) (Ping timeout: 276 seconds) |
| 2021-03-05 05:29:26 | <Lycurgus> | *conventional |
| 2021-03-05 05:30:26 | × | jrm quits (~jrm@freebsd/developer/jrm) (Quit: ciao) |
| 2021-03-05 05:30:43 | → | jrm joins (~jrm@freebsd/developer/jrm) |
| 2021-03-05 05:30:46 | <heck-to-the-gnom> | Oh, GHCJS is a bit different, but aside from performance, the same thing |
| 2021-03-05 05:35:21 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-03-05 05:38:24 | × | ezrakilty quits (~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-05 05:41:28 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-03-05 05:43:39 | × | forgottenone quits (~forgotten@176.88.30.190) (Quit: Konversation terminated!) |
| 2021-03-05 05:49:10 | × | carlomagno quits (~cararell@148.87.23.4) (Quit: Leaving.) |
| 2021-03-05 05:51:23 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-05 05:51:26 | → | bmuller joins (~brent@168.103.131.108) |
| 2021-03-05 05:56:46 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 276 seconds) |
| 2021-03-05 05:58:32 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-05 06:02:04 | <ephemient> | heck-to-the-gnom: I've never used https://github.com/tweag/asterius but it is apparently haskell→wasm. they have some web demos |
| 2021-03-05 06:04:19 | qih__ | is now known as qih |
| 2021-03-05 06:08:38 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-03-05 06:10:21 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:5cf2:2052:1645:5a49) () |
| 2021-03-05 06:11:20 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:1479:545e:89b1:d1b9) |
| 2021-03-05 06:13:24 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-05 06:14:49 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-05 06:15:18 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-05 06:15:22 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-03-05 06:15:27 | → | nineonin_ joins (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) |
| 2021-03-05 06:15:57 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-05 06:19:29 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 260 seconds) |
| 2021-03-05 06:19:44 | × | bmuller quits (~brent@168.103.131.108) (Quit: Leaving.) |
| 2021-03-05 06:20:49 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 276 seconds) |
| 2021-03-05 06:22:12 | → | bmuller joins (~brent@168.103.131.108) |
| 2021-03-05 06:25:16 | × | nineonin_ quits (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) (Remote host closed the connection) |
| 2021-03-05 06:25:58 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 2021-03-05 06:30:02 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-05 06:30:33 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds) |
| 2021-03-05 06:30:46 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-03-05 06:31:13 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-05 06:31:37 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-05 06:32:57 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2021-03-05 06:35:28 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 2021-03-05 06:38:21 | <Aleksejs_Home> | hey, can someone explain why the first one works but the second one fails? http://vpaste.net/OR9Zk |
| 2021-03-05 06:39:40 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-mlrllmnzmzixcljr) (Quit: Connection closed for inactivity) |
| 2021-03-05 06:40:52 | → | toblorone joins (4c674b05@gateway/web/cgi-irc/kiwiirc.com/ip.76.103.75.5) |
| 2021-03-05 06:41:19 | × | jess quits (jess@freenode/staff/jess) (Quit: K-Lined) |
| 2021-03-05 06:47:29 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-05 06:47:46 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-05 06:48:57 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds) |
| 2021-03-05 06:49:09 | <mniip> | Aleksejs_Home, because x and 100 have different types here |
| 2021-03-05 06:49:31 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-03-05 06:51:06 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-03-05 06:51:06 | × | shatriff quits (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 2021-03-05 06:51:21 | → | shatriff joins (~vitaliish@protective.remission.volia.net) |
| 2021-03-05 06:51:29 | <mniip> | x :: (RealFrac a, Floating a) => a |
| 2021-03-05 06:51:34 | <mniip> | 100 :: Integral a => a |
| 2021-03-05 06:52:09 | <mniip> | there's no type that inhabits both |
| 2021-03-05 06:52:20 | <mniip> | in more concrete terms, your x is probably a Double, and your 100 is probably an Integer |
| 2021-03-05 06:52:43 | <mniip> | er, I'm talking about the 100 in (100 `mod` n) |
| 2021-03-05 06:52:53 | <mniip> | the other 100 has the same type as x |
| 2021-03-05 06:53:22 | <mniip> | so in the former piece of code you have two 100's that have different types |
| 2021-03-05 06:53:24 | <mniip> | ;) |
| 2021-03-05 06:54:09 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-05 06:55:10 | <Aleksejs_Home> | so, sqrt defines the type of x there? |
| 2021-03-05 06:58:36 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:1479:545e:89b1:d1b9) (Remote host closed the connection) |
| 2021-03-05 07:00:34 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 2021-03-05 07:00:36 | ← | bmuller parts (~brent@168.103.131.108) () |
| 2021-03-05 07:01:08 | <mniip> | Aleksejs_Home, yes |
| 2021-03-05 07:01:19 | <mniip> | sqrt has the same input and output type |
| 2021-03-05 07:01:37 | <mniip> | notably, haskell doesn't do subtyping in arithmetic like you would see in most other languages |
| 2021-03-05 07:01:50 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-05 07:01:50 | <mniip> | if you have x :: Int, you can't do `sqrt x` |
| 2021-03-05 07:01:58 | → | psutcliffe joins (~psutcliff@m83-185-90-134.cust.tele2.se) |
| 2021-03-05 07:02:13 | <mniip> | and if you do \x -> (sqrt x, x `mod` 2) |
| 2021-03-05 07:02:23 | <mniip> | that fixes x to be an Integral, and is a type error |
| 2021-03-05 07:02:27 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Remote host closed the connection) |
| 2021-03-05 07:03:08 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 2021-03-05 07:05:06 | Aleksejs_Home | is now known as Aleksejs |
| 2021-03-05 07:05:38 | → | maier joins (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2021-03-05 07:05:51 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-05 07:05:59 | × | maier quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Client Quit) |
| 2021-03-05 07:06:39 | → | maier joins (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2021-03-05 07:07:53 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds) |
| 2021-03-05 07:08:24 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0.1) |
| 2021-03-05 07:08:28 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-05 07:10:35 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-jksqnlfrjzjlkhlm) (Quit: Connection closed for inactivity) |
| 2021-03-05 07:11:07 | → | malumore joins (~malumore@151.62.119.233) |
| 2021-03-05 07:15:37 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-05 07:17:53 | × | shatriff quits (~vitaliish@protective.remission.volia.net) () |
All times are in UTC.