Skip to content
Navigation menu
Search
Search
Log in
Create account
DEV Community
Close
DEV Community
is a community of 851,150 amazing developers
We're a place where coders share, stay up-to-date and grow their careers.
Create account
Log in
Home
Listings
Podcasts
Videos
Tags
FAQ
Forem Shop
Sponsors
About
Contact
Other
Code of Conduct
Privacy Policy
Terms of use
Twitter
Facebook
Github
Instagram
Twitch
Idris2 and WebGL Series' Articles
Back to DrBearhands's Series
Idris2+WebGL, part #1: Hello triangle, first thoughts
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 4 '21
Idris2+WebGL, part #1: Hello triangle, first thoughts
#
idris
#
functional
#
type
Reactions
10
reactions
Comments
Add Comment
4 min read
Save
Saved
Idris2+WebGL, part #2: some animation
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 9 '21
Idris2+WebGL, part #2: some animation
#
idris
#
functional
#
types
Reactions
2
reactions
Comments
Add Comment
3 min read
Save
Saved
Idris2+WebGL, part#3: Preliminary performance test
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 10 '21
Idris2+WebGL, part#3: Preliminary performance test
#
idris
#
functional
Reactions
2
reactions
Comments
Add Comment
2 min read
Save
Saved
Idris2+WebGL, part#4: Troubles with linearity
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 14 '21
Idris2+WebGL, part#4: Troubles with linearity
#
idris
#
functional
#
types
#
qtt
Reactions
1
reaction
Comments
Add Comment
7 min read
Save
Saved
Idris2+WebGL, part #5: Linearity continued
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 19 '21
Idris2+WebGL, part #5: Linearity continued
#
idris
#
functional
#
types
#
qtt
Comments
Add Comment
4 min read
Save
Saved
Idris2+WebGL, part #6: Bye IO monad, hello GL monad
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 24 '21
Idris2+WebGL, part #6: Bye IO monad, hello GL monad
#
idris
#
functional
#
linearity
#
qtt
Reactions
1
reaction
Comments
Add Comment
6 min read
Save
Saved
Idris2+WebGL, part #7: Short code quality update
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 27 '21
Idris2+WebGL, part #7: Short code quality update
#
idris
#
functional
#
linearity
#
qtt
Comments
Add Comment
2 min read
Save
Saved
Idris2+WebGL, part #8: Baby's first dependent type
DrBearhands
DrBearhands
DrBearhands
Follow
Jan 31 '21
Idris2+WebGL, part #8: Baby's first dependent type
#
idris
#
functional
Reactions
6
reactions
Comments
Add Comment
4 min read
Save
Saved
Idris2+WebGL, part #9: Ensuring uniforms belong to bound program
DrBearhands
DrBearhands
DrBearhands
Follow
Feb 10 '21
Idris2+WebGL, part #9: Ensuring uniforms belong to bound program
#
idris
#
functional
#
types
Reactions
3
reactions
Comments
Add Comment
7 min read
Save
Saved
Idris2+WebGL, part #10: Implicit arguments & monad transformers
DrBearhands
DrBearhands
DrBearhands
Follow
Feb 16 '21
Idris2+WebGL, part #10: Implicit arguments & monad transformers
#
idris
#
functional
#
types
Reactions
6
reactions
Comments
Add Comment
3 min read
Save
Saved
Idris2+WebGL, part #11: No linearity with monadic errors (for now)
DrBearhands
DrBearhands
DrBearhands
Follow
Feb 23 '21
Idris2+WebGL, part #11: No linearity with monadic errors (for now)
#
idris
#
functional
Comments
Add Comment
3 min read
Save
Saved
Idris2+WebGL, part #12: Linear algebra with linear types... not great
DrBearhands
DrBearhands
DrBearhands
Follow
Mar 1 '21
Idris2+WebGL, part #12: Linear algebra with linear types... not great
#
idris
#
functional
#
math
Reactions
6
reactions
Comments
Add Comment
4 min read
Save
Saved
Idris2+WebGL, part #13: Slow and frustrating progress
DrBearhands
DrBearhands
DrBearhands
Follow
Mar 10 '21
Idris2+WebGL, part #13: Slow and frustrating progress
#
idris
#
functional
Reactions
6
reactions
Comments
Add Comment
5 min read
Save
Saved
Idris2+WebGL, part #14: Getting back into it
DrBearhands
DrBearhands
DrBearhands
Follow
Aug 4 '21
Idris2+WebGL, part #14: Getting back into it
#
idris
#
functional
#
webgl
Reactions
4
reactions
Comments
Add Comment
2 min read
Save
Saved
Idris2+WebGL, part #15: Restricting arguments to a list
DrBearhands
DrBearhands
DrBearhands
Follow
Aug 7 '21
Idris2+WebGL, part #15: Restricting arguments to a list
#
idris
#
functional
#
webgl
Reactions
4
reactions
Comments
Add Comment
2 min read
Save
Saved
Idris2+WebGL, part #16: Binding programs again
DrBearhands
DrBearhands
DrBearhands
Follow
Aug 20 '21
Idris2+WebGL, part #16: Binding programs again
#
idris
#
functional
#
webgl
Reactions
3
reactions
Comments
Add Comment
3 min read
Save
Saved
Idris2+WebGL, part #17: A Hoare state failure
DrBearhands
DrBearhands
DrBearhands
Follow
Oct 8 '21
Idris2+WebGL, part #17: A Hoare state failure
#
idris
#
functional
#
webgl
Reactions
1
reaction
Comments
Add Comment
3 min read
Save
Saved
Idris2+WebGL: Hiatus
DrBearhands
DrBearhands
DrBearhands
Follow
Oct 28 '21
Idris2+WebGL: Hiatus
#
idris
#
webgl
Reactions
5
reactions
Comments
Add Comment
2 min read
Save
Saved
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account