Hacker GitHub

← All repos

evincarofautumn/kitten

View on GitHub ↗ ★ 1,178 Haskell

A statically typed concatenative systems programming language.

25 mentions on Hacker News by 10 people: 1 story, 24 comments · first 2012-07-18 · latest 2022-07-17

Mentions per year 25 mentions · busiest year 2013 (8)
20082026
AllStoriesComments NewestTopOldest
  1. Author ended up doing a lot of work on Kitten https://github.com/evincarofautumn/kitten
    comment by avgcorrection · 2022-07-17 · in Why concatenative programming matters (2012)
  2. …they have magically solved memory management, this project's website is simply lying. Looking at https://github.com/evincarofautumn/kitten/issues/193 : "Does kitten require garbage collection?" -- "Nope. [...] The plan is that boxed lists…
    comment by tom_mellior · 2021-04-10 · in The Kitten Programming Language
  3. You're right, oh boy! https://github.com/evincarofautumn/kitten/blob/master/common...
    comment by eptcyka · 2021-04-10 · in The Kitten Programming Language
  4. …is it "stable"? Edit: it looks like as of 2018, the author was taking time off of working in tech ( https://github.com/evincarofautumn/kitten/issues/201#issueco... ). Maybe lack of activity means they got another job, or maybe they left…
    comment by nerdponx · 2021-04-10 · in The Kitten Programming Language
  5. …at some point though. Thanks for the reply! EDIT: Got past the previous issues, now Haskell is sad. https://github.com/evincarofautumn/kitten/issues/206
    comment by exikyut · 2018-06-13 · in Lang5 – A Stack-Based Array Language
  6. …Like `;` operation, that brings the power of forks and hooks in J into concatenative programming https://github.com/evincarofautumn/kitten/issues/174 https://github.com/suhr/esobsc/commit/809241a726f2c97dac90bc...
    comment by glibgil · 2017-10-29 · in A Simply Arited Concatenative Language
  7. …in context, I think it was in part an idea for how to make infix notation more useful in Kitten: https://github.com/evincarofautumn/kitten/issues/174
    comment by tmerr · 2017-10-28 · in A Simply Arited Concatenative Language
  8. This is from his HN profile: I’m writing a stack-based functional programming language called Kitten: https://github.com/evincarofautumn/kitten
    comment by gordon_freeman · 2017-08-09 · in Do Things That Don’t Scale (2013)
  9. It’s not the prettiest code, but here: https://github.com/evincarofautumn/kitten/blob/8a7e949f1af71... The key line is: (term', t, tenvFinal) <- inferType dictionary tenvFinal' tenv term In “inferType”, I just annotate each term with…
    comment by evincarofautumn · 2017-05-05 · in I tried Haskell for 5 years
  10. …not yet usable for real programming. Still, you may like to keep an eye on its development. [1]: https://github.com/evincarofautumn/kitten
    comment by evincarofautumn · 2017-03-07 · in Ask HN: Have you created a programming language and why?
  11. …if you’re not familiar with Haskell or compilers, I’d be glad to help you get involved. :) [1]: https://github.com/evincarofautumn/kitten
    comment by evincarofautumn · 2017-01-07 · in Kitten – A statically typed, stack-based functional programming language
  12. …D. And working on the compiler for Kitten[1], which should be usable by the end of the year. [1]: https://github.com/evincarofautumn/kitten
    comment by evincarofautumn · 2017-01-03 · in Ask HN: What “new” programming languages will you be using in 2017
  13. …avoiding GC and libc. No plans for dependent types, but you might like to keep an eye on it anyway: https://github.com/evincarofautumn/kitten
    comment by evincarofautumn · 2016-12-02 · in Towards Idris Version 1.0
  14. …is still a research project at this point, but it might be something you’d like to keep an eye on. https://github.com/evincarofautumn/kitten
    comment by evincarofautumn · 2015-09-23 · in Show HN: A stack-based pure functional language for touch devices
  15. …have low-to-no runtime cost. It’s still a research project, but you should keep an eye on it: https://github.com/evincarofautumn/kitten
    comment by evincarofautumn · 2014-08-29 · in The Algebra of Joy (2008)
  16. …help you understand how data is flowing through a program, and of course rule out some bugs. [1]: http://github.com/evincarofautumn/kitten
    comment by evincarofautumn · 2014-04-10 · in Programming paradigms that change how you think about coding
  17. Kitten, a programming language based on zero-cost abstractions ( https://github.com/evincarofautumn/kitten ). Competing in the same space as C++, Rust, and Nimrod. Statically typed, type-inferred, stack-based, higher-order, GC optional,…
    comment by evincarofautumn · 2013-11-26 · in Ask HN: What kind of side projects are you working on?
  18. As the author of Kitten ( http://github.com/evincarofautumn/kitten ): You appear to be advocating a new functional, imperative, procedural, stack-based, eager, statically typed, pure programming language. Your language will not work. Here…
    comment by evincarofautumn · 2013-11-23 · in Programming Language Checklist
  19. …http://tunes.org/~iepos/joy.html [5]: http://cat-language.com/ [6]: http://kittenlang.org/ [7]: https://github.com/evincarofautumn/kitten
    comment by evincarofautumn · 2013-10-13 · in A Forth implementation and programming environment for ATmega microcontrollers
  20. …typed concatenative language called Kitten[2] with similar goals. [1]: http://nimrod-code.org/ [2]: http://github.com/evincarofautumn/kitten
    comment by evincarofautumn · 2013-10-05 · in On comparing languages, C++ and Go
  21. …a release in a few weeks, to include some missing language features and a new x86_64 runtime. https://github.com/evincarofautumn/kitten http://kittenlang.org/
    comment by evincarofautumn · 2013-08-25 · in Nimrod: C + Macros + GC
  22. …check out Factor (which is mature) or Kitten (which is not). [1]: http://factorcode.org/ [2]: http://github.com/evincarofautumn/kitten
    comment by evincarofautumn · 2013-07-26 · in Chuck Moore: The Invention of Forth
  23. …ready for prime time, but you might be interested in following its development. Check it out! [1]: http://github.com/evincarofautumn/kitten [2]: http://kittenlang.org/
    comment by evincarofautumn · 2013-07-26 · in Chuck Moore: The Invention of Forth
  24. …I know you from #esoteric or something? My memory sucks and I haven’t been on there lately. [1] https://github.com/evincarofautumn/kitten
    comment by evincarofautumn · 2012-07-18 · in The Functor Pattern in C++