iacore

Results 421 comments of iacore

There is also `Delay`, which is kind of like runtime hint? ``` Main> :let d = \_ => delay 3 Main> d \_ => Delay 3 ```

Totality checker treat holes as total. Maybe there `:t ohNo` should show holes `ohNo` depend on, like `lemma`. Try to type check this ``` total n: Nat -- no definition...

Why is `mapK` so complicated? Will this work? ``` mapK : (f -> g) -> List f -> List g mapK fun [] = [] mapK fun (x :: xs)...

I have a component that uses node-only code in `onGet` and `onStaticGenerate`. I can use the dev server, but I can't build it to SSG. Here's the error ``` 1:...

I found the solution: add node modules to blacklist (as external module). vite.config.ts: ``` export default defineConfig(() => { return { build: { rollupOptions: { external(source, importer, isResolved): boolean |...

This feature implies that the Svelte compiler should know all the event types of any element, and the namespace of element used. Is `button` in HTML deserve this feature more...

Slot variables is now available in Svelte, which is more general a solution than this proposal. Demo: https://svelte.dev/repl/7853ade2c8fa43dcbe4cb128cf272a79?version=3.44.3

`git rebase` really messed up Github review system

Is it necessary to include `Str`, `Dict` and `Set` as builtin? All three types can be implemented in Roc with `List` and `Num`. I'd say make them part of the...

I think we should define clearly what should go in where of: 1. Compiler built (in zig/rust) 2. Standard library (in roc) 3. Platform Let's say I want to write...