FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[View Raw Code]
[Original HTTPS Page]
java-vs-haskell/src/main/java/Main.java at master · micwypych/java-vs-haskell · GitHub
micwypych
/
java-vs-haskell
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
4
Code
Issues
0
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Expand file tree
Breadcrumbs
java-vs-haskell
/
src
/
main
/
java
/
Main.java
Copy path
More file actions
More file actions
Latest commit
History
History
History
55 lines (46 loc) · 1.7 KB
Breadcrumbs
java-vs-haskell
/
src
/
main
/
java
/
Main.java
Copy path
File metadata and controls
55 lines (46 loc) · 1.7 KB
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
import
java
.
util
.
Optional
;
import
java
.
util
.
Collections
;
import
java
.
util
.
Arrays
;
class
Main
{
public
static
void
main
(
String
[]
args
) {
//Haskell's:
// do i <- Nothing
// return $ i + 1
MonadicOptional
nothing
=
new
MonadicOptional
(
Optional
.<
Object
>
empty
());
MonadicOptional
m
=
nothing
.
bind
(
i
-> {
return
MonadicOptional
.
returnMonad
(((
Integer
)
i
)+
1
); });
System
.
out
.
println
(
m
);
//Haskell's:
// do i <- Just 2
// return $ i + 1
MonadicOptional
sth
=
new
MonadicOptional
(
Optional
.
of
(
2
));
MonadicOptional
m2
=
sth
.
bind
(
i
-> {
return
MonadicOptional
.
returnMonad
(((
Integer
)
i
)+
1
); });
System
.
out
.
println
(
m2
);
//Haskell's:
// do i <- Just 2
// return $ show i ++ "s"
MonadicOptional
m3
=
sth
.
bind
(
i
-> {
return
MonadicOptional
.
returnMonad
(
i
.
toString
()+
"s"
); });
System
.
out
.
println
(
m3
);
//Haskell's:
// do i <- []
// return $ i + 1
MonadicList
empty
=
new
MonadicList
(
Collections
.
emptyList
());
MonadicList
m4
=
empty
.
bind
(
i
-> {
return
MonadicList
.
returnMonad
(((
Integer
)
i
)+
1
); });
System
.
out
.
println
(
m4
);
//Haskell's:
// do i <- [2, 6, 7]
// return $ i + 1
MonadicList
sth2
=
new
MonadicList
(
Arrays
.
asList
(
2
,
6
,
7
));
MonadicList
m5
=
sth2
.
bind
(
i
-> {
return
MonadicList
.
returnMonad
(((
Integer
)
i
)+
1
); });
System
.
out
.
println
(
m5
);
//Haskell's:
// do i <- [2, 6, 7]
// return $ show i ++ "s"
MonadicList
m6
=
sth2
.
bind
(
i
-> {
return
MonadicList
.
returnMonad
(
i
.
toString
()+
"s"
); });
System
.
out
.
println
(
m6
);
//Haskell's:
// do i <- [2, 6, 7]
// [i,i,i]
MonadicList
m7
=
sth2
.
bind
(
i
-> {
return
new
MonadicList
(
Arrays
.
asList
(
i
,
i
,
i
)); });
System
.
out
.
println
(
m7
);
}
}
Back
|
FazBrowse Home
|
New Git URL