Hacker GitHub

← All repos

milessabin/shapeless

View on GitHub ↗ ★ 3,401 Scala

Generic programming for Scala

24 mentions on Hacker News by 21 people: 5 stories, 19 comments · first 2012-03-15 · latest 2025-04-24

Mentions per year 24 mentions · busiest year 2015 (6)
20082026
AllStoriesComments NewestTopOldest
  1. …0 - https://docs.scala-lang.org/scala3/reference/metaprogramming... 1 - https://scalameta.org/ 2 - https://github.com/milessabin/shapeless
    comment by AdieuToLogic · 2025-04-24 · in C++26: more constexpr in the core language
  2. And thus Shapeless ( https://github.com/milessabin/shapeless ) was born.
    comment by halfmatthalfcat · 2024-03-09 · in Iterate over Parameter Packs in Swift 6.0
  3. …hang of it you can get the benefits of static typing with the flexibility of dynamic typing. See https://github.com/milessabin/shapeless or a project that I've been working on a lot lately https://github.com/zio/zio-schema .
    comment by thinkharderdev · 2021-08-02 · in Six Years of Professional Clojure
  4. …like pragmatism to me. Here is the source code to Witness (and other singleton stuff in shapeless) https://github.com/milessabin/shapeless/blob/main/core/src/m...
    comment by doikor · 2021-05-14 · in Scala 3.0
  5. …3.x. In my opinion, how you did this previously could get really clunky (See e.g. hlist mapping in https://github.com/milessabin/shapeless/blob/8933ddb7af63b8b... ). Lots of things that frankly felt like casting magic spells, and there…
    comment by maxov · 2021-05-14 · in Scala 3.0
  6. …productivity aspects (amazing runtime and cohesive web framework in Elixir's case). [shapeless]: https://github.com/milessabin/shapeless [Software Foundations]: https://softwarefoundations.cis.upenn.edu/ [Types and Programming Languages]:…
    comment by forkerenok · 2021-03-01 · in Why Learn Haskell? (2018)
  7. …Int, Int, Int, T1, T2, T3, T4, T5]'. I think the most famous use of macros in Scala is Shapeless https://github.com/milessabin/shapeless/wiki/Feature-overvie... (although I've not personally used it) Note that the exact same problem with…
    comment by chriswarbo · 2020-10-26 · in An Intuition for Lisp Syntax
  8. …provides a map/flatMap (which enables for-loop) method for tuples (among other functionality). [1] https://github.com/milessabin/shapeless/wiki/Feature-overvie...
    comment by klibertp · 2020-05-16 · in Modern C++ gamedev: thoughts and misconceptions
  9. …in the Scala ecosystem right now, I think the language will have a fun and productive future! [1]: https://github.com/milessabin/shapeless [2]: https://scalalandio.github.io/chimney/
    comment by jatcwang · 2019-12-21 · in The Road to Scala 3
  10. …akerdeck.com/itakeshi/metaprogramming-in-scala-th... - https://geirsson.com/post/2016/02/scalameta/ - https://github.com/milessabin/shapeless - https://vimeo.com/217863345
    comment by otobrglez · 2019-04-23 · in Ask HN: What metaprogrammable language do you/would like to use?
  11. …[2] https://github.com/scalaz/scalaz [3] https://github.com/typelevel/cats [4] https://github.com/milessabin/shapeless
    comment by dtech · 2018-03-29 · in Scala Native 0.3.7
  12. …[3]: https://hackage.haskell.org/package/vinyl-0.5.2/docs/Data-Vi... [4]: https://github.com/milessabin/shapeless/wiki/Feature-overvie...
    comment by spion · 2016-12-08 · in Announcing TypeScript 2.1
  13. …[1] https://github.com/scalaz/scalaz , https://github.com/non/cats , https://github.com/milessabin/shapeless
    comment by bad_user · 2015-12-30 · in Which Programming Languages Are Functional?
  14. …a very good read, with the page discussing Isomorphisms[4] relevant to Mr. Brown's article. 1 - https://github.com/milessabin/shapeless/wiki/Feature-overvie... 2 - http://milessabin.com/blog/2011/12/19/shapeless-preview/ 3 -…
    comment by AdieuToLogic · 2015-11-10 · in Type classes and generic derivation
  15. You can do it in Scala too (cf. https://github.com/milessabin/shapeless/wiki/Feature-overvie... ).
    comment by harveywi · 2015-11-07 · in Opaleye’s sugar on top: SQL in the type system
  16. It depends on the language. For instance in Scala you can simulate collections of fixed size as in https://github.com/milessabin/shapeless/blob/master/core/src... Then, at runtime, you can cast an unsized list to a sized list giving - say…
    comment by pathsjs · 2015-09-30 · in Haskell's Type Classes: We Can Do Better
  17. ▲ 6
    Generic progamming for Scala: shapeless 2.1.0 final released
    story by milessabin · 2015-02-10 · 0 comments
  18. ▲ 3
    Shapeless (generic programming for Scala) 2.1.0-RC1 released
    story by milessabin · 2015-01-23 · 0 comments
  19. …shit you have got to be joking. Really trolling now, are we? Take a look at things like Shapeless ( https://github.com/milessabin/shapeless ).
    comment by eklavya · 2014-08-24 · in Swift is a lot like Scala
  20. ▲ 1
    Shapeless 2.0.0 released
    story by milessabin · 2014-04-23 · 0 comments
  21. …is gone in the 2.11 release (in next week or so); if not there's Miles Sabin's Shapeless library ( https://github.com/milessabin/shapeless ). Glad to hear you're still going strong, 42 here and can't imagine stopping anytime soon ;-)
    comment by virtualwhys · 2014-04-06 · in Ask HN: Any hackers over 60? 70?
  22. …What if it's an int, but it's out of the range you expect? Type systems can do all this and more. https://github.com/milessabin/shapeless/wiki/Feature-overvie... They can assure you handle all possible control flow cases with ADTs and…
    comment by runT1ME · 2014-01-27 · in Why do dynamic languages make it more difficult to maintain large codebases?
  23. ▲ 1
    Shapeless: An exploration of generic/polytypic programming in Scala
    story by DanielRibeiro · 2012-10-21 · 0 comments
  24. ▲ 1
    Type-level Fibonacci numbers in Scala
    story by LiveTheDream · 2012-03-15 · 0 comments