Camelia, the Perl 6 bug

IRC log for #bioclipse, 2008-01-10

| Channels | #bioclipse index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:59 CIA-20 bioclipse: edrin_t * r4652 /trunk/xws-client/src/net/bioclipse/xws/client/ (10 files in 5 dirs): disco stuff
08:49 olas joined #bioclipse
08:51 rojasm joined #bioclipse
09:03 Annzi joined #bioclipse
09:06 EskilA joined #bioclipse
09:13 steinbeck joined #bioclipse
09:17 jonalv joined #bioclipse
09:18 jonalv never do live demo!
09:18 * jonalv is not having a great day...
09:18 * jonalv is off to try again, cya
09:28 EskilA joined #bioclipse
10:26 EskilA joined #bioclipse
10:28 masak joined #bioclipse
12:21 masak joined #bioclipse
12:28 edrin joined #bioclipse
12:28 Annzi left #bioclipse
12:32 masak sadly, we cannot realistically expect to be able to tab complete on something like `rhino.getShell().`
12:33 masak i.e. where parts of the expression is a funtion
12:34 masak the limitation is in js, which doesn't have return types in the way Java does
12:38 olas I see
12:38 olas that's ok
12:49 edrin in principle this is possible
12:50 masak edrin: do tell
12:50 edrin do ;)?
12:50 masak is that the solution?
12:50 edrin well, to do this you need a javascript editor
12:51 masak how would that help?
12:51 edrin that analyzes and recognizes what you type...
12:51 masak edrin: still seems like you would run up against at least the halting problem
12:51 masak which is something I tend to avoid running up against
12:52 edrin what is the halting problem?
12:52 masak edrin: the fact that for a general algorithm, you cannot determine whether it will run forever or not
12:53 masak http://en.wikipedia.org/wiki/Halting_problem
12:53 masak this will be a problem when analysing a given js function
12:54 masak also, we might not have access to the function, because it might be in a library somewhere
12:54 edrin maybe i missed too much of the conversation... ah
12:54 edrin no
12:55 edrin the plugin that implements the javascript rhino engine knows about all the classpathes the engine could see.
12:56 edrin if the plugin also comes with a javascript editor, the editor has to interpret the stuff written in it: then look up stuff in the classpath and return certain info...
12:57 masak still, the problem is that even though we know in this case that `rhino.getShell()` will return `rhino.shell`, we can make no such assumption in the general case
12:57 masak and running the method to check what it returns would be evil indeed
12:57 masak so we're stuck
12:57 edrin example: the javaeditor (or whatever-editor in eclipse or any other IDE) is doing very much the same...
12:57 masak edrin: yes, but...
12:58 masak javascript does not have the concept of return types that Java does
12:58 masak it is due to return types that a Java IDE can infer types of a method call
12:58 masak in js, we cannot do that
12:59 edrin but you do not interpet classes and functions in js but in java - the language the editor is written in
13:00 edrin masak: it is no that a function has to be called to find out what type of object is returned...
13:02 Annzi joined #bioclipse
13:02 edrin anyway; this is very complicate and a lot of work...
13:02 masak edrin: no, it's impossible
13:02 masak not complicated; impossible
13:02 Annzi left #bioclipse
13:02 masak example = function(param) { return param % 2 == 0 ? new Array : 4; }
13:03 masak what return type does example have?
13:03 Annzi joined #bioclipse
13:05 masak example2 = function() { while(1); }
13:05 masak what return type does example2 have?
13:06 edrin its void
13:06 masak so functions that run forever are void?
13:06 jonalv functions that have no return type are woid. Whether they finnish or not have nothing to do with it
13:07 masak jonalv: lovely.
13:07 masak in js, no functions have a return type
13:07 masak which leaves us with, um, nothing to go by
13:08 masak in js, there is no such thing as a return type
13:08 jonalv which was your point. I know...
13:08 masak yes
13:09 masak though it might be possible to do some special magic for imported methods, whose java parallels do have a return type
13:09 masak maybe that is what edrin means
13:10 masak it would indeed be a lot of work
13:10 edrin masak: yes, that's what i mean
13:10 masak ok
13:11 masak if someone explicitly requests that functionality, I might attempt it
13:12 masak hm -- tab completion in R hangs right now
13:12 * masak fixes
13:15 jonalv masak I hereby explicitly request that functionlity :)
13:15 masak jonalv: skit på dig
13:21 CIA-20 bioclipse: carl_masak * r4653 /branches/bioclipse2/core/plugins/net.bioclipse.u​i/src/net/bioclipse/ui/views/JsConsoleView.java:
13:21 CIA-20 bioclipse: [JsConsoleView.java]
13:21 CIA-20 bioclipse: * turned off tab completion in R mode
13:37 CIA-20 bioclipse: jonalv * r4654 /trunk/playground/plugins/net.bioclip​se.expression.tests/src/net/bioclipse​/expression/tests/FunctionsTest.java: Added test for a newly found bug in net.bioclipse.expression
13:44 CIA-20 bioclipse: carl_masak * r4655 /trunk/playground/plugins/net.bioclip​se.expression.tests/src/net/bioclipse​/expression/tests/FunctionsTest.java:
13:44 CIA-20 bioclipse: [FunctionsTest.java]
13:44 CIA-20 bioclipse: * streamlined the test
13:51 CIA-20 bioclipse: carl_masak * r4656 /trunk/playground/plugins/net.bioclip​se.expression.tests/src/net/bioclipse​/expression/tests/FunctionsTest.java:
13:51 CIA-20 bioclipse: [FunctionsTest.java]
13:51 CIA-20 bioclipse: * streamlined the test
14:24 thomas_ku joined #bioclipse
14:35 masak joined #bioclipse
14:46 CIA-20 bioclipse: carl_masak * r4657 /trunk/playground/plugins/net.bioclipse.expressi​on/src/net/bioclipse/expression/Calculator.java:
14:46 CIA-20 bioclipse: [Calculator.java]
14:46 CIA-20 bioclipse: * before calling a function, the calculator is cloned
14:46 CIA-20 bioclipse: * this means that the function cannot affect the parsing of the expression
14:46 CIA-20 bioclipse: * all tests now pass in FunctionsTest
14:55 CIA-20 bioclipse: carl_masak * r4658 /trunk/playground/plugins/net.bioclipse.expressio​n/src/net/bioclipse/expression/FunctionBody.java:
14:55 CIA-20 bioclipse: [FunctionBody.java]
14:55 CIA-20 bioclipse: * added javadoc
15:05 EskilA joined #bioclipse
15:16 CIA-20 bioclipse: carl_masak * r4659 /trunk/playground/plugins/net.bioclipse.expressio​n/src/net/bioclipse/expression/FunctionBody.java:
15:16 CIA-20 bioclipse: [FunctionBody.java]
15:16 CIA-20 bioclipse: * word choice
15:40 EskilA joined #bioclipse
15:52 CIA-20 bioclipse: jonalv * r4660 /trunk/playground/plugins/net.bioclipse.keyring/ (2 files in 2 dirs): Attempt at fixing a windows related gui bug. Didn't work though. Will have another look at it later when on a windows machine...
16:34 olas left #bioclipse
17:11 Annzi left #bioclipse
22:38 edr1n joined #bioclipse
22:39 edrin left #bioclipse

| Channels | #bioclipse index | Today | | Search | Google Search | Plain-Text | summary