2014-04-01 23:38:52 +0000qxjit(~qxjit@c-76-108-71-131.hsd1.fl.comcast.net)
2014-04-01 23:38:59 +0000S11001001(~sirian@fsf/member/S11001001) (Quit: ERC Version 5.3 (IRC client for Emacs))
2014-04-01 23:40:11 +0000NoNNaN(~NoNNaN@gateway/tor-sasl/nonnan) (Remote host closed the connection)
2014-04-01 23:41:30 +0000NoNNaN(~NoNNaN@gateway/tor-sasl/nonnan)
2014-04-02 00:08:56 +0000NoNNaN(~NoNNaN@gateway/tor-sasl/nonnan) (Remote host closed the connection)
2014-04-02 00:12:35 +0000NoNNaN(~NoNNaN@gateway/tor-sasl/nonnan)
2014-04-02 00:16:15 +0000Rotaerk(~BlahBlahB@c-174-54-255-117.hsd1.pa.comcast.net)
2014-04-02 00:18:16 +0000qxjit(~qxjit@c-76-108-71-131.hsd1.fl.comcast.net) (Remote host closed the connection)
2014-04-02 00:23:39 +0000wipi(~wipi@2001:4898:80e0:ed43::2) (Quit: Leaving)
2014-04-02 00:42:29 +0000Ari-Ugwu(~Ari-Ugwu@c-71-62-213-150.hsd1.va.comcast.net) (Read error: Connection reset by peer)
2014-04-02 00:42:48 +0000Ari-Ugwu(~Ari-Ugwu@c-71-62-213-150.hsd1.va.comcast.net)
2014-04-02 00:44:06 +0000 <jrmithdobbs> is there an equivilent of ($) ?
2014-04-02 00:44:50 +0000 <jrmithdobbs> or just live with the parens?
2014-04-02 00:47:26 +0000 <jrmithdobbs> eg, it'd be nice to be able to say: seq $ Seq.singleton $ f "str" :?> IEnumerator; instead of seq (Seq.singleton (f "str")) :?> IEnumerator
2014-04-02 00:49:16 +0000 <xenocons> jrmithdobbs: |>
2014-04-02 00:49:50 +0000 <jrmithdobbs> xenocons: that can get rid of the outter but not inner
2014-04-02 00:50:04 +0000 <xenocons> true
2014-04-02 00:50:25 +0000 <xenocons> Seq.singleton (f << "str") maybe
2014-04-02 00:50:30 +0000 <xenocons> hmm still parens
2014-04-02 00:50:39 +0000 <xenocons> yeah, not sure about that 1
2014-04-02 00:51:22 +0000 <jrmithdobbs> is there anything with : (a -> b) -> a -> b
2014-04-02 00:51:52 +0000 <jrmithdobbs> why is it so hard to search f# docs by types and why doesn't fsi have #t =/
2014-04-02 00:54:21 +0000 <jrmithdobbs> oh hey this seems to work as i'd intuit
2014-04-02 00:54:38 +0000 <jrmithdobbs> f "str" |> Seq.singleton |> seq :?> IEnumerator
2014-04-02 00:55:26 +0000 <jrmithdobbs> (that's actually being deconstructed from something larger obv, not Seq.singleton and seq ;p)
2014-04-02 00:56:18 +0000 <gauthier> is there anything like haskell's $ operator (https://hackage.haskell.org/package/base-4.6.0.1/docs/Prelude.html#v:-36-) ?
2014-04-02 00:56:45 +0000 <jrmithdobbs> gauthier: that was my original question ;p
2014-04-02 00:57:06 +0000 <jrmithdobbs> :t ($)
2014-04-02 00:57:07 +0000 <jrmithdobbs> ($) :: (a -> b) -> a -> b
2014-04-02 00:57:39 +0000 <gauthier> jrmithdobbs: seeing this now... sorry about that
2014-04-02 00:57:55 +0000 <xenocons> oh right
2014-04-02 00:58:28 +0000 <xenocons> jrmithdobbs: you can remove the parameters with << >> if you want
2014-04-02 00:59:10 +0000 <jrmithdobbs> it's the downcast or w/e you call the result of :?> at the end that makes this particular example annoying
2014-04-02 00:59:44 +0000 <xenocons> yes
2014-04-02 01:00:12 +0000 <xenocons> i usually move downcasting out of the composition and intoa seperate function