Hacker GitHub

← All repos

koka-lang/koka

View on GitHub ↗ ★ 4,112 Koka

Koka language compiler and interpreter

21 mentions on Hacker News by 19 people: 4 stories, 17 comments · first 2017-01-18 · latest 2025-02-16

Mentions per year 21 mentions · busiest year 2021 (7)
20082026
AllStoriesComments NewestTopOldest
  1. …it, and it makes total sense that neither option is as appealing as just starting fresh. [0] https://github.com/koka-lang/koka/graphs/contributors [1] https://github.com/koka-lang/koka/graphs/contributors
    comment by lolinder · 2025-02-16 · in Why I'm leaving Elm (2020)
  2. …allocations in general. [1] https://koka-lang.github.io/koka/doc/book.html#sec-value-typ... [2] https://github.com/koka-lang/koka/blob/dev/kklib/src/box.c#L... ps. If you enjoy reading about tagging, I recently wrote a note on efficiently…
    comment by daanx · 2024-11-28 · in Float Self-Tagging
  3. ▲ 3
    Koka v3 Released
    story by ctenb · 2024-01-14 · 1 comment
  4. This post by the Koka-author is an update about what's currently being worked on: https://github.com/koka-lang/koka/discussions/339
    comment by helix278 · 2023-11-26 · in Koka: A fast functional programming language with algebraic effects
  5. …side effects of every function in a type where pure and effectful computations are distinguished. https://github.com/koka-lang/koka
    comment by jug · 2023-10-26 · in Was Rust Worth It?
  6. …around with that's just in specifications stage. Not mine but an interesting compile-to-c language: https://github.com/koka-lang/koka . Functional, effects, no-GC.
    comment by gsuuon · 2023-10-10 · in Ask HN: Who is developing a programming language that compiles to C?
  7. Yes, see this Github Discussion for more context: https://github.com/koka-lang/koka/discussions/339#discussion... > yes! Currently the active development is in dev-fbip, see also our recent tech report:…
    comment by sp33der89 · 2023-06-26 · in FP2: Fully In-Place Functional Programming [pdf]
  8. ▲ 1
    Not Use Path Based Imports
    story by xialvjun · 2023-03-24 · 0 comments
  9. …4. Gleam - https://gleam.run/ 5. Odin - https://github.com/odin-lang/Odin 6. Koka - https://github.com/koka-lang/koka 7. Unison - https://github.com/unisonweb/unison
    comment by yewenjie · 2022-02-05 · in High-order Virtual Machine (HVM): Massively parallel, optimal functional runtime
  10. You might be interested in the FBIP versions of Okasakis datastructures in https://github.com/koka-lang/koka/tree/master/test/perf/sets Most of them only have 'insert' and 'lookup', but they are ~10% faster than Okasakis versions. For…
    comment by anfelor · 2021-11-19 · in Effekt – A research language with effect handlers and lightweight polymorphism
  11. …sequential data structure. Their data structures in the stdlib just have comments that say 'TODO': https://github.com/koka-lang/koka/blob/master/lib/std/data/m... that I am hoping are open to pull requests.
    comment by saityi · 2021-11-19 · in Effekt – A research language with effect handlers and lightweight polymorphism
  12. …had its last commit back in June; https://github.com/frank-lang/frank last commit last year; but https://github.com/koka-lang/koka last update was Oct 15. Effekt seems semi-active, at least, compared to Frank. While stability is good, I…
    comment by saityi · 2021-11-19 · in Effekt – A research language with effect handlers and lightweight polymorphism
  13. Huh, now I'm curious whether it means 2x or 1.5x. These graphs on the github look promising https://github.com/koka-lang/koka/blob/master/doc/bench-amd3...
    comment by 6gvONxR4sf7o · 2021-09-20 · in Pen: A programming language for scalable development
  14. …[2]: https://www.microsoft.com/en-us/research/project/vcc-a-verif... [3]: https://github.com/koka-lang/koka [4]: https://github.com/dafny-lang/dafny [5]: https://www.microsoft.com/en-us/research/project/project-ver...
    comment by erk__ · 2021-07-06 · in Linux Rust Support
  15. ▲ 101
    Koka: A Functional Language with Effects
    story by pjmlp · 2021-07-02 · 12 comments
  16. …The Koka language has a lot of nice introductory resources if you are interested in learning more: https://github.com/koka-lang/koka . There's even a serious proposal for adding something based on these to webassembly:…
    comment by maxiepoo · 2021-04-14 · in Can continuation passing style code perform well?
  17. …the Koka language, but the immediately practical mimalloc allocator came out of that work as well. https://github.com/koka-lang/koka https://github.com/microsoft/mimalloc
    comment by Jason_Gibson · 2020-12-20 · in Perceus: Garbage Free Reference Counting with Reuse [pdf]
  18. (Daan here, creator of [Koka]( https://github.com/koka-lang/koka ) This is an interesting point and comes down to the question -- what is an effect really? I argue that effect types tell you the type signature of the mathematical function…
    comment by daanx · 2020-11-22 · in Exotic Programming Ideas, Part 3: Effect Systems
  19. …to wait for future releases. I wish Microsoft would invest in something like the koka language https://github.com/koka-lang/koka . Perhaps the idea of content-addressable / immutable code could find a place too, but I think it's less…
    comment by alipang · 2020-01-10 · in The Unison language
  20. ▲ 1
    Koka: a function-oriented language with effect inference
    story by wuschel · 2019-01-16 · 0 comments
  21. …one that produces reasonable output that doesn't require large runtime libraries all the time. Koka https://github.com/koka-lang/koka is a very interesting research language that focuses on explicitly specifying effects in types. It even…
    comment by floatboth · 2017-01-18 · in Selecting a platform: JavaScript vs Elm vs PureScript vs GHCjs