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
20082026
-
…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 -
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 -
…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 -
…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) -
…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 -
…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 -
…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 -
…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? -
…[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 -
…[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 -
…[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? -
…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 -
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 -
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 -
…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 -
…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? -
…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?