Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 86 87 88 89 90 91 92 93 94 95 96 .. 5022
— 502,152 events total
2020-09-20 08:36:49 <cheater> yes
2020-09-20 08:36:50 <int-e> cheater: fair enough, I should've asked why they want sandboxes first.
2020-09-20 08:36:52 <cheater> use v2-*
2020-09-20 08:36:58 <cheater> int-e: it's okay :)
2020-09-20 08:36:59 → acidjnk_new2 joins (~acidjnk@p200300d0c736584378afc0f7e05aaafd.dip0.t-ipconnect.de)
2020-09-20 08:37:08 <shad0w_> thanks @cheater
2020-09-20 08:37:09 <cheater> int-e: you were trying to help, that's what matters :)
2020-09-20 08:37:12 <cheater> yw shad0w_
2020-09-20 08:37:51 <shad0w_> one more thing
2020-09-20 08:37:59 <shad0w_> there are v2- commands like you said.
2020-09-20 08:38:11 <shad0w_> there also happens to be some `new-` commands
2020-09-20 08:38:27 <shad0w_> do they succeed `v2-` commands ?
2020-09-20 08:38:59 <shad0w_> thanks @int-e too : )
2020-09-20 08:39:32 × kori quits (~kori@arrowheads/kori) (Quit: WeeChat 2.8)
2020-09-20 08:39:50 <int-e> shad0w_: no, the new- command are the v2- commands
2020-09-20 08:40:46 <cheater> new-* is the current new stuff. once we have v3, new will refer to v3 and not v2 any more.
2020-09-20 08:40:49 <cheater> v2 is forever v2.
2020-09-20 08:40:52 <cheater> until it gets removed.
2020-09-20 08:40:52 <int-e> For historical reasons, the old commands were there, then the 'new-' commands were added. Then somebody realized that this will make the switch awkward, and the 'v1-' aliases for the old commands and the 'v2-' aliases for the new commands were added.
2020-09-20 08:41:09 <int-e> By now the 'v2-' commands are the default, and the 'new-' prefix is confusing.
2020-09-20 08:41:39 <shad0w_> so the new- seems like a pointer to the newest stuff, which just happens to be v2- in this case ?
2020-09-20 08:41:43 → Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch)
2020-09-20 08:41:53 <shad0w_> while v2- is always hard v2-
2020-09-20 08:42:04 <cheater> yes
2020-09-20 08:42:09 <shad0w_> got it.
2020-09-20 08:42:21 <shad0w_> damn you guys are helpful.
2020-09-20 08:42:25 <shad0w_> : )
2020-09-20 08:42:48 <shad0w_> happy weekend guys.
2020-09-20 08:42:58 <int-e> cheater: please tell me there are no current plans for a v3 set of cabal commands.
2020-09-20 08:43:00 → fendor joins (~fendor@212095005091.public.telering.at)
2020-09-20 08:43:06 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-09-20 08:43:09 <cheater> int-e: not that i know of
2020-09-20 08:43:20 <cheater> int-e: but that's what i was told some time ago
2020-09-20 08:43:26 <cheater> you too shad0w_
2020-09-20 08:43:40 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-20 08:43:51 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-09-20 08:45:33 → kori joins (~kori@arrowheads/kori)
2020-09-20 08:45:45 → coot joins (~coot@37.30.55.202.nat.umts.dynamic.t-mobile.pl)
2020-09-20 08:46:54 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-20 08:47:23 → knupfer1 joins (~Thunderbi@i59F7FF48.versanet.de)
2020-09-20 08:48:16 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-20 08:49:47 knupfer1 is now known as knupfer
2020-09-20 08:50:14 × coot quits (~coot@37.30.55.202.nat.umts.dynamic.t-mobile.pl) (Client Quit)
2020-09-20 08:50:30 → coot joins (~coot@37.30.55.202.nat.umts.dynamic.t-mobile.pl)
2020-09-20 08:51:02 × Orbstheorem quits (~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 260 seconds)
2020-09-20 08:52:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-20 08:52:57 → jedws joins (~jedws@121.209.139.222)
2020-09-20 08:54:04 → kicov joins (959c7c03@nat.ds3.agh.edu.pl)
2020-09-20 08:58:19 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds)
2020-09-20 08:58:37 × ericsagnes quits (~ericsagne@2405:6580:0:5100:e941:4ff:7183:882c) (Ping timeout: 260 seconds)
2020-09-20 09:00:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-20 09:00:38 <kicov> Hi, was just wondering how to approach doing things with State monad and liquid haskell. Let's say our state is int, and we'd like a check for a function `successor` that checks whether the current int is mod 2. If it is, then we return state+1, if it isn't, boom.
2020-09-20 09:00:52 ← stites[m] parts (stitesmatr@gateway/shell/matrix.org/x-yuspkxyvracibmrk) ("Kicked by @appservice-irc:matrix.org : Idle for 30+ days")
2020-09-20 09:04:28 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-20 09:07:03 → ph88 joins (~ph88@ip5f5af726.dynamic.kabel-deutschland.de)
2020-09-20 09:08:58 → thc202 joins (~thc202@unaffiliated/thc202)
2020-09-20 09:09:04 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-20 09:10:59 → ericsagnes joins (~ericsagne@2405:6580:0:5100:2032:8cd9:bb36:4db2)
2020-09-20 09:11:28 × blackfield quits (~blackfiel@unaffiliated/blackfield) (Quit: see you)
2020-09-20 09:12:27 → hiroaki joins (~hiroaki@2a02:908:4b14:d500:8d4c:a111:9cac:718b)
2020-09-20 09:13:22 → Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-20 09:15:48 × asan quits (~yan4138@124.78.18.192) (Ping timeout: 256 seconds)
2020-09-20 09:17:52 × TooDifficult quits (~TooDiffic@139.59.59.230) (Quit: TooDifficult)
2020-09-20 09:18:09 → TooDifficult joins (~TooDiffic@139.59.59.230)
2020-09-20 09:18:16 × TooDifficult quits (~TooDiffic@139.59.59.230) (Remote host closed the connection)
2020-09-20 09:18:31 → TooDifficult joins (~TooDiffic@139.59.59.230)
2020-09-20 09:18:38 → oxide joins (~lambda@unaffiliated/mclaren)
2020-09-20 09:22:07 × TooDifficult quits (~TooDiffic@139.59.59.230) (Client Quit)
2020-09-20 09:22:58 × OscarZ quits (~oscarz@95.175.104.39) (Quit: Leaving)
2020-09-20 09:23:11 × unlink__ quits (~unlink2@p200300ebcf25bd0068eb9d9c94da2a17.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-09-20 09:24:22 × knupfer quits (~Thunderbi@i59F7FF48.versanet.de) (Ping timeout: 272 seconds)
2020-09-20 09:24:46 → unlink2 joins (~unlink2@p5dc0ae0e.dip0.t-ipconnect.de)
2020-09-20 09:25:01 <ski> kicov : sounds like you want to encode precondition and postcondition on the state, that is some kind of Hoare triple ?
2020-09-20 09:25:26 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-20 09:29:00 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-09-20 09:29:48 → kayvan`` joins (~user@52-119-115-243.PUBLIC.monkeybrains.net)
2020-09-20 09:30:01 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-20 09:30:59 × suppi quits (~suppi@172.246.241.246) (Ping timeout: 240 seconds)
2020-09-20 09:31:13 × kayvan` quits (~user@52-119-115-243.PUBLIC.monkeybrains.net) (Ping timeout: 246 seconds)
2020-09-20 09:31:36 → suppi joins (~suppi@2605:f700:40:c00::e6fc:6842)
2020-09-20 09:31:47 × drbean quits (~drbean@TC210-63-209-213.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in)
2020-09-20 09:33:11 × mirrorbird quits (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Quit: Leaving)
2020-09-20 09:33:34 × mpereira quits (~mpereira@2a02:810d:f40:d96:b46b:1e98:8653:4550) (Ping timeout: 244 seconds)
2020-09-20 09:34:02 × jedws quits (~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-20 09:38:11 → eric_ joins (~eric@2804:431:c7d4:402a:4dc9:97ef:220b:73aa)
2020-09-20 09:42:34 → ph88^ joins (~ph88@ip5f5af726.dynamic.kabel-deutschland.de)
2020-09-20 09:42:42 × eric_ quits (~eric@2804:431:c7d4:402a:4dc9:97ef:220b:73aa) (Ping timeout: 260 seconds)
2020-09-20 09:43:05 × ph88 quits (~ph88@ip5f5af726.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-09-20 09:46:06 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-20 09:48:06 <dminuoso> kicov: What is "boom"?
2020-09-20 09:50:33 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-20 09:53:28 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-09-20 09:55:37 <kicov> dminuoso: failed constraint
2020-09-20 09:56:44 → priyesh joins (~priyesh@84.39.117.57)
2020-09-20 09:57:18 × sw1nn quits (~sw1nn@host81-146-21-49.range81-146.btcentralplus.com) (Quit: WeeChat 2.9)
2020-09-20 09:58:07 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-09-20 09:58:23 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-09-20 09:58:40 → sw1nn joins (~sw1nn@host81-146-21-49.range81-146.btcentralplus.com)
2020-09-20 09:59:39 <ski> kicov : so, what does "checks whether the current int is mod 2" mean ?
2020-09-20 10:00:35 <kicov> ski: Never heard of them, but that would be possible. Maybe continuation passing style could have a similiar problem
←Prev  Next→
Page 1 .. 86 87 88 89 90 91 92 93 94 95 96 .. 5022

All times are in UTC.