pbachmann
pbachmann
Yes. I love type inferencing but I also love the intellisense you get with member access and I want to define types that support both. Now if I can't have...
@isaacabraham I agreed with you completely previously, but now I've changed my mind somewhat. The example code below seems it was misleading for you to suggest: > "F# can only...
Can you show an example of where this "valid F# feature" is useful?
``` let x item = match item with | Some item -> () | _ -> () ``` ... seem to be two different things, - first 'item' is a...
> I find it less of an issue than shadowing across scopes. You can filter some data in an inner scope and shadow a value, and then try to refer...
@vzarytovskii If I understand the purpose of the logging example, you are saying "I've got some results, I want to log the results, then I want to manipulate the results...
@vzarytovskii Maybe there is a new philosophy in the F# camp? I happen to be in full agreement with Don Syme when he railed against the use of point free...
@Happypig375 Yes I agree that an IDE that highlights where an identifier is used and where it originates from mitigates the problem. I might sadden the original designers of the...
@vzarytovskii OK, so it seems I have misunderstood you. When you say: > We do data transformation like this all the time, and shadowing is usually a way to go,...
@Happypig375 Re: String50 validation, I have already made it clear that my proposal applies to variables at the same indent level (see comments above) `Some (myName: String50) -> // Wow!...