-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Andrea Magnorsky
committed
Jul 28, 2016
1 parent
c75ee1d
commit 7d8064d
Showing
3 changed files
with
186 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,32 @@ | ||
.reveal section img { | ||
border: none; | ||
margin: 0px; | ||
} | ||
|
||
table.pre, pre.fssnip, pre{ | ||
background-color: #fff; | ||
color:#4C1485; | ||
border: none; | ||
} | ||
|
||
span.i { | ||
color:#258585; | ||
} | ||
|
||
span.f { | ||
color:#852525; | ||
} | ||
|
||
span.s { | ||
color:#258525; | ||
} | ||
|
||
.reveal h1 { | ||
margin: 0 0 20px 0; | ||
color: #4C1485; | ||
background: rgba(253, 246, 227, 0.65); | ||
} | ||
|
||
.reveal blockquote { | ||
background: rgba(253, 246, 227, 0.65); | ||
} |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,154 @@ | ||
(** | ||
- title : FsReveal | ||
- description : Introduction to FsReveal | ||
- author : Karlkim Suwanmongkol | ||
- theme : Sky | ||
- transition : default | ||
*** | ||
### What is FsReveal? | ||
- Generates [reveal.js](http://lab.hakim.se/reveal-js/#/) presentation from [markdown](http://daringfireball.net/projects/markdown/) | ||
- Utilizes [FSharp.Formatting](https://github.com/tpetricek/FSharp.Formatting) for markdown parsing | ||
*** | ||
### Reveal.js | ||
- A framework for easily creating beautiful presentations using HTML. | ||
> **Atwood's Law**: any application that can be written in JavaScript, will eventually be written in JavaScript. | ||
*** | ||
### FSharp.Formatting | ||
- F# tools for generating documentation (Markdown processor and F# code formatter). | ||
- It parses markdown and F# script file and generates HTML or PDF. | ||
- Code syntax highlighting support. | ||
- It also evaluates your F# code and produce tooltips. | ||
*** | ||
### Syntax Highlighting | ||
#### F# (with tooltips) | ||
*) | ||
let a = 5 | ||
let factorial x = [1..x] |> List.reduce (*) | ||
let c = factorial a | ||
(** | ||
`c` is evaluated for you | ||
*) | ||
(*** include-value: c ***) | ||
(** | ||
--- | ||
#### More F# | ||
*) | ||
[<Measure>] type sqft | ||
[<Measure>] type dollar | ||
let sizes = [|1700<sqft>;2100<sqft>;1900<sqft>;1300<sqft>|] | ||
let prices = [|53000<dollar>;44000<dollar>;59000<dollar>;82000<dollar>|] | ||
(** | ||
#### `prices.[0]/sizes.[0]` | ||
*) | ||
(*** include-value: prices.[0]/sizes.[0] ***) | ||
(** | ||
--- | ||
#### C# | ||
[lang=cs] | ||
using System; | ||
class Program | ||
{ | ||
static void Main() | ||
{ | ||
Console.WriteLine("Hello, world!"); | ||
} | ||
} | ||
--- | ||
#### JavaScript | ||
[lang=js] | ||
function copyWithEvaluation(iElem, elem) { | ||
return function (obj) { | ||
var newObj = {}; | ||
for (var p in obj) { | ||
var v = obj[p]; | ||
if (typeof v === "function") { | ||
v = v(iElem, elem); | ||
} | ||
newObj[p] = v; | ||
} | ||
if (!newObj.exactTiming) { | ||
newObj.delay += exports._libraryDelay; | ||
} | ||
return newObj; | ||
}; | ||
} | ||
--- | ||
#### Haskell | ||
[lang=haskell] | ||
recur_count k = 1 : 1 : zipWith recurAdd (recur_count k) (tail (recur_count k)) | ||
where recurAdd x y = k * x + y | ||
main = do | ||
argv <- getArgs | ||
inputFile <- openFile (head argv) ReadMode | ||
line <- hGetLine inputFile | ||
let [n,k] = map read (words line) | ||
printf "%d\n" ((recur_count k) !! (n-1)) | ||
*code from [NashFP/rosalind](https://github.com/NashFP/rosalind/blob/master/mark_wutka%2Bhaskell/FIB/fib_ziplist.hs)* | ||
--- | ||
### SQL | ||
[lang=sql] | ||
select * | ||
from | ||
(select 1 as Id union all select 2 union all select 3) as X | ||
where Id in (@Ids1, @Ids2, @Ids3) | ||
*sql from [Dapper](https://code.google.com/p/dapper-dot-net/)* | ||
*** | ||
**Bayes' Rule in LaTeX** | ||
$ \Pr(A|B)=\frac{\Pr(B|A)\Pr(A)}{\Pr(B|A)\Pr(A)+\Pr(B|\neg A)\Pr(\neg A)} $ | ||
*** | ||
### The Reality of a Developer's Life | ||
**When I show my boss that I've fixed a bug:** | ||
![When I show my boss that I've fixed a bug](http://www.topito.com/wp-content/uploads/2013/01/code-07.gif) | ||
**When your regular expression returns what you expect:** | ||
![When your regular expression returns what you expect](http://www.topito.com/wp-content/uploads/2013/01/code-03.gif) | ||
*from [The Reality of a Developer's Life - in GIFs, Of Course](http://server.dzone.com/articles/reality-developers-life-gifs)* | ||
*) |