Layout Options
Which layout option do you want to use?
Wide
Boxed
Color Schemes
Which theme color do you want to use? Select from here.
Reset color
Reset Background
Forums
New posts
Trending
Random
What's new
New posts
Latest activity
Rules
Libraries
New Audios
New Comments
Search Profile Audios
Clubs
Public Events
Log in
Register
What's new
Search
Search
Search titles only
By:
New posts
Trending
Random
Menu
Log in
Register
Install the app
Install
JavaScript is disabled. For a better experience, please enable JavaScript in your browser before proceeding.
You are using an out of date browser. It may not display this or other websites correctly.
You should upgrade or use an
alternative browser
.
Reply to thread
Forums
Boards
/g/ - Technology
A Governed Model of Deterministic Program Execution
Message
<blockquote data-quote="wait whattt? :o" data-source="post: 68146" data-attributes="member: 564"><p>WOah! This is honestly so cool.</p><p></p><p>I am a beginner in CS so excuse my questions if they are stupid but:</p><p>Does that mean that the functions are not allowed to rely on the results of effects? Because otherwise, I can imagine how a function would not be successfully computed if its dependent on an effect.</p><p></p><p>Also, this seems like a costly system in terms of memory, no? :o</p><p>I mean, effects seem to accumulate and only execute at the end, as well as the fact that dependency graphs are produced (and authoritization checks and auditing). I mean, you did mention "waves" being run in parallel as well as merging identical effects I think? I can see how that helps though I imagine it would still not be memory-efficient as other programming languages, right? Would it be safe to assume this is an intentional trade-off between memory and determinism and auditablity? :o</p><p></p><p></p><p>Very insightful though. Are you mainly interested in programming language research? Also, what do you think of OCaml?</p><p></p><p></p><p>Sorry for the many questions but this is a very thought-provoking post XDD</p></blockquote><p></p>
[QUOTE="wait whattt? :o, post: 68146, member: 564"] WOah! This is honestly so cool. I am a beginner in CS so excuse my questions if they are stupid but: Does that mean that the functions are not allowed to rely on the results of effects? Because otherwise, I can imagine how a function would not be successfully computed if its dependent on an effect. Also, this seems like a costly system in terms of memory, no? :o I mean, effects seem to accumulate and only execute at the end, as well as the fact that dependency graphs are produced (and authoritization checks and auditing). I mean, you did mention "waves" being run in parallel as well as merging identical effects I think? I can see how that helps though I imagine it would still not be memory-efficient as other programming languages, right? Would it be safe to assume this is an intentional trade-off between memory and determinism and auditablity? :o Very insightful though. Are you mainly interested in programming language research? Also, what do you think of OCaml? Sorry for the many questions but this is a very thought-provoking post XDD [/QUOTE]
Insert quotes…
Name
Verification
Post reply
Forums
Boards
/g/ - Technology
A Governed Model of Deterministic Program Execution
Top
