On 10 July 2014 11:43, Matt Oliveri <[email protected]> wrote: > On Wed, Jul 9, 2014 at 9:29 PM, Jonathan S. Shapiro <[email protected]> wrote: >> On Wed, Jul 9, 2014 at 5:57 PM, Raoul Duke <[email protected]> wrote: >>> possible to make it a separate system, like Dialyizer or (sorta) Typed >>> Racket so that the core language doesn't care, and the >>> inference/analysis can be revised and revamped separately? >> >> Not possible. The inference mechanism is the type checker. > > I don't see why not. You'd have a separate type checker with better > inference that would add the necessary explicit coercions to the > source code for the basic type checker to swallow.
This last hour of work has felt a little like this: < sql_server> [results] < wleslie> Thanks MS SQL Server Query optimiser - you've done a great job, this is instantaneous! < wleslie> query_optimiser: Hey, can you give me some table hints that will get me the same performance next time I ask you to do this? < query_optimiser> No, but you can see which indexes I used in the query plan. * wleslie annotates < wleslie> Ok, how's this? < wleslie> [query] [ sql_server has quit: ping timeout 13 seconds] I'll probably just go back to java making recursive queries. -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely MAY reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without prior contractual agreement. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
