Logs: freenode/#haskell
| 2021-03-22 16:35:30 | → | kiweun joins (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-03-22 16:36:00 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
| 2021-03-22 16:36:26 | → | pluze joins (5372161c@lfbn-idf3-1-428-28.w83-114.abo.wanadoo.fr) |
| 2021-03-22 16:38:20 | <titusg> | TheCommieDuck: that's pure/impure not partial/total isn't it? |
| 2021-03-22 16:38:32 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 2021-03-22 16:38:43 | <TheCommieDuck> | yes, just the only example of a rule of thumb for denoting a function is a certain way |
| 2021-03-22 16:38:54 | <TheCommieDuck> | I suppose like how monad transformers are FooT, idk |
| 2021-03-22 16:39:34 | <TheCommieDuck> | basically if there's a goto denotation for regularFoo vs partialFoo |
| 2021-03-22 16:40:59 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-03-22 16:41:51 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:3517:3251:7569:53c5) (Ping timeout: 265 seconds) |
| 2021-03-22 16:41:54 | <lyxia> | put a Maybe in its type |
| 2021-03-22 16:43:07 | <TheCommieDuck> | Yes, I'm specifically referring to having doFoo :: ... -> Maybe a and then partialFoo :: ... -> a for the cases where it's Just a or complete failure |
| 2021-03-22 16:43:30 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-22 16:43:39 | <lyxia> | so there's your answer. |
| 2021-03-22 16:43:55 | <TheCommieDuck> | And my question was if there is a naming convention for partialFoo. |
| 2021-03-22 16:44:45 | <geekosaur> | no, sadly |
| 2021-03-22 16:45:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-22 16:46:39 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-hdzjfjotgayyuqwv) |
| 2021-03-22 16:46:41 | → | apeyroux joins (~alex@78.20.138.88.rev.sfr.net) |
| 2021-03-22 16:47:33 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Read error: Connection reset by peer) |
| 2021-03-22 16:48:07 | ← | linarcx parts (~user@151.241.50.25) ("Killed buffer") |
| 2021-03-22 16:48:24 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-03-22 16:48:24 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-03-22 16:48:31 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 244 seconds) |
| 2021-03-22 16:48:40 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-22 16:49:07 | <maralorn> | Huh, I just had a really bad idea: What do you think about type directed operator precedence. Whenever the operator precedence is ambiguous but only one interpretation typechecks that one is chosen. |
| 2021-03-22 16:49:51 | <lyxia> | I heard lean does that. |
| 2021-03-22 16:50:37 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-03-22 16:50:48 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 246 seconds) |
| 2021-03-22 16:52:47 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-03-22 16:53:10 | × | xff0x quits (~xff0x@2001:1a81:52ec:b00:b309:634c:e93:e310) (Ping timeout: 244 seconds) |
| 2021-03-22 16:54:03 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:1f70:74b2:f5a9:8e18) |
| 2021-03-22 16:54:43 | × | Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-22 16:55:06 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-03-22 16:55:19 | <monochrom> | yikes |
| 2021-03-22 16:56:29 | <monochrom> | Mathematicians have the best designs on write-only notation. |
| 2021-03-22 16:57:23 | → | __minoru__shirae joins (~shiraeesh@109.166.57.171) |
| 2021-03-22 16:57:37 | <Taneb> | maralorn: then defining a new instance could cause a parse error :D |
| 2021-03-22 16:57:52 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-22 16:59:11 | <maralorn> | Taneb: Nice |
| 2021-03-22 17:01:22 | <monochrom> | I am not bothered by that one. In standard Haskell, defining an instance a second time already causes a type error. |
| 2021-03-22 17:01:31 | → | cfricke joins (cfricke@gateway/vpn/mullvad/cfricke) |
| 2021-03-22 17:01:36 | <monochrom> | or I guess declaration error |
| 2021-03-22 17:03:05 | → | v01d4lph4 joins (~v01d4lph4@223.190.38.71) |
| 2021-03-22 17:03:07 | × | v01d4lph4 quits (~v01d4lph4@223.190.38.71) (Read error: Connection reset by peer) |
| 2021-03-22 17:03:45 | → | v01d4lph4 joins (~v01d4lph4@223.190.38.71) |
| 2021-03-22 17:04:10 | <shapr> | rkrishnan: hi! |
| 2021-03-22 17:04:32 | → | idhugo__ joins (~idhugo@130.225.16.16) |
| 2021-03-22 17:04:32 | × | idhugo__ quits (~idhugo@130.225.16.16) (Read error: Connection reset by peer) |
| 2021-03-22 17:04:44 | edwardk | pops in and waves to shapr. |
| 2021-03-22 17:04:46 | <shapr> | rkrishnan: hopefully our free time will overlap soon! |
| 2021-03-22 17:04:54 | <shapr> | o hi edwardk , how you doin? |
| 2021-03-22 17:04:59 | <edwardk> | not too shabby |
| 2021-03-22 17:05:22 | <edwardk> | been writing a lot of haskell lately, mostly on discord with folks |
| 2021-03-22 17:05:57 | → | idhugo__ joins (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) |
| 2021-03-22 17:06:05 | <shapr> | o nice, is there a particular discord? |
| 2021-03-22 17:06:14 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-txtivmvabmjkksay) |
| 2021-03-22 17:06:22 | <edwardk> | https://discord.gg/dXd3DSt7 "haskell-twitch" is the one i was using when i was twitch-streaming |
| 2021-03-22 17:06:34 | <shapr> | I've been writing a lot of Haskell lately myself, but also dipping into category theory, array languages, my usual high voltage electronics |
| 2021-03-22 17:06:45 | <shapr> | I'm still hoping this project will set my hat on fire. |
| 2021-03-22 17:06:49 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Remote host closed the connection) |
| 2021-03-22 17:06:54 | × | apeyroux quits (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 246 seconds) |
| 2021-03-22 17:06:54 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-03-22 17:07:15 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-22 17:07:34 | <edwardk> | my connectivity down here isn't as good and i don't have my greenscreen setup or my second recording machine or my mic, or the hdmi capture thing, so its a bit clunkier than when i was twitch-streaming, but it's what i have |
| 2021-03-22 17:07:49 | <edwardk> | nice |
| 2021-03-22 17:08:34 | × | raichoo quits (~raichoo@dslb-188-100-010-076.188.100.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-03-22 17:08:50 | <edwardk> | i've been starting to figure out a nice way to wire up my tensor library from c++ to fast haskell by using horrible template-haskell tricks. that's my array language narrative. yet another iverson ghost |
| 2021-03-22 17:09:24 | × | Athas quits (athas@sigkill.dk) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-03-22 17:09:27 | <edwardk> | i did a proof of concept of linking ispc directly into haskell via template haskell quasiquotation the other day |
| 2021-03-22 17:09:53 | <edwardk> | replace ispc with cuda and put the edsl for constructing it in one module so i can splice it in another and i think it'd be a decent user experience |
| 2021-03-22 17:10:38 | <shapr> | that does sound lovely |
| 2021-03-22 17:10:51 | → | Athas joins (athas@sigkill.dk) |
| 2021-03-22 17:11:49 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 265 seconds) |
| 2021-03-22 17:13:19 | → | xff0x joins (~xff0x@2001:1a81:52ec:b00:79bd:e981:802a:de8e) |
| 2021-03-22 17:13:47 | <edwardk> | it really completely resolves my 'how do i talk to cuda from haskell' issues, because i can just splice in c++ that'll build compute kernels for me without having to laboriously ffi out to something in an external file and stub back over to haskell, etc. |
| 2021-03-22 17:13:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-22 17:14:36 | × | elusive quits (~Jeanne-Ka@static-198-54-134-109.cust.tzulo.com) (Quit: Leaving) |
| 2021-03-22 17:17:04 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
| 2021-03-22 17:17:54 | → | justan0theruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-22 17:18:46 | × | benkolera quits (uid285671@gateway/web/irccloud.com/x-sgsohxtqucnsegam) (Quit: Connection closed for inactivity) |
| 2021-03-22 17:18:56 | × | a3f quits (~a3f@chimeria.ext.pengutronix.de) (Ping timeout: 240 seconds) |
| 2021-03-22 17:19:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-22 17:19:20 | → | a3f joins (~a3f@chimeria.ext.pengutronix.de) |
| 2021-03-22 17:21:00 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 265 seconds) |
| 2021-03-22 17:21:20 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 240 seconds) |
| 2021-03-22 17:22:42 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) |
| 2021-03-22 17:25:35 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-22 17:25:57 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) |
| 2021-03-22 17:29:35 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-22 17:30:39 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:9c90:293f:5aba:9a46) (Remote host closed the connection) |
| 2021-03-22 17:35:03 | × | malumore quits (~malumore@151.62.119.219) (Ping timeout: 245 seconds) |
| 2021-03-22 17:36:47 | × | _flow_ quits (~none@salem.informatik.uni-erlangen.de) (Quit: WeeChat 2.9) |
| 2021-03-22 17:38:08 | × | mananamenos quits (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-03-22 17:38:48 | × | TheCommieDuck quits (~mark@79-68-31-106.dynamic.dsl.as9105.com) (Quit: WeeChat 3.1) |
| 2021-03-22 17:39:35 | <ski> | let `T' be a type. construct the least (restrictive) type `U' satisfying `T -> U' and `U = U + U + U' |
| 2021-03-22 17:40:07 | <ski> | let `T' be a type. construct the greatest (what's an appropriate term here ?) type `V' satisfying `V -> T' and `V = V * V * V' |
| 2021-03-22 17:40:30 | × | frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 246 seconds) |
| 2021-03-22 17:41:05 | × | LogicUpgrade quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-03-22 17:41:51 | → | frozenErebus joins (~frozenEre@94.128.81.87) |
All times are in UTC.