Is it possible to have private functions (let definitions) in F# modules?

Question

I'd like to make applyAndTruncate hidden from the outside world (that is, from anything outside the Scoring module), as I really only use it as backbone for bestKPercent and worstKPercent. Is it possible to hide it? If not, what is the F#ish way of accomplishing what I want to do?

module Scoring
    let applyAndTruncate f percentage (scoredPopulation:ScoredPopulation) : ScoredPopulation =
      if (percentage < 0.0 || percentage > 1.0) then
        failwith "percentage must be a number between 0.0 and 1.0"

      let k = (int)(percentage * (double)(Array.length scoredPopulation))

      scoredPopulation
      |> f
      |> Seq.truncate k
      |> Seq.toArray

    let bestKPercent = applyAndTruncate sortByScoreDesc
    let worstKPercent = applyAndTruncate sortByScoreAsc

I hardly know anything about F#, but perhaps the F# spec is helpful. It seems you can add accessibility annotations to let bindings. — user824425
– user824425, Commented Sep 11, 2011 at 15:45

Daniel · Accepted Answer · 2011-09-11 15:42:19Z

64

+50

Yes. let private myfunc = will do it.

answered Sep 11, 2011 at 15:42

Daniel

48k11 gold badges105 silver badges187 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

knocte Over a year ago

And for recursive functions you should put the rec before private

Community · Accepted Answer · 2017-05-23 12:10:27Z

13

You can also use signature files to specify the public interface of a corresponding implementation file. Then the idea is that you don't worry about accessibility until the implementation has solidified. I've honestly not ever used them, but they are used in the F# compiler source code extensively (probably just because I'm comfortable with the implementation site style used in so many other languages, whereas folks with original ML experience will be at ease with signature files; also, you do get some extra features with signature files, though nothing super compelling).

So if your Scoring module were implemented in a file named Scoring.fs, you'd have a corresponding signature file named Scoring.fsi that would look something like:

namespace NS //replace with you actual namespace; I think you must use explicit namespaces
module Scoring =
    //replace int[] with the actual ScoredPopulation type; I don't think you can use aliases
    val bestKPercent : (float -> int[] -> int[])
    val worstKPercent : (float -> int[] -> int[])

edited May 23, 2017 at 12:10

CommunityBot

11 silver badge

answered Sep 11, 2011 at 21:15

Stephen Swensen

22.3k9 gold badges85 silver badges140 bronze badges

1 Comment

Joel Mueller Over a year ago

I might use signature files if I could right-click a *.fs file in Visual Studio and "Generate Signature File". As it is, if I want one I either have to look up the syntax to write it by hand, or I have to look up the command-line parameters to have the F# compiler generate one for me, and then add the file to the project. So far, I haven't felt the need acutely enough to bother.

Collectives™ on Stack Overflow

Is it possible to have private functions (let definitions) in F# modules?

2 Answers 2

1 Comment

1 Comment

Your Answer

Linked

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

1 Comment

1 Comment

Your Answer

Sign up or log in

Post as a guest

Linked

Related