Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 .. 5022
— 502,152 events total
2020-11-20 23:06:36 <monochrom> "print (init xs)" can start printing the early elements right away.
2020-11-20 23:06:48 <monochrom> It also stays in O(1) spacee.
2020-11-20 23:07:24 <glguy> > head (init (1:2:undefined))
2020-11-20 23:07:26 <lambdabot> 1
2020-11-20 23:07:53 <monochrom> "print (take (length xs -1) xs)" will take its time to count the list length. Also when the counting is done, you're occupying 10^10 units of space memoizing the whole bloody list.
2020-11-20 23:08:10 → hlisp joins (~hlisp@114.246.35.11)
2020-11-20 23:08:15 <minimario> oh i see
2020-11-20 23:08:27 <monochrom> Factoring in thrashing, it is as good as taking forever.
2020-11-20 23:09:00 <monochrom> Lt. Cmd. Data says, "believe me, for an android, 4.2 seconds feels like forever"
2020-11-20 23:09:43 <monochrom> Now marvel at how I could pun on "take" so many times.
2020-11-20 23:09:47 <minimario> haha makes sense, thanks guys:)
2020-11-20 23:10:14 <minimario> just starting to learn these constructs, always feels very weird seeing what is inside Data.List and what is not
2020-11-20 23:10:25 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-20 23:10:57 × FreeBirdLjj quits (~freebirdl@101.228.42.108) (Ping timeout: 260 seconds)
2020-11-20 23:12:41 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:4914:be02:68a7:933e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-20 23:13:05 × hlisp quits (~hlisp@114.246.35.11) (Ping timeout: 265 seconds)
2020-11-20 23:14:31 hackage tart 0.3 - Terminal Art https://hackage.haskell.org/package/tart-0.3 (JonathanDaugherty)
2020-11-20 23:14:36 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-11-20 23:15:14 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 256 seconds)
2020-11-20 23:16:05 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:154:88ea:8f88:a5f)
2020-11-20 23:19:22 → christo joins (~chris@81.96.113.213)
2020-11-20 23:19:25 × son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal)
2020-11-20 23:19:56 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-20 23:22:17 → conal joins (~conal@64.71.133.70)
2020-11-20 23:22:31 → hlisp joins (~hlisp@114.246.35.11)
2020-11-20 23:24:12 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 265 seconds)
2020-11-20 23:24:37 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-11-20 23:25:03 <texasmynsted> How does overloaded strings work? Specifically right here --> https://gist.github.com/mmynsted/7a7d365b20159bfcbb02f5e8371f1c82#file-gistfile1-txt-L48
2020-11-20 23:25:14 <texasmynsted> I do not think that I should need toText
2020-11-20 23:25:23 <texasmynsted> But I do.
2020-11-20 23:25:35 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-11-20 23:25:36 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-11-20 23:25:52 <monochrom> overloaded strings is for string literals only. You have a variable.
2020-11-20 23:26:37 → ph88_ joins (~ph88@2a02:8109:9e00:7e5c:11e6:1867:44b7:d623)
2020-11-20 23:26:50 <texasmynsted> well snap, that makes perfect sense then
2020-11-20 23:27:02 × cawfee quits (chiya@2406:3003:2077:2341::babe) (Ping timeout: 260 seconds)
2020-11-20 23:27:06 × jneira quits (02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192) (Ping timeout: 265 seconds)
2020-11-20 23:27:18 × hlisp quits (~hlisp@114.246.35.11) (Ping timeout: 260 seconds)
2020-11-20 23:28:14 → cawfee joins (chiya@2406:3003:2077:2341::babe)
2020-11-20 23:30:02 × ph88^ quits (~ph88@ip5f5af6cd.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2020-11-20 23:32:12 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-20 23:33:31 × minimario quits (2fe3e53b@047-227-229-059.res.spectrum.com) (Remote host closed the connection)
2020-11-20 23:34:11 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-20 23:34:22 <texasmynsted> I forget where that toText came from
2020-11-20 23:35:56 <texasmynsted> oooh I bet from relude
2020-11-20 23:36:19 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 246 seconds)
2020-11-20 23:36:46 × neiluj quits (~jco@unaffiliated/neiluj) (Ping timeout: 265 seconds)
2020-11-20 23:36:54 → hlisp joins (~hlisp@114.246.35.11)
2020-11-20 23:37:01 × revprez_stg quits (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2020-11-20 23:37:53 <moet> glguy: picking up on our discussion from a few days ago: i'm embedding an external runtime in haskell via a c api and the Boolean package
2020-11-20 23:38:24 <moet> eventually i settled on a type family to map haskell types to their representation in the external thing
2020-11-20 23:38:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-20 23:38:26 → hekkaidekapus} joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-20 23:38:40 <moet> and then i just implement all the numeric classes against the representation tiype
2020-11-20 23:38:41 → revprez_stg joins (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-11-20 23:38:46 <moet> ish
2020-11-20 23:40:23 × hekkaidekapus{ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-20 23:41:16 × hlisp quits (~hlisp@114.246.35.11) (Ping timeout: 240 seconds)
2020-11-20 23:41:39 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:154:88ea:8f88:a5f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-20 23:42:52 <Axman6> monochrom: aww, you never showed ths zipWith const xs (drop 2 xs)
2020-11-20 23:42:52 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-20 23:43:01 → Tario joins (~Tario@201.192.165.173)
2020-11-20 23:44:33 <texasmynsted> okay. why would relude's toText be found in the main app but not for the test?
2020-11-20 23:45:13 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-20 23:46:10 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-20 23:47:26 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-20 23:48:46 <texasmynsted> yes. Okay that was it.
2020-11-20 23:48:54 <texasmynsted> :-)
2020-11-20 23:49:16 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-20 23:51:35 → hlisp joins (~hlisp@114.246.35.11)
2020-11-20 23:53:30 × enoq quits (~textual@194-208-146-143.lampert.tv) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-20 23:55:47 <texasmynsted> How does this ./test work for tasty? https://github.com/feuerbach/tasty#readme
2020-11-20 23:56:07 <texasmynsted> I can run `cabal test`.
2020-11-20 23:56:13 → kokwok joins (2fe3e53b@047-227-229-059.res.spectrum.com)
2020-11-20 23:56:17 <kokwok> how can i write sumNumbers x = sum (map read (wordsBy (not . isDigit) x)) with point free notation?
2020-11-20 23:56:19 <texasmynsted> But I see no way to pass the parameters to the tests
2020-11-20 23:56:38 × hlisp quits (~hlisp@114.246.35.11) (Ping timeout: 272 seconds)
2020-11-20 23:58:00 <monochrom> sum . map read . wordsBy (not . isDigit)
2020-11-20 23:58:48 <jcd> I humbly come back in search of assistance.
2020-11-21 00:00:05 → Tario joins (~Tario@201.192.165.173)
2020-11-21 00:00:43 <texasmynsted> What is "When using the standard console runner," that is referenced in the Tasty readme?
2020-11-21 00:01:00 <texasmynsted> I mean what is the "standard console runner"?
2020-11-21 00:01:08 × Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 256 seconds)
2020-11-21 00:01:14 <texasmynsted> I would expect it to be "cabal test"
2020-11-21 00:01:42 × solonarv quits (~solonarv@astrasbourg-653-1-156-4.w90-6.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2020-11-21 00:01:54 × LittleFox quits (~littlefox@rondra.lf-net.org) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2020-11-21 00:01:54 × beng-nl1 quits (~beng-nl@217.146.82.202) (Remote host closed the connection)
2020-11-21 00:02:05 → LittleFox joins (~littlefox@rondra.lf-net.org)
2020-11-21 00:02:26 × LittleFox quits (~littlefox@rondra.lf-net.org) (Client Quit)
2020-11-21 00:02:36 → LittleFox joins (~littlefox@rondra.lf-net.org)
2020-11-21 00:02:42 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-21 00:02:46 <dsal> texasmynsted: You can think of OverloadedStrings as replacing every occurrence of `"x"` with `fromString "x'`
2020-11-21 00:02:49 <dsal> :t fromString
2020-11-21 00:02:50 <lambdabot> IsString a => String -> a
2020-11-21 00:03:08 <dsal> It doesn't mess up your quotes like I did, though.
2020-11-21 00:03:15 <texasmynsted> gotcha
2020-11-21 00:06:01 → hlisp joins (~hlisp@114.246.35.11)
2020-11-21 00:07:12 → Cthalupa joins (~cthulhu@47.186.47.75)
2020-11-21 00:07:54 → bbro joins (~bbro@c-24-4-176-204.hsd1.ca.comcast.net)
2020-11-21 00:07:59 × kokwok quits (2fe3e53b@047-227-229-059.res.spectrum.com) (Ping timeout: 245 seconds)
←Prev  Next→
Page 1 .. 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 .. 5022

All times are in UTC.