Logs: liberachat/#haskell
| 2021-07-18 17:50:22 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-07-18 17:50:28 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-18 17:51:08 | <h98> | dumb question, is there a way to avoid the inner parentheses in the type application "@(f (g a b))"? something like @(f $ g a b) on the type-level? |
| 2021-07-18 17:51:19 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-07-18 17:51:44 | <monochrom> | No. |
| 2021-07-18 17:52:24 | × | turlando_ quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Quit: Leaving) |
| 2021-07-18 17:52:33 | <dmj`> | type Foo f g a b = f (g a b) -- @(Foo f g a b) ... maybe? |
| 2021-07-18 17:52:37 | → | oso joins (~oso@2601:58c:c080:a950:e67d:b4e2:c5be:433f) |
| 2021-07-18 17:52:37 | → | turlando_ joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-07-18 17:54:21 | <h98> | oooh |
| 2021-07-18 17:54:39 | <davean> | I guess the Haskellish form would be "sort = must (\xs -> all id . map (\(x,y) -> x <= y) . zip xs $ tail xs) randomizeOrder |
| 2021-07-18 17:54:40 | <h98> | yes duh, that works...thanks |
| 2021-07-18 17:55:10 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-18 17:56:16 | × | qrpnxz quits (~qrpnxz@user/qrpnxz) (Ping timeout: 272 seconds) |
| 2021-07-18 17:57:35 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-18 17:59:50 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 18:00:33 | × | azeem quits (~azeem@176.200.195.170) (Ping timeout: 268 seconds) |
| 2021-07-18 18:00:56 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 18:02:24 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-07-18 18:03:38 | <guest61> | update message is Nothing |
| 2021-07-18 18:03:45 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-18 18:05:23 | <h98> | I can't get over that trick by the way davean, no more nested parentheses in any of my type expressions! |
| 2021-07-18 18:05:35 | <guest61> | update message is Nothing |
| 2021-07-18 18:05:36 | <davean> | Yu mean dmj`? |
| 2021-07-18 18:05:55 | <h98> | sorry yes, dmj` hah |
| 2021-07-18 18:06:06 | <davean> | *I'd* nest the parens because its less indirection :-p |
| 2021-07-18 18:06:22 | × | Guest77 quits (~Guest77@2402:e280:2117:297:ecf8:f374:8704:f843) (Quit: Client closed) |
| 2021-07-18 18:06:35 | <dmj`> | "One weird trick to remove your parentheses... lisp programmers *hate* him" |
| 2021-07-18 18:06:36 | <davean> | (Not if the alias had semantics weight of its own though) |
| 2021-07-18 18:09:49 | × | Guest31 quits (~Guest31@76-236-222-208.lightspeed.tukrga.sbcglobal.net) (Quit: Client closed) |
| 2021-07-18 18:10:42 | → | qrpnxz joins (~qrpnxz@user/qrpnxz) |
| 2021-07-18 18:10:50 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 18:11:57 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 18:15:10 | → | azeem joins (~azeem@dynamic-adsl-94-34-39-251.clienti.tiscali.it) |
| 2021-07-18 18:15:54 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-18 18:21:57 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Ping timeout: 250 seconds) |
| 2021-07-18 18:24:54 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-18 18:25:56 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-18 18:26:22 | → | burnside_ joins (~burnsides@client-8-82.eduroam.oxuni.org.uk) |
| 2021-07-18 18:27:24 | × | burnside_ quits (~burnsides@client-8-82.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-07-18 18:29:27 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-07-18 18:31:30 | → | burnsidesLlama joins (~burnsides@client-8-82.eduroam.oxuni.org.uk) |
| 2021-07-18 18:34:52 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-18 18:36:19 | × | burnsidesLlama quits (~burnsides@client-8-82.eduroam.oxuni.org.uk) (Ping timeout: 268 seconds) |
| 2021-07-18 18:37:34 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:f938:d06a:9ad7:b39c) |
| 2021-07-18 18:40:14 | × | lbseale quits (~lbseale@user/ep1ctetus) (Remote host closed the connection) |
| 2021-07-18 18:40:37 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-18 18:47:25 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-07-18 18:49:11 | × | h98 quits (~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-07-18 18:49:45 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-07-18 18:53:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-18 18:54:44 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2021-07-18 18:55:12 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-07-18 18:58:45 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-18 18:58:52 | <guest61> | update message is Nothing |
| 2021-07-18 19:03:47 | <monochrom> | guest61: What is all that about? |
| 2021-07-18 19:04:12 | <guest61> | update message is Nothing |
| 2021-07-18 19:04:17 | ChanServ | sets mode +o monochrom |
| 2021-07-18 19:04:23 | monochrom | sets mode +b *!*@47.245.54.240 |
| 2021-07-18 19:04:23 | guest61 | is kicked by monochrom (guest61) |
| 2021-07-18 19:04:36 | monochrom | sets mode -o monochrom |
| 2021-07-18 19:05:49 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-18 19:05:53 | → | Null_A joins (~null_a@2601:645:8700:2290:a961:38e5:e25d:7cd0) |
| 2021-07-18 19:07:08 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 258 seconds) |
| 2021-07-18 19:09:49 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-18 19:12:25 | <tom__> | So if you are modelling a stochastic process as a comonad how do you get the randomness for each step if IO is a monad |
| 2021-07-18 19:13:08 | × | Guest9 quits (~Guest9@103.250.139.40) (Quit: Connection closed) |
| 2021-07-18 19:13:09 | <dsal> | Guest9: update message is (Just Quit) |
| 2021-07-18 19:13:32 | dsal | is too late and missed |
| 2021-07-18 19:13:51 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-18 19:14:33 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 2021-07-18 19:17:29 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-18 19:18:07 | <davean> | tom__: or randomness is a source for the cell |
| 2021-07-18 19:19:17 | <tom__> | davean: Right but you can't product a cell without being in IO then? |
| 2021-07-18 19:19:20 | <tom__> | produce |
| 2021-07-18 19:20:11 | <davean> | tom__: I mean, you don't need to be in IO to step a pseudo random function |
| 2021-07-18 19:20:30 | <davean> | You can do all sorts of things |
| 2021-07-18 19:20:48 | <davean> | the particular one I'd start with is taking one seed value, and splitting a prf to all the "cells" |
| 2021-07-18 19:21:10 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-07-18 19:22:59 | <dsal> | > randomRs (1, 11) $ mkStdGen 42 |
| 2021-07-18 19:23:00 | <lambdabot> | [1,8,1,3,2,8,5,3,6,10,9,3,10,11,9,2,1,11,3,3,9,3,3,9,1,7,9,8,6,7,4,2,7,1,3,2... |
| 2021-07-18 19:25:31 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-18 19:27:44 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-18 19:28:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-07-18 19:28:18 | <tom__> | Does the Random package allow sampling from a normal distribution? |
| 2021-07-18 19:28:53 | <geekosaur> | yes, as of 1.2 |
| 2021-07-18 19:29:02 | <tom__> | thanks |
| 2021-07-18 19:29:19 | <davean> | tom__: I mean it provides random numbers, sampling from is a way to *use* randomness |
| 2021-07-18 19:29:19 | <tom__> | Does "Constructs a StdGen deterministically." mean - not randomly? |
| 2021-07-18 19:29:58 | <davean> | Uh, the construction is never random persay |
| 2021-07-18 19:29:59 | <geekosaur> | if the input you give it is deterministic then yes |
| 2021-07-18 19:30:00 | <dsal> | > randomRs (1, 11) $ mkStdGen 42 -- tom__ yes, it means it'll reproduce the same sequence |
| 2021-07-18 19:30:01 | <lambdabot> | [1,8,1,3,2,8,5,3,6,10,9,3,10,11,9,2,1,11,3,3,9,3,3,9,1,7,9,8,6,7,4,2,7,1,3,2... |
| 2021-07-18 19:30:11 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-18 19:30:20 | × | MorrowM quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 255 seconds) |
| 2021-07-18 19:31:16 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-07-18 19:31:21 | <tom__> | Ah ok so mkStdGen enables "decoupling" between IO and your computation |
| 2021-07-18 19:31:23 | → | mdunnio joins (~textual@205.178.28.97) |
| 2021-07-18 19:31:47 | <dsal> | Yes. There are MonadIO variants in there as well. |
| 2021-07-18 19:31:58 | <geekosaur> | you can also get a randomly generated seed from IO and do the rest purely |
All times are in UTC.