Berichten met de tag ‘F#’

Presentatie ICTDelta2010

17 maart 2010

Mijn presentatie over F# binnen de sessie: ‘Het nieuwe programmeren’, gehouden op 18 maart 2010 tijdens het ICTDelta2010 festival.
Lees verder >>

Mijn presentatie over F# binnen de sessie: ‘Het nieuwe programmeren’, gehouden op 18 maart 2010 tijdens het ICTDelta2010 festival.
Lees verder >>

A [mini] poker DSL in F#

25 september 2009

Domain Specific Languages are hot! Some developers think it’s the ultimate way of programming and it won’t be long until we don’t do anything but making and using these things. According to Neal Ford, DSL’s are just an abstraction mechanism, though it is about time to use it with something else then objects. Well, lets start implementing one using F# as ‘host’ language which offers us some nice datastructures to get the job done. We’ll make a [mini] ‘Poker’ DSL which due to its succinctness fits easily into a blog using F#.
Lees verder >>

Domain Specific Languages are hot! Some developers think it’s the ultimate way of programming and it won’t be long until we don’t do anything but making and using these things. According to Neal Ford, DSL’s are just an abstraction mechanism, though it is about time to use it with something else then objects. Well, lets start implementing one using F# as ‘host’ language which offers us some nice datastructures to get the job done. We’ll make a [mini] ‘Poker’ DSL which due to its succinctness fits easily into a blog using F#.
Lees verder >>

F# development process

03 september 2009

Je kunt op verschillende manieren een ingewikkeld stukje software uitwerken. a) In één keer en achteraf de fouten eruit halen. b) Iteratief, met tussentijdse controles. Debuggen achteraf is irritant, vervelend en wat dies meer zij dus is de iteratieve vorm vaak te verkiezen. Met F# kan dit heel eenvoudig omdat we ieder willekeurig stukje code kunnen testen met F#-interactive. Dit geeft ons o.a. de mogelijkheid om verschillende benaderingen te testen en de beste te kiezen. Een ander voordeel is dat we kunnen beginnen met de meest basale / eenvoudige functionele constructie(s) en die verder uit kunnen werken tot een robuust stukje code. Zoals Tomas Petricek (2009: 24) het verwoord: “From simplicity to robustness”. Zo is dat Tomas, niets is heerlijker dan een eenvoudige start. Want, ingewikkeld wordt het vanzelf wel.
Lees verder >>

Je kunt op verschillende manieren een ingewikkeld stukje software uitwerken. a) In één keer en achteraf de fouten eruit halen. b) Iteratief, met tussentijdse controles. Debuggen achteraf is irritant, vervelend en wat dies meer zij dus is de iteratieve vorm vaak te verkiezen. Met F# kan dit heel eenvoudig omdat we ieder willekeurig stukje code kunnen testen met F#-interactive. Dit geeft ons o.a. de mogelijkheid om verschillende benaderingen te testen en de beste te kiezen. Een ander voordeel is dat we kunnen beginnen met de meest basale / eenvoudige functionele constructie(s) en die verder uit kunnen werken tot een robuust stukje code. Zoals Tomas Petricek (2009: 24) het verwoord: “From simplicity to robustness”. Zo is dat Tomas, niets is heerlijker dan een eenvoudige start. Want, ingewikkeld wordt het vanzelf wel.
Lees verder >>

Type inference in F#

21 augustus 2009

Elke Javaan en Dotnetter is 8% (gokje hoor) van zijn tijd bezig om de compiler te vertellen dat de i variabele van het type int is, net zoals die andere tig i variabelen in de rest van de code. En als we een lap tekst tussen haakjes zetten, we een string bedoelen. Wat een [ouderwets] gedoe hé. En dat in deze moderne eeuw. Terwijl er intelligente programma’s bestaan die Kasparov van het bord afschaken is het even te veel gevraagd om te (tijdens compiletime) detecteren wat voor type we nu zouden bedoelen. Terwijl, als de compiler een beetje doordenkt het vaak wel erg voor de handliggend is wat het nu zou moeten zijn. Het gevolg is dat iedere nieuwe typed taal sceptisch wordt ontvangen. Wat de voordelen van static boven dynamic typed ook moge zijn, dit gedoe willen we gewoon niet meer. What about F#?
Lees verder >>

Elke Javaan en Dotnetter is 8% (gokje hoor) van zijn tijd bezig om de compiler te vertellen dat de i variabele van het type int is, net zoals die andere tig i variabelen in de rest van de code. En als we een lap tekst tussen haakjes zetten, we een string bedoelen. Wat een [ouderwets] gedoe hé. En dat in deze moderne eeuw. Terwijl er intelligente programma’s bestaan die Kasparov van het bord afschaken is het even te veel gevraagd om te (tijdens compiletime) detecteren wat voor type we nu zouden bedoelen. Terwijl, als de compiler een beetje doordenkt het vaak wel erg voor de handliggend is wat het nu zou moeten zijn. Het gevolg is dat iedere nieuwe typed taal sceptisch wordt ontvangen. Wat de voordelen van static boven dynamic typed ook moge zijn, dit gedoe willen we gewoon niet meer. What about F#?
Lees verder >>

The Ultimate Power of Currying with Closures

07 augustus 2009

In mijn tweede post over het onder de aandacht brengen van functioneel programmeren gaan we een functionele techniek nader bekijken, de combinatie van currying en closures. Nooit van gehoord? Check it out now! Je kunt er leuke dingen mee doen plus zijn het aardige woorden om uw vocabulaire mee te verrijken. Ik hoop de technieken tussen de regels uit te leggen. Veel leesplezier!
Lees verder >>

Stoeien met functionele technieken.