Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Jul 20 14:14
    scala-steward opened #1049
  • Jul 19 03:59
    pocorall commented #808
  • Jul 19 03:55
    pierzchalski commented #808
  • Jul 16 17:21
    danicheg opened #1048
  • Jul 16 17:06
    danicheg opened #1047
  • Jul 16 07:00

    larsrh on master

    Update munit to 0.7.27 Merge pull request #1041 from s… (compare)

  • Jul 16 07:00
    larsrh closed #1041
  • Jul 16 07:00

    larsrh on master

    Update sbt-scalajs-crossproject… Merge pull request #1042 from s… (compare)

  • Jul 16 07:00
    larsrh closed #1042
  • Jul 16 07:00

    larsrh on master

    Update sbt-scalafmt to 2.4.3 Merge pull request #1043 from s… (compare)

  • Jul 16 07:00
    larsrh closed #1043
  • Jul 16 06:50

    larsrh on master

    Update sbt to 1.5.5 Merge pull request #1044 from s… (compare)

  • Jul 16 06:50
    larsrh closed #1044
  • Jul 15 17:17
    pinguinson opened #1046
  • Jul 14 21:55
    cquiroz commented #936
  • Jul 14 21:30
    SethTisue commented #936
  • Jul 14 16:28
    danicheg opened #1045
  • Jul 12 13:22
    scala-steward opened #1044
  • Jul 09 02:13
    scala-steward opened #1043
  • Jul 03 03:20
    scala-steward opened #1042
Denis Rosset
@denisrosset
Then you get the property tests of VectorSpace for free
@lemastero I'm waiting to get publish rights in the typelevel repo
Oliver Winks
@PaperPlaneSoftware
@denisrosset thanks :thumbsup:
@denisrosset I saw some discussion of a cross product implementation and came across Zainab's PR (looked promising) any idea what happened to that work?
Soren
@srnb_gitlab
Is there a good way to send Reals over the wire?
Soren
@srnb_gitlab
Spire Matrices are mutable?
Luka Jacobowitz
@LukaJCB
there’s circe-spire, but I think it might be missing instances for Real
Valeriy Avanesov
@akopich
Hi. Does spire define a type for positive integers? Looks like Naturals include zero.
Feels like it would be extremely useful in combination with non-empty collections.
Paul Snively
@paul-snively
Hi everyone! I'm looking at Erik Osheim's wonderful https://www.youtube.com/watch?v=O78hnJuzQwA and wondering whether that elist library is out there somewhere I should be aware of?
I'm asking here because I figure Erik is likely to see it, sooner or later, but if anyone knows a better way to contact him, I'd appreciate knowing about it.
Carlos Quiroz
@cquiroz
Hello, I’m thinking to use UInt but I noted there is no ConvertableFrom nor ConvertableTo Uint unlike, e.g. Natural
Is there a reason for that?
Denis Rosset
@denisrosset
@akopich Why not use BigInt with https://github.com/fthomas/refined ? Natural is kind of a weird type
@cquiroz The whole ConvertableFrom, ConvertableTo business is not necessarily very principled. That said, using UInt with those typeclasses is likely to lead to boxing if the JIT is not clever enough.
Carlos Quiroz
@cquiroz
Thanks @denisrosset I have an entity that only takes positive numbers, I’ll take a look at refined
Valeriy Avanesov
@akopich
@denisrosset that would be an option, but I want to have at least some basic arithmetics on that type. E.g. positive plus positive should be also positive. Refined types don't give that.
Denis Rosset
@denisrosset
Why not a wrapper that only defines the + operation? Also, are you planning to have collections whose size is bigger than 2^63? You could use a wrapper around a Long then
I'd be wary of introducing a dependency on Spire if you don't have further need for the library
Valeriy Avanesov
@akopich

Why not a wrapper...

that's how i've implemented it eventually.

In fact, I wrapped Int.
Thanks for your input.
Soren
@srnb_gitlab
Does Spire have an equivalent in the Haskell world?
Paul Snively
@paul-snively
There are various numerical libraries for Haskell, but I don’t know of a kind of single umbrella that’s equivalent.
Soren
@srnb_gitlab
What are the uhh... Big O for Real#ceil, Real#floor, Real#log2?
Bro I hate this "i before e" rule because "ceiling" always feels like it shouldn't count even though it is after C but you have words like "ancient"
Martijn Hoekstra
@martijnhoekstra
there is no "i before e" rule
Soren
@srnb_gitlab
Well "ceiling" is the really hard one because it's like "see-əl-ing" so the first thought that comes to mind is "cieling" but that's a misspelling
:)
Denis Rosset
@denisrosset
Mmh, I have no idea about the asymptotics of "Real". Maybe @non would know?
Soren
@srnb_gitlab
Is there a typeclass meant to capture things that should "overflow"/have periods?
I.e. something I could use to represent a type usable in a LCG
Soren
@srnb_gitlab
(It's probably obvious but my brain hasn't been working this week)
Denis Rosset
@denisrosset
A LCG would be built out of the ring of integers modulo n, I guess?
Soren
@srnb_gitlab
So I should just need a Ring then? @denisrosset
I mean technically an LCG is just a + and a * and two elements right?
Denis Rosset
@denisrosset
Just use BigInt? you're probably not looking at generalizing LCG beyond integers, right?
Soren
@srnb_gitlab
hmm
Yeah, I guess so
Time to do more thinking. Seems like 128-bit numbers would be useful. Gonna look at how to implement them efficiently
Denis Rosset
@denisrosset
Good luck! a UInt128 type would be a nice addition to Spire
Mark
@Fristi
Is there a Enum type class like in Haskell http://learnyouahaskell.com/types-and-typeclasses ?
Enum members are sequentially ordered types — they can be enumerated. The main advantage of the Enum typeclass is that we can use its types in list ranges.
succ 'B'  
'C'
Luka Jacobowitz
@LukaJCB
@Fristi there’s one in cats-core
cats-kernel actually
Mark
@Fristi
Thanks that is great :)
Luciano
@lJoublanc
Hi guys, I recall asking whether there existed extensions for handling date/time/durations using a special cagetory/algebra, using a similar implementation approach to what spire has. And somebody pointed me to an experimental library. I think it may have been https://github.com/non/spire-time, but I can't remember for sure. This was a couple of years ago. Any other suggestions?
3 replies