Skip to content
This repository was archived by the owner on Apr 1, 2025. It is now read-only.

Commit 3d390d6

Browse files
author
Patrick Thomson
authored
Merge pull request #48 from hectorj/patch-1
Fix "programing" typo
2 parents 8efe343 + 7518a0a commit 3d390d6

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/why-haskell.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ Haskell is a standardized, general-purpose, compiled, purely functional programm
1010

1111
*Or more specifically, why is Semantic written in Haskell?*
1212

13-
The Semantic project is concerned with parsing, analyzing (evaluating), and comparing source code and as such we are firmly rooted in the academic domain of programming language theory (PLT) and spend significant time applying existing research to the real world problem of analyzing source code on GitHub. Haskell is well suited to this domain. Its language features allow concise, correct, and elegant expression of the data structures and algorithms we work with. The language has enabled us to construct an algebraic representation of programming language syntax terms and diffs, where we represent each programing language we support as an open union of syntax terms.
13+
The Semantic project is concerned with parsing, analyzing (evaluating), and comparing source code and as such we are firmly rooted in the academic domain of programming language theory (PLT) and spend significant time applying existing research to the real world problem of analyzing source code on GitHub. Haskell is well suited to this domain. Its language features allow concise, correct, and elegant expression of the data structures and algorithms we work with. The language has enabled us to construct an algebraic representation of programming language syntax terms and diffs, where we represent each programming language we support as an open union of syntax terms.
1414

1515
There are many aspects of Haskell that make a project as ambitious as Semantic feasible: strong typing, lazy evaluation, and purity, to name but a few. Yet Haskell is essential for a separate reason: its support for rich, user-defined control flow.
1616

0 commit comments

Comments
 (0)