Functional Programming

Rocking the Boat of the Silicon Harbor

WELCOME TO FUNCTIONAL SC
Functional Programming is style of crafting software that allows programmers to create simpler software for complex problems, saving you money and time.

We advocate for all functional programming technologies, in many standard programming languages or with one tailored for it such as:
Haskell, Clojure, F#, Erlang, OCaml, Scala and more.

Based in historic Charleston, South Carolina we are open to all to learn and explore technology.


CORRECT
Powerful type systems shake out many problems before the program even runs.

CONCURRENT
Doing more than one thing at a time is easier with Functional Programming.

EXPRESSIVE
Abstract away boilerplate commonly found in popluar programming languages.

DECLARATIVE
Why tell the computer how to do something when you can just tell it what you want?

NO SIDE EFFECTS
The metaphorical rug isn't pulled from under your feet with small, reusable functions that don't tarnish the environment.

TESTABLE
This highly abstract environment leads to automated testing.

FUNCTIONAL PROGRAMMING
DISCOVER TODAY
November 5th, 2019

Lambda Calculus

Lambda Calculus isn’t just a fancy word: it defines our software, our numbers and perhaps even reality itself.

July 19th, 2016

Introduction to F#

With a pre-recorded presentation, we explore the unique features that F# offers to functional developers: functions, composition, piping, discriminated unions, active patterns and computation expressions.

February 28th, 2017

F# Type Providers

Introduced in F Sharp 3.0, Type Providers are components that provide types, properties, and methods to an application to facilitate information rich programming. In other words a type provider automatically exposes the types which represent provider’s data structures.

Nov 20th, 2012

Don't Fear the Monad

Functional programming is increasing in popularity these days given the inherent problems with shared mutable state that is rife in the imperative world. As we march on to a world of multi and many-core chipsets, software engineering must evolve to better equip software engineers with the tools to exploit the vast power of multiple core processors as it won't come for free as it did in the recent past which was predictably based on Moore's law.

July 18th, 2018

Game Development Teamup

Games don't write themselves. Without the knowledge and tools the Next Big Thing is still hidden inside your head. Bring your vision to life, we'd love to help.

December 20th, 2016

Linguistics and Compilers

Compilers are tools typically used to create binary we call software. Kenneth Miller has some interesting thoughts on extending the metaphor (and tools) to both human and programming languages.



© Copyright 2016 by Functional SC . All rights reserved.