Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Jan 26 12:57

    armanbilge on main

    Update sbt-typelevel, sbt-typel… Regenerate workflow with sbt-gi… Merge pull request #1149 from s… (compare)

  • Jan 26 12:57
    armanbilge closed #1149
  • Jan 26 12:42
    scala-steward closed #1148
  • Jan 26 12:42
    scala-steward commented #1148
  • Jan 26 12:42
    scala-steward opened #1149
  • Jan 26 10:36
    scala-steward opened #1148
  • Jan 25 14:03

    armanbilge on main

    Update slf4j-nop to 1.7.35 Merge pull request #1147 from s… (compare)

  • Jan 25 14:03
    armanbilge closed #1147
  • Jan 25 11:32
    scala-steward opened #1147
  • Jan 22 22:07

    armanbilge on main

    Update scalafmt-core to 3.3.3 Merge pull request #1146 from s… (compare)

  • Jan 22 22:07
    armanbilge closed #1146
  • Jan 22 21:34
    scala-steward opened #1146
  • Jan 21 03:12

    armanbilge on main

    Update sbt-typelevel, sbt-typel… Merge pull request #1145 from s… (compare)

  • Jan 21 03:12
    armanbilge closed #1145
  • Jan 21 02:54
    scala-steward opened #1145
  • Jan 20 13:29

    armanbilge on main

    Update scalafmt-core to 3.3.2 Reformat with scalafmt 3.3.2 Merge pull request #1144 from s… (compare)

  • Jan 20 13:29
    armanbilge closed #1144
  • Jan 20 13:29
    armanbilge commented #1144
  • Jan 20 06:44
    scala-steward closed #1135
  • Jan 20 06:44
    scala-steward commented #1135
:)
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 de Jong
@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 de Jong
@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
Jakob Schikowski
@jakoschiko

Hi! I have some questions about Jet.

I'm working with a quite large codebase that uses Field for numeric calculations. It wasn't written with Jet in mind, but it seems to work and the performance is reasonable. However, I'm worried about some edge cases. There are a lot of divisions that check if the denominator is zero and as far as I can tell this won't work with Jet. Do you have any advice how to handle this situation?

Other question, does spire allows to use Jet with Rational? The JetAlgebra requires a lot of type classes, some of them are not implemented for Rational.

wqazi
@Wasiuddin
Hi, I am upgrading org.spire-math library to org.typelevel.spire . In org.typelevel.spire BigDecimalAlgebra are not supporting gcd function while as it was supporting in org.spire-math:0.13 version. Can someone please help me reason for removing and any subtitute method provided.
cquiroz
@cquiroz:matrix.org
[m]
You may want to ask on the typelevel discord channel for spire
Though at least I don’t have information though I seen to recall some of the Gcd code was commented out