Scala at the Sea: 8 Jan 2019
Adam Rosien @arosien Inner Product LLC
Can you read this? How about you over there? :thumbs_up:
What is type-level programming?
import os, os.path, sys, urllib2, requests | |
class PyPiError(Exception): | |
def __init__(self, value): | |
self.value = value | |
def __str__(self): | |
return repr(self.value) | |
def _chunk_report(bytes_so_far, chunk_size, total_size): | |
if (total_size != None): |
hdiutil attach /Applications/Install\ OS\ X\ Mavericks.app/Contents/SharedSupport/InstallESD.dmg | |
cd /tmp | |
hdiutil convert /Volumes/OS\ X\ Install\ ESD/BaseSystem.dmg -format UDRW -o /tmp/RWBase | |
hdiutil convert -format UDSP -o /tmp/sparseRWBase RWBase.dmg | |
rm /tmp/RWBase.dmg | |
hdiutil resize -size 6g /tmp/sparseRWBase.sparseimage | |
hdiutil attach -owners on /tmp/sparseRWBase.sparseimage -shadow | |
sudo rm /Volumes/OS\ X\ Base\ System/System/Installation/Packages | |
sudo ditto /Volumes/OS\ X\ Install\ ESD/Packages /Volumes/OS\ X\ Base\ System/System/Installation/Packages | |
hdiutil eject /Volumes/OS\ X\ Install\ ESD/ |
package fpmax | |
import scala.util.Try | |
import scala.io.StdIn.readLine | |
object App0 { | |
def main: Unit = { | |
println("What is your name?") | |
val name = readLine() |
Adam Rosien @arosien Inner Product LLC
Can you read this? How about you over there? :thumbs_up:
What is type-level programming?