Skip to content
loading...

All 55 Comments

re: Testable Back-end Programming in F#
Interesting. You might want to take a look at the Eff library...
re: Testable Back-end Programming in F#
Have you looked into algebraic effects at all? It seems simil...
re: Monads for free in F#
You can’t destructure a key/value pair directly?
re: Monads for free in F#
Good point. I'm surprised that map doesn't follow that patter...
re: Should you learn Functional Programming?
Once you get comfortable with FP, it doesn't even take more...
re: What is the difference between ++x and x++ in the context of .NET
It’s problems like this that make me grateful for immutable...
re: Universally quantified types in C#
I think you're making this more complex than it needs to be...
re: Universally quantified types in C#
What if there were multiple different versions of getWeight...
re: Existentially quantified types in C# - Part 2
A list "carton" is a lot like an IList<T>. Each carto...
re: Existentially quantified types in C#
This is a good question. We could introduce a keyword like ...
re: Universally quantified types in C#
You got it. That interface is exactly what I'd suggest. You...
re: Universally quantified types in C#
You’re on the right track with your idea to insert somethin...
re: Universally quantified types in C#
Thanks for your response. Can you make it work with a gener...
re: Universally quantified types in C#
One of the requirements is that you have to pass a generic ...
re: Basics of Semigroup in Haskell
Any type ‘a’ can implement the Semigroup typeclass, provid...
re: How to avoid the Factory pattern in C#
It accepts any function that returns IAnimal, not just fac...
re: How to avoid the Factory pattern in C#
No, the point of the factory pattern is to create an object...
re: How to avoid the Factory pattern in C#
Thank you for the detailed response. Examples are definitel...
re: How to avoid the Factory pattern in C#
I think we’re in agreement that factories are useful. My on...
re: How to avoid the Factory pattern in C#
That’s interesting. Every C# example of a GoF factory desig...
re: How to avoid the Factory pattern in C#
I'm not sure I follow you. Are you saying that we could cre...
re: How to avoid the Factory pattern in C#
Good point. Because this is a toy example, each factory is ...
re: Double negation in C#
I see. It turns out that a custom And type would be a small...
re: Double negation in C#
Thanks, glad you're enjoying it. I'm interested in your tho...
re: Functors in F#
That’s interesting. It does seem like the Shape module esse...
re: Functors in F#
I've heard that ML module functors are very powerful, but h...
re: Beautiful folds in F# - Part 3: Applicatives
Thanks! Yeah, I really should make it a series. Good sugges...
re: The Curry-Howard Correspondence in C#: Part 2
Category theory is a fascinating topic. Will read the artic...
re: Impeachment in a functional way
I've had the same experience. Tooling support is definitely...
re: Getting Lazy in C#
I think it's mainly used in back-end projects that interop ...
re: Impeachment in a functional way
I tend to agree with you (and Microsoft) about point-free s...
re: Functional Programming for the Object-Oriented Developer - Part 0
Ah, if you're a C# dev, then F# will be perfect for you! A ...
re: Impeachment in a functional way
Kleisli composition! :) It's great to see another F# devel...
re: Why Applicative?
I'm currently learning about applicatives as well, so it's ...
re: Functional Programming for the Object-Oriented Developer - Part 0
I think it's great that you're learning functional programm...
re: Getting Lazy in C#
Lazy<T> is awesome. Just wanted to mention that it's ...
re: An experimental typesafe back-end micro-framework for Elm
This looks cool. The combinator-based approach reminds me o...
re: The Curry-Howard Correspondence in C#: Part 2
Excellent! Your answers are right, and you even correctly n...
re: JavaScript Map Function Explained – A Deep Dive
Nice work. Just wanted to also mention that the single-argu...
re: The Curry-Howard Correspondence in C#: Part 2
Good question. Prolog is a very cool language, but is based...
re: The Curry-Howard Correspondence in C#
Part 2 is up here. Thanks for the encouragement to get it d...
re: The Curry-Howard Correspondence in C#
That's right. Nice work! So modus ponens in logic correspon...
re: F# Tip 2: Use the pipe operator
You’re right, that would probably be better for C#. I adde...
re: Getting Elmish in .NET with Elmish.WPF
I've implemented a number of WPF MVVM apps in F# with immut...
re: F# Error Handling with 'Result'
Ah, I see. I agree that’s not a helpful compiler error at a...
re: F# Error Handling with 'Result'
I’m a fan of computation expressions, since they hide most ...
re: Learning F# — Writing A Ray Tracer
I see. Thanks for the detailed response. Note that Vector...
re: Learning F# — Writing A Ray Tracer
This is great idea for a first project in F#. Congrats for ...
re: A Gentle Introduction to Curry-Howard Isomorphism
I just posted an even gentler introduction to the Curry-How...
re: F# Tip 1: Don't use classes
Yes, type classes are definitely a cool way to support "dot...
re: Rise of the Reducer
Thanks. I actually had to use “fsharp” to trigger syntax hi...
re: Rise of the Reducer
Just want to mention that this comes from the concept of a ...
re: A .NET Manager's Perspective on F#
What do you think is the main hindering of larger adaption...
re: A .NET Manager's Perspective on F#
Glad to see this. I’m an F# developer in a typical C# engin...
re: Welcome Thread - v52
I came here because I lose a little part of my soul every t...
loading...