lispy 2017-02-18 20:48:24
biggest type is best type
dynamical_system 2017-02-18 20:48:47
Did yall crash lambdabot with it?
glguy 2017-02-18 20:49:14
nope
dynamical_system 2017-02-18 20:49:56
do itttt
MarcelineVQ 2017-02-18 20:50:49
> let x = x in x -- lambdabot has ways around that :>
lambdabot 2017-02-18 20:50:55
mueval-core: Time limit exceeded
dynamical_system 2017-02-18 20:51:40
:t let f1 x = (x,x); f2 = f1 . f1; f3 = f2 . f2; f4 = f3 . f3; f5 = f4 . f4; f6 = f5 . f5 in f6
dynamical_system 2017-02-18 20:52:12
whoopsies
lyxia 2017-02-18 20:55:18
> let areYouDead = "No" in areYouDead
lambdabot 2017-02-18 20:55:30
mueval: ExitFailure 1
dynamical_system 2017-02-18 20:55:47
whoopsies
dynamical_system 2017-02-18 20:56:58
> print "Hi!"
kadoban 2017-02-18 20:57:12
I would imagine it has trouble even type checking that thing, if the pattern holds. lambdabot is a champ though, it comes back.
dynamical_system 2017-02-18 20:57:54
Yeah, I think it's something along the lines of 2^(2^6) operations
MarcelineVQ 2017-02-18 20:58:03
I guess protections are just in place for expressions :>
MarcelineVQ 2017-02-18 20:58:11
she's prety clammed up atm
dynamical_system 2017-02-18 20:58:15
Which is about 2 * 10^19
dynamical_system 2017-02-18 20:58:33
Yeah, the typechecker isn't done in the same way I think
dynamical_system 2017-02-18 20:58:36
Compile vs run time
dynamical_system 2017-02-18 21:04:20
she's back on!
Axman6 2017-02-18 21:05:24
> iterate (shiftL 1) 2
lambdabot 2017-02-18 21:05:35
[2,4,16,65536,0,1,2,4,16,65536,0,1,2,4,16,65536,0,1,2,4,16,65536,0,1,2,4,16,...
dynamical_system 2017-02-18 21:05:45
neat
Axman6 2017-02-18 21:05:46
> iterate (shiftL 1) 2 :: [Integer]
lambdabot 2017-02-18 21:05:55
error:
lambdabot 2017-02-18 21:06:01
• Couldn't match type 'Int' with 'Integer'
Axman6 2017-02-18 21:06:18
> iterate (shiftL 1 . fromInteger) 2
lambdabot 2017-02-18 21:06:29
[2,4,16,65536,20035299304068464649790723515602557504478254755697514192650169...
tsahyt 2017-02-18 21:12:54
Hello! Is there a library that I can quickly use to plot functions, given as Floating a => a -> a? It'd be nice to use as a quick sanity check for some of the things I'm working on at the moment
tsahyt 2017-02-18 21:13:59
ideally something as simple as plot :: Floating a => (a -> a) -> IO ()
Axman6 2017-02-18 21:14:02
charts isn't quite that simple, but has excellent examples so you should be able to get it going pretty quickly
lispy 2017-02-18 21:15:59
tsahyt: yeah, that would be nice, but we don't have anything simple/fast like matlab and the likes. I think we just need someone to sit down and make a library like that.
lispy 2017-02-18 21:16:18
I've started on it before and then always just ended up using other stuff and moved on.
cocreature 2017-02-18 21:18:20
a more recent attempt at a plotting library is https://github.com/cchalmers/plots but I haven't used that or Charts so I can't comment on how they compare
tsahyt 2017-02-18 21:22:46
plots does look simple enough to be used on the fly I think
tsahyt 2017-02-18 21:23:00
all the charts examples render to files from what I can see
sternmull 2017-02-18 21:33:08
tsahyt: I think IHasekll could do interactive plotting and more.
sternmull 2017-02-18 21:33:56
s/IHasekll/IHaskell/
tsahyt 2017-02-18 21:40:34
QuickPlot looks rather nice but is no longer maintained :/
tsahyt 2017-02-18 21:40:43
and doesn't install on lts-8.0 anymore
MarcelineVQ 2017-02-18 21:42:06
https://www.stackage.org/haddock/lts-8.1/Chart-1.8.2/Graphics-Rendering-Chart-Easy.html is on lts 8, dunno anything about it
MarcelineVQ 2017-02-18 21:43:10
does look pretty straightforwards though to get started with it
