{"action":"created","issue":{"url":"https://api.github.com/repos/souffle-lang/souffle/issues/134","repository_url":"https://api.github.com/repos/souffle-lang/souffle","labels_url":"https://api.github.com/repos/souffle-lang/souffle/issues/134/labels{/name}","comments_url":"https://api.github.com/repos/souffle-lang/souffle/issues/134/comments","events_url":"https://api.github.com/repos/souffle-lang/souffle/issues/134/events","html_url":"https://github.com/souffle-lang/souffle/issues/134","id":159227459,"number":134,"title":"Remove unecessary compilaton ","user":{"login":"psubotic","id":374585,"avatar_url":"https://avatars.githubusercontent.com/u/374585?v=3","gravatar_id":"","url":"https://api.github.com/users/psubotic","html_url":"https://github.com/psubotic","followers_url":"https://api.github.com/users/psubotic/followers","following_url":"https://api.github.com/users/psubotic/following{/other_user}","gists_url":"https://api.github.com/users/psubotic/gists{/gist_id}","starred_url":"https://api.github.com/users/psubotic/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/psubotic/subscriptions","organizations_url":"https://api.github.com/users/psubotic/orgs","repos_url":"https://api.github.com/users/psubotic/repos","events_url":"https://api.github.com/users/psubotic/events{/privacy}","received_events_url":"https://api.github.com/users/psubotic/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/souffle-lang/souffle/milestones/4","html_url":"https://github.com/souffle-lang/souffle/milestones/1.0","labels_url":"https://api.github.com/repos/souffle-lang/souffle/milestones/4/labels","id":1730851,"number":4,"title":"1.0","description":"Initial release of Souffle, which is the minimum-viable-product","creator":{"login":"b-scholz","id":14209113,"avatar_url":"https://avatars.githubusercontent.com/u/14209113?v=3","gravatar_id":"","url":"https://api.github.com/users/b-scholz","html_url":"https://github.com/b-scholz","followers_url":"https://api.github.com/users/b-scholz/followers","following_url":"https://api.github.com/users/b-scholz/following{/other_user}","gists_url":"https://api.github.com/users/b-scholz/gists{/gist_id}","starred_url":"https://api.github.com/users/b-scholz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/b-scholz/subscriptions","organizations_url":"https://api.github.com/users/b-scholz/orgs","repos_url":"https://api.github.com/users/b-scholz/repos","events_url":"https://api.github.com/users/b-scholz/events{/privacy}","received_events_url":"https://api.github.com/users/b-scholz/received_events","type":"User","site_admin":false},"open_issues":3,"closed_issues":13,"state":"open","created_at":"2016-04-26T00:37:39Z","updated_at":"2016-06-08T23:11:50Z","due_on":null,"closed_at":null},"comments":3,"created_at":"2016-06-08T17:34:22Z","updated_at":"2016-06-08T23:30:50Z","closed_at":null,"body":"Hi,\r\n\r\nThe main attraction of Souffle is its compiler. While in the JDK use cases compilation times of several minutes were negligible to the overall analysis time not all use cases are like this. A particular use case I have in mind, benefits greatly from the compiled souffle however, its compilation time is unacceptable. Further certain queries remain fairly static over time (good!) yet a few are quite dynamic. It would be nice if souffle was able to separate these queries in separate compilation units so that only the queries that need to be regenerated are compiled and then can be linked to the other compilation units. Perhaps this requires some annotation on the part of the user in the souffle language. "},"comment":{"url":"https://api.github.com/repos/souffle-lang/souffle/issues/comments/224761998","html_url":"https://github.com/souffle-lang/souffle/issues/134#issuecomment-224761998","issue_url":"https://api.github.com/repos/souffle-lang/souffle/issues/134","id":224761998,"user":{"login":"b-scholz","id":14209113,"avatar_url":"https://avatars.githubusercontent.com/u/14209113?v=3","gravatar_id":"","url":"https://api.github.com/users/b-scholz","html_url":"https://github.com/b-scholz","followers_url":"https://api.github.com/users/b-scholz/followers","following_url":"https://api.github.com/users/b-scholz/following{/other_user}","gists_url":"https://api.github.com/users/b-scholz/gists{/gist_id}","starred_url":"https://api.github.com/users/b-scholz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/b-scholz/subscriptions","organizations_url":"https://api.github.com/users/b-scholz/orgs","repos_url":"https://api.github.com/users/b-scholz/repos","events_url":"https://api.github.com/users/b-scholz/events{/privacy}","received_events_url":"https://api.github.com/users/b-scholz/received_events","type":"User","site_admin":false},"created_at":"2016-06-08T23:30:50Z","updated_at":"2016-06-08T23:30:50Z","body":"One solution is to have modules that interact with each other and the programmer can decide whether a module is \"compiled\" or \"interpreted\". In your setup, this could make sense, i.e., the static modules would be compiled and the dynamic modules are interpreted. \r\n\r\nThe question here is how to handle the state transfer between modules. Ideally, we implement a runtime environment for modules that is also fully functional in the \"cloud\". This reminds me of the discussions we had in the past about the component model as well."}}
{"actor":{"display_login":"b-scholz"}}