Re: [Ur] Research topic one semester Ur/Wev or dependent typer

Actually, one other idea that just came up on GitHub is adding a WebAssembly backend to the Ur/Web compiler.  This task requires SML expertise but is probably small enough for someone starting with that expertise. On 11/10/2017 07:50 AM, Adam Chlipala wrote: Glad to hear you're interested in

Re: [Ur] Research topic one semester Ur/Wev or dependent typer

Hi Adam, Thanks for the WebAssembly suggestion it sounds really interesting. Please point me to a description if you already have one so I can register it to my lecturer.Kind regards, Daniel

Re: [Ur] Research topic one semester Ur/Wev or dependent typer

Glad to hear you're interested in these topics!  And presumably some other people following the mailing list might be interested in similar suggestions, though I suggest you take any further replies private, sending to me alone. The only semester-sized idea I have at the moment is to learn

Re: [Ur] Set / Update values within a structure

On 11/09/2017 10:42 PM, Harshita Kasera wrote: What I ultimately want to achieve is to be able to change the callback function /debugMe/ at a later point of time. Is it possible to set or update values within a structure at a later point of time? No, module (structure) fields can't be

Re: [Ur] Research topic one semester Ur/Wev or dependent typer

I'd posted the comment here, it's not much of a description though. https://github.com/urweb/urweb/issues/99#issuecomment-343450038 The only other thought i'd had is something i have tried to work on, but not yet had any luck with, which is an implementation of the nanopass-framework as ur

Re: [Ur] Research topic one semester Ur/Wev or dependent typer

Thank you Matt for pointing that out.However given Adam's reaction I reconsidered joining the project.Wish you good luck with ‎your efforts and thank you for your time.Kind regards, Daniel

Re: [Ur] Set / Update values within a structure

Hi Adam Thanks for responding. Is there any alternative to change the callback ? I want to trigger a urweb function defined within `let` block upon a javascript event. Since, the function is within `let` block (because it needs access to certain variables within the parent function), I'm unable

Re: [Ur] Set / Update values within a structure

Here is the associated stackoverflow question : https://stackoverflow.com/questions/47230123/how-to-associate-a-getter-setter-with-a-sml-structure/47230248#47230248 On Fri, Nov 10, 2017 at 1:19 PM, Nitin Surana wrote: > Hi Adam > > Thanks for responding. Is there any

Re: [Ur] Set / Update values within a structure

You can register a callback that, when called, reads another callback out of a [source] and calls it.  Is that sufficient? On 11/10/2017 04:19 PM, Nitin Surana wrote: Hi Adam Thanks for responding. Is there any alternative to change the callback ? I want to trigger a urweb function defined

Re: [Ur] Set / Update values within a structure

Hi Adam I tried to create a sample from what I understand about your suggestion, but of course I got it wrong. Following is the code (which doesn't compile), which would demonstrate what I'm trying to do (look for 4 forward slashes ) fun debugMe a = alert a; can't read

[Ur] Research topic one semester Ur/Wev or dependent typer

Dear Adam,Could you propose me a small scale research project either related to Ur/Web or the topics covered in the cpdt book? I am doing a one semester masters level course focusing primarily on research methodol‎ogy, but I personally  would like to work on a meaningful project.I am a Senior