Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »

Welcome to Software Development on Codidact!

Will you help us build our independent community of developers helping developers? We're small and trying to grow. We welcome questions about all aspects of software development, from design to code to QA and more. Got questions? Got answers? Got code you'd like someone to review? Please join us.

Posts by toraritte‭

48 posts
66%
+2 −0
Q&A What does Nixpkgs' `callPackage` do?

For the record, this write-up is not better than any of the resources listed in the question; writing it simply helped me better understand callPackage. Level 0. Poor, but short callPackage f att...

posted 3mo ago by toraritte‭  ·  edited 3mo ago by toraritte‭

Answer
71%
+3 −0
Q&A What does Nixpkgs' `callPackage` do?

callPackage is a complex function (reasons include the Nix language being lazy, usage of fixed-point evaluation, overrides, etc.), and this complexity steals the spotlight from what this function a...

1 answer  ·  posted 3mo ago by toraritte‭  ·  edited 3mo ago by toraritte‭

Question *nix nixpkgs
71%
+3 −0
Q&A How to establish a relationship between HTML elements (tags)? (i.e., how can one element refer to another one)

Should I use the data-* attributes for this or is there a more idiomatic way? For context, I'm trying to convert annotated legal PDF documents to HTML. Certain parts of these documents are cross...

3 answers  ·  posted 3mo ago by toraritte‭  ·  edited 3mo ago by Karl Knechtel‭

Question html
66%
+2 −0
Q&A What does "parameterised type in the positive / negative position" mean in the context of invariant functors?

From PureScript's Data.Functor.Invariant documentation (emphasis mine): A type of functor that can be used to adapt the type of a wrapped function where the parameterised type occurs in both the...

1 answer  ·  posted 5mo ago by toraritte‭  ·  last activity 5mo ago by Derek Elkins‭

71%
+3 −0
Q&A Where does the name of the `pure` function in the `Applicative` type class come from?

At this point in my learning journey, I simply accepted that this function is called pure (both in Haskell and in PureScript), but it would have helped a lot if I had known the reasoning behind thi...

1 answer  ·  posted 5mo ago by toraritte‭  ·  last activity 5mo ago by Derek Elkins‭

60%
+1 −0
Q&A Why is the `Data.Int` type not a `Semigroup` in PureScript but `String` is?

> "lo" <> "fa" "lofa" > 1 <> 2 Error found: in module $PSCI at :1:1 - 1:7 (line 1, column 1 - line 1, column 7) No type class instance was found for ...

1 answer  ·  posted 6mo ago by toraritte‭  ·  last activity 6mo ago by r~~‭

75%
+4 −0
Q&A How to sort the output of meta / slash commands in `psql`?

For example, how to sort the output below by the values in "Column" in the psql shell itself? my_db=> \d auth_user Table "public.auth_user" Column ...

1 answer  ·  posted 6mo ago by toraritte‭  ·  edited 6mo ago by MER‭

60%
+1 −0
Q&A What determines where the focus goes back to when clicking on a browser's back button?

Short answer The HTML specification only addresses scroll position restoration behavior, so the main factors that influences where focus will land when navigating the browser history are: user ...

posted 7mo ago by toraritte‭  ·  edited 7mo ago by toraritte‭

Answer
60%
+1 −0
Q&A How to merge Django model query results?

Just found the How Can I Combine Two or More QuerySets in a Django View? article by James W. that perfectly answers my question (and just learned that a "Django model query" is called a QuerySet). ...

posted 7mo ago by toraritte‭

Answer
50%
+0 −0
Q&A How to merge Django model query results?

I have to modify a legacy Django web application where there are 2 tables to store the same information using the same database structure, and the only difference is the names of the tables (and th...

1 answer  ·  posted 7mo ago by toraritte‭  ·  last activity 7mo ago by toraritte‭

77%
+5 −0
Q&A What determines where the focus goes back to when clicking on a browser's back button?

As far as I can tell, it is in part determined by the HTML spec's History API1, specifically the value of history.scrollRestoration. Quoting the HTML spec's scroll restoration mode paragraph: ...

1 answer  ·  posted 7mo ago by toraritte‭  ·  last activity 7mo ago by toraritte‭

50%
+0 −0
Q&A Why does `let map f = id >=> switch f` work in F#?

Asked How to implement map using the fish (>=>, Kleisli composition) operator in F#? a couple of hours ago, and r~~'s answer blew my mind: let map f = id >=> switch f It is perfect ...

1 answer  ·  posted 7mo ago by toraritte‭  ·  edited 7mo ago by Alexei‭

50%
+0 −0
Q&A How to implement `map` using the fish (>=>, Kleisli composition) operator in F#?

I'm learning monadic composition through Scott Wlaschin's Railway-oriented Programming post. Oncebind, switch, and >=> functions are defined, he introduces map to show how to "turn a one-trac...

1 answer  ·  posted 7mo ago by toraritte‭  ·  last activity 7mo ago by r~~‭

71%
+3 −0
Q&A Why does RFC 3986 (URI generic syntax) declare the "host" component to be case-insensitive when the syntax rules show it to be case-sensitive?

First, a reminder to future self (the figure RFC 3986, Section 3. Syntax Components complemented with Section 3.2. Authority): The following are two example URIs and their component parts: ...

1 answer  ·  posted 8mo ago by toraritte‭  ·  edited 7mo ago by toraritte‭

Question url uri
60%
+1 −0
Q&A How to start creating a Giraffe web project and how to serve it?

I have to keep reminding myself that a Giraffe project plugs into the ASP.NET Core pipeline or is itself an ASP.NET Core application , so if I can't find answers to my questions in the Giraff...

posted 8mo ago by toraritte‭

Answer
60%
+1 −0
Q&A How to start creating a Giraffe web project and how to serve it?

Having some trouble with giraffe-template on Mac M1, so decided to set up a Giraffe project manually. Started following the Doing it manually section of the Giraffe README, but got stuck right away...

1 answer  ·  posted 8mo ago by toraritte‭  ·  last activity 8mo ago by toraritte‭

66%
+2 −0
Q&A .NET dependency management: `dotnet add package` vs. Paket?

Based on what I know so far, there is no difference. Paket has been created more than 10 years ago to address (perceived?) shortcomings of NuGet. (Reading the .NET history made my head spin, and l...

posted 8mo ago by toraritte‭  ·  edited 8mo ago by toraritte‭

Answer
66%
+2 −0
Q&A .NET dependency management: `dotnet add package` vs. Paket?

Many older projects (i.e., older than 5 years) provide instructions to the Paket .NET dependency manager (e.g., Suave), so I started digging into it, got confused, then gave up for while because er...

1 answer  ·  posted 8mo ago by toraritte‭  ·  last activity 8mo ago by toraritte‭

Question .net-core nuget paket
66%
+2 −0
Q&A How to write a function that only accepts a list of `Error string` `Results` in F# on the level of types?

For example, given a mergeErrors function where input is always a list of Error strings, let es = [ Error 1; Error 2; Error 3 ] let mergeErrors<'a> (errors: Result<'a,int> list) : R...

1 answer  ·  posted 10mo ago by toraritte‭  ·  last activity 10mo ago by Derek Elkins‭

Question f#
50%
+0 −0
Q&A What is a "sealed" type in F# and why doesn't the type test pattern operator (:?) work on it out of the `box`?

The F# language guide (see Signatures article) has a very sparse definition of what a "sealed" type is: Attribute Description [<Sealed>] For a type that has no abstract me...

0 answers  ·  posted 10mo ago by toraritte‭  ·  edited 10mo ago by toraritte‭

Question f#
50%
+0 −0
Q&A How to change the color of a cell to a user defined value while keeping its existing style using NPOI from F#?

Solved this by writing my own clone function: open System.Reflection let cloneCellStyle (cell: NPOI.XSSF.UserModel.XSSFCell) = let original = cell.CellStyle // printfn "ORIGINAL: %A"...

posted 10mo ago by toraritte‭  ·  edited 10mo ago by toraritte‭

Answer
50%
+0 −0
Q&A How to change the color of a cell to a user defined value while keeping its existing style using NPOI from F#?

The answer provided in the How to set the cell color to a user defined value using NPOI from F#? thread solves the problem of how to set the right properties using F#, but it uses a new ICellStyle ...

1 answer  ·  posted 10mo ago by toraritte‭  ·  last activity 10mo ago by toraritte‭

Question f# excel NPOI
50%
+0 −0
Q&A How to set the cell color to a user defined value using NPOI from F#?

I failed to notice that a cell's CellStyle property returns the generic ICellStyle, which has to be cast down to NPOI.XSSF.UserModel.XSSFCellStyle in order to gain access to the FillBackgroundXSSFC...

posted 10mo ago by toraritte‭  ·  edited 10mo ago by toraritte‭

Answer
60%
+1 −0
Q&A How to set the cell color to a user defined value using NPOI from F#?

As far as I can tell (from F# at least), cell can only be colored using predefined NPOI.SS.UserModel.IndexedColors. From the available methods / properties, val it: ICellStyle = NPOI.XSSF.UserM...

1 answer  ·  posted 10mo ago by toraritte‭  ·  last activity 10mo ago by toraritte‭

Question f# excel NPOI
60%
+1 −0
Q&A What is the difference between `static let` and `static member` in F#?

Paraphrasing the F# language guide's let Bindings in Classes article: A let binding in a class creates a private field or function; to expose data or functions publicly, declare a property or a...

posted 10mo ago by toraritte‭

Answer